Search Results for "change-choice-and-inference-a-study-of-belief-revision-and-nonmonotonic-reasoning-oxford-logic-guides"

Change, Choice and Inference

Change, Choice and Inference

A Study of Belief Revision and Nonmonotonic Reasoning

  • Author: Hans Rott
  • Publisher: Oxford University Press
  • ISBN: 9780198503064
  • Category: Mathematics
  • Page: 381
  • View: 8175
DOWNLOAD NOW »
Change, Choice and Inference unifies lively and significant strands of research in logic, philosophy, economics and artificial intelligence.

Conditionals, Information, and Inference

Conditionals, Information, and Inference

International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers

  • Author: Gabriele Kern-Isberner,Wilhelm Rödder,Friedhelm Kulmann
  • Publisher: Springer
  • ISBN: 3540322353
  • Category: Computers
  • Page: 219
  • View: 3512
DOWNLOAD NOW »
Conditionals are fascinating and versatile objects of knowledge representation. On the one hand, they may express rules in a very general sense, representing, for example, plausible relationships, physical laws, and social norms. On the other hand, as default rules or general implications, they constitute a basic tool for reasoning, even in the presence of uncertainty. In this sense, conditionals are intimately connected both to information and inference. Due to their non-Boolean nature, however, conditionals are not easily dealt with. They are not simply true or false — rather, a conditional “if A then B” provides a context, A, for B to be plausible (or true) and must not be confused with “A entails B” or with the material implication “not A or B.” This ill- trates how conditionals represent information, understood in its strict sense as reduction of uncertainty. To learn that, in the context A, the proposition B is plausible, may reduce uncertainty about B and hence is information. The ab- ity to predict such conditioned propositions is knowledge and as such (earlier) acquired information. The ?rst work on conditional objects dates back to Boole in the 19th c- tury, and the interest in conditionals was revived in the second half of the 20th century, when the emerging Arti?cial Intelligence made claims for appropriate formaltoolstohandle“generalizedrules.”Sincethen,conditionalshavebeenthe topic of countless publications, each emphasizing their relevance for knowledge representation, plausible reasoning, nonmonotonic inference, and belief revision.

Readings in Formal Epistemology

Readings in Formal Epistemology

Sourcebook

  • Author: Horacio Arló-Costa,Vincent F. Hendricks,Johan van Benthem
  • Publisher: Springer
  • ISBN: 3319204513
  • Category: Philosophy
  • Page: 937
  • View: 3383
DOWNLOAD NOW »
This volume presents 38 classic texts in formal epistemology, and strengthens the ties between research into this area of philosophy and its neighbouring intellectual disciplines. The editors provide introductions to five subsections: Bayesian Epistemology, Belief Change, Decision Theory, Interactive Epistemology and Epistemic Logic. 'Formal epistemology' is a term coined in the late 1990s for a new constellation of interests in philosophy, the origins of which are found in earlier works of epistemologists, philosophers of science and logicians. It addresses a growing agenda of problems concerning knowledge, belief, certainty, rationality, deliberation, decision, strategy, action and agent interaction – and it does so using methods from logic, probability, computability, decision and game theory. The volume also includes a thorough index and suggestions for further reading, and thus offers a complete teaching and research package for students as well as research scholars of formal epistemology, philosophy, logic, computer science, theoretical economics and cognitive psychology.

Belief Change

Belief Change

Introduction and Overview

  • Author: Eduardo Fermé,Sven Ove Hansson
  • Publisher: Springer
  • ISBN: 3319605356
  • Category: Computers
  • Page: 125
  • View: 4816
DOWNLOAD NOW »
This book explains how the logic of theory change employs formal models in the investigation of changes in belief states and databases. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original framework, iterated change, applications of the model, its connections with other formal frameworks, and criticism of the model.

Mathematical Reviews

Mathematical Reviews

  • Author: N.A
  • Publisher: N.A
  • ISBN: N.A
  • Category: Mathematics
  • Page: N.A
  • View: 4035
DOWNLOAD NOW »

Subject Guide to Books in Print

Subject Guide to Books in Print

An Index to the Publishers' Trade List Annual

  • Author: N.A
  • Publisher: N.A
  • ISBN: N.A
  • Category: American literature
  • Page: N.A
  • View: 753
DOWNLOAD NOW »

Reductive Logic and Proof-search

Reductive Logic and Proof-search

Proof Theory, Semantics, and Control

  • Author: David J. Pym,Eike Ritter
  • Publisher: Oxford University Press on Demand
  • ISBN: 0198526334
  • Category: Mathematics
  • Page: 208
  • View: 4865
DOWNLOAD NOW »
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects , J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning , and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2 .

Interpolation and Definability

Interpolation and Definability

Modal and Intuitionistic Logics

  • Author: Dov M. Gabbay,Larisa Maksimova
  • Publisher: Oxford University Press on Demand
  • ISBN: 0198511744
  • Category: Computers
  • Page: 508
  • View: 4478
DOWNLOAD NOW »
This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural language.Suitable for researchers and graduate students in mathematics, computer science and philosophy, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (second edition), J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and NonmonotonicReasoning, P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2, and David J. Pym and Eike Ritter's Reductive Logic and Proof Search: Proof theory, semantics and control.

Books in Print Supplement

Books in Print Supplement

  • Author: N.A
  • Publisher: N.A
  • ISBN: N.A
  • Category: American literature
  • Page: N.A
  • View: 6105
DOWNLOAD NOW »
Includes authors, titles, subjects.

AnalyOmen 2

AnalyOmen 2

Proceedings of the 2nd Conference "Perspectives in Analytical Philosophy"

  • Author: Georg Meggle,Andreas Mundt
  • Publisher: Walter de Gruyter
  • ISBN: 9783110152531
  • Category: Analysis (Philosophy)
  • Page: 573
  • View: 3162
DOWNLOAD NOW »

Logische Grundlagen der Künstlichen Intelligenz

Logische Grundlagen der Künstlichen Intelligenz

  • Author: Nils J. Nilsson
  • Publisher: Springer-Verlag
  • ISBN: 3322928810
  • Category: Technology & Engineering
  • Page: 576
  • View: 9218
DOWNLOAD NOW »
Das Buch ist die deutsche Übersetzung des Standardwerkes der Stanforder Professoren Michael R. Genesereth und Nils J. Nilsson.Im Unterschied zu deutschen Lehrbüchern der Informatik zeichnet sich das Buch dadurch aus, daß es einen gut lesbaren Überblick gibt, ohne allzu formalistisch zu werden, gleichwohl aber von hohem Niveau ist und die Ergebnisse jüngster Forschung berücksichtigt. Das Buch empfiehlt sich sowohl für Studenten und Dozenten der Inf ormatik, aber auch für Forscher aus anderen Gebieten, die von den Grundlagen der Künstlichen Intelligenz profitieren möchten.

Paradoxien

Paradoxien

  • Author: Richard M. Sainsbury
  • Publisher: N.A
  • ISBN: 9783150186909
  • Category:
  • Page: 333
  • View: 3182
DOWNLOAD NOW »

Künstliche Intelligenz und Heuristisches Programmieren

Künstliche Intelligenz und Heuristisches Programmieren

  • Author: N.V. Findler
  • Publisher: Springer-Verlag
  • ISBN: 3709183898
  • Category: Computers
  • Page: 349
  • View: 2886
DOWNLOAD NOW »

Glauben, Wissen und Wahrscheinlichkeit

Glauben, Wissen und Wahrscheinlichkeit

Systeme der epistemischen Logik

  • Author: Wolfgang Lenzen
  • Publisher: Springer
  • ISBN: 9783211815984
  • Category: Business & Economics
  • Page: 360
  • View: 7787
DOWNLOAD NOW »
Eine Einfiihrung in die epistemische Logik wurde schon vor unge fahr zwei Jahrzehnten durch Jaakko Hintikka geschrieben, und auf sein "Knowledge and Belief" nimmt das vorliegende Buch nicht nur durch den Titel "Glauben, Wissen und Wahrscheinlichkeit" Bezug. Es diirfte deshalb wohl angebracht sein, wenn der Autor eines Buches, das so deutlich die Nachfolgeschaft eines anderen beansprucht, sich dafiir rechtfertigt und erklart, worin sich sein Werk von dem des Vorgangers unterscheidet. Ein wichtiger Punkt, in dem die zweite iiber die erste Einleitung in die epistemische Logik hinausgeht, wird schon durch die Titel erganzung " . . . und Wahrscheinlichkeit" signalisiert. Wahrend Hin tikkas erkenntnistheoretische Untersuchungen sich fast ausschlieB lich auf die Bestimmung einer Wissenslogik ("episteme") konzen trierten, werden hier unter Bezugnahme auf die Theorie subjektiver Wahrscheinlichkeit zusatzlich diverse Glaubenslogiken ("doxa") ent wickelt. Insbesondere wird ein Begriff "schwachen" Glaubens im Sinne des Fiir-wahrscheinlich-Haltens vom "starken" Glaubensbe griff im Sinne festester Oberzeugungen abgegrenzt, eine Unterschei dung, die im angelsachsischen Sprachraum bei der Diskussion der Logik von "belief" straflich vernachlassigt wurde. Die genaue Aus arbeitung dieses Unterschieds, die exakte semantische Charakteri sierung der entsprechenden doxastischen Modaloperatoren, und die Suche nach vollstandigen Axiomatisierungen korrespondierender Logiken fiihrte dabei in (mathematisches) Neuland: zur Theorie klassifikatorischer Wahrscheinlichkeit. Diese erste wesentliche Wei terentwicklung von "Knowledge and Belief" konnte man durch die Formel beschreiben: von rein epistemischer Logik hin zu epistemi scher und doxastischer Logik.

Constraint-Programmierung

Constraint-Programmierung

Grundlagen und Anwendungen

  • Author: Thom Frühwirth,Slim Abdennadher
  • Publisher: Springer-Verlag
  • ISBN: 3642591159
  • Category: Mathematics
  • Page: 165
  • View: 7199
DOWNLOAD NOW »
Das Buch gibt einen kompakten, aber umfassenden Überblick über das Problemlösen und Programmieren mit "Constraints" (Randbedingungen). Diese aktuelle Programmiermethodik ermöglicht es, Aufgaben direkt zu formulieren und effizient zu lösen. Sie gewinnt zusehends Bedeutung in Anwendungsbereichen wie Kombinatorische Suchprobleme (z.B. Zeitplanen, Layout-Optimierung), Berechnungen (Finanzanalyse), Simulation (Hardware-Verifikation) oder allgemein Schließen und Rechnen mit ungenauer oder unvollständiger Information (z.B. Kostenschätzung). Die theoretisch fundierte Darstellung mit Aufgaben und Anwendungsbeispielen aus der Praxis ist in der Lehre erprobt, aber auch für Forscher und Praktiker von Nutzen.

Die Sprachen der Logik und die Logik der Sprache

Die Sprachen der Logik und die Logik der Sprache

  • Author: Max J. Cresswell
  • Publisher: Walter de Gruyter
  • ISBN: 3110843013
  • Category: Philosophy
  • Page: 442
  • View: 358
DOWNLOAD NOW »

Bayesianische Erkenntnistheorie

Bayesianische Erkenntnistheorie

  • Author: Luc Bovens,Stephan Hartmann
  • Publisher: N.A
  • ISBN: 9783897850675
  • Category: Bayesian statistical decision theory
  • Page: 170
  • View: 4548
DOWNLOAD NOW »

Formale Dialektik

Formale Dialektik

ein Beitrag zu einer Theorie des rationalen Argumentierens

  • Author: Rainer Hegselmann
  • Publisher: Felix Meiner
  • ISBN: N.A
  • Category: Dialectic
  • Page: 178
  • View: 2546
DOWNLOAD NOW »
Der Sache nach geht es in der Arbeit um jenes Reglement, das dem vernunftigsten Argumentieren zugrunde liegt. Es wird haufig angenommen, dass dieses Reglement, das im ubrigen schon Aristoteles in seiner Topik zum Gegenstand der Untersuchung macht, als durch formale Logik systematisiert gelten kann. Die Arbeit fuhrt dagegen zunachst den Nachweis, dass diese Auffassung nicht haltbar ist. Gleichwohl hatte sich eine Theorie des rationalen Argumentierens an jenem Prazisionsniveau zu orientieren, das durch die formale Logik heute erreicht ist. In dem zentralen systematischen Teil der Arbeit wird daher ein begrifflich-technischer Rahmen entworfen, der im Anschluss erlaubt, einfache Modelle disputativer Auseinandersetzungen (Behaupten, Schliessen, Widerlegen, Fragen, Antworten, Zustimmen etc.) zu konstruieren und auf dem geforderten Prazisionsniveau zu analysieren. Damit schliesst der Vf. fur die allgemeinen Grundlagen der Geisteswissenschaften eine Lucke, die sich zwischen Logik und der Praxis sprachlichen Argumentierens im Alltag, aber auch in den interpretierten Disziplinen auftat. Unveranderter Print-on-Demand-Nachdruck der Ausgabe von