Catalogue of Artificial Intelligence Techniques


Jump to: Top | Entry | References | Comments

View Maths as: Images | MathML

Auto-epistemic Logic

Categories: Inference and Reasoning , Knowledge Representation

Author(s): Colin Phillips

Auto-epistemic logic is a logic for modelling the beliefs of agents who reflect on their own beliefs. It can express statements such as `If I do not believe that is true then is true'. It characterises the beliefs that an ideally rational agent would be entitled to hold on the basis of such statements. The most distinctive feature of auto-epistemic logic is that it is a Non-monotonic Logic: the set of basic beliefs can be modified with time. An agent who takes as a premise `If I do not believe that is true, then is true' and who does not believe that

is true, will believe that is true. If later he were to adopt the premise

as an additional belief then he would no longer be justified in believing that holds. See also Logics of Knowledge and Belief.



Add Comment

No comments.