Next:
Beliefs, Knowledge and Facts
Beliefs, Knowledge and Facts
Introduction
The logic of belief
Modal operators
Axioms for belief
Inference rules for belief
Nonmonotonic inference rules for belief
Example proof using modal theory of belief
Model theory for modal logics
Beliefs and justifications
The truth maintenance process
Reason maintenance
Reason maintenance program in Prolog
Adding and deleting justifications to and from the database
Find an existing justification
Marking contaminated nodes
Examining contaminated nodes
Update a node
Test whether a node is determined
Code for testing the system
A test run
Bibliography
List of Figures
About this document ...
Alan Bond
2001-03-07
