Belief Revision

Erscheinungsjahr 2003
ISBN: 978-0-521-54564-8
Verlag: Cambridge University Press

Buch, Englisch, Band 29, 283 Seiten, Format (B × H): 189 mm x 246 mm, Gewicht: 555 g

Reihe: Cambridge Tracts in Theoretical Computer Science

Belief revision is a topic of much interest in theoretical computer science and logic, and it forms a central problem in research into artificial intelligence. In simple terms: how do you update a database of knowledge in the light of new information? What if the new information is in conflict with something that was previously held to be true? An intelligent system should be able to accommodate all such cases. This book contains a collection of research articles on belief revision that are completely up to date and an introductory chapter that presents a survey of current research in the area and the fundamentals of the theory. Thus this volume will be useful as a textbook on belief revision.

Autoren/Hrsg.

Gärdenfors, Peter

Fachgebiete

• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
• Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
• Mathematik | Informatik EDV | Informatik Informatik Theoretische Informatik

Inhaltsverzeichnis

1. Conditionals and knowledge base update; 2. Reason maintenance and belief revision; 3. Belief revision in probability theory; 4. Belief revision and a theory of communication; 5. A dyadic representation of belief; 6. On the difference between updating a knowledge base and revising it; 7. Belief revision; 8. Planning from first principles.