Autoepistemic logic

Autoepistemic logic is a non-classical logic that extends classical propositional logic to accommodate self-reference and reasoning about one's own knowledge or beliefs. It was introduced by the computer scientist and logician Raymond Reiter in the late 1980s as a framework for formalizing the reasoning processes of autonomous agents, particularly in contexts where an agent might need to make inferences based on its own incomplete knowledge.