autoepistemic logic

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf gptkb:logic
nonmonotonic logic
gptkbp:application gptkb:artificial_intelligence
gptkb:knowledge_representation
nonmonotonic reasoning
gptkbp:describes reasoning about one's own beliefs
gptkbp:field gptkb:artificial_intelligence
gptkb:logic
gptkbp:formalizes self-reflective reasoning
gptkbp:generalizes gptkb:modal_logic_S5
gptkbp:hasSemantics Moore's expansion
stable expansion
https://www.w3.org/2000/01/rdf-schema#label autoepistemic logic
gptkbp:introduced gptkb:Robert_C._Moore
gptkbp:introducedIn 1985
gptkbp:operator L (belief operator)
gptkbp:publishedIn Robert C. Moore, 'Semantical Considerations on Nonmonotonic Logic', Artificial Intelligence, 1985
gptkbp:relatedTo gptkb:logic
default logic
gptkbp:studiedIn theoretical computer science
logic programming
gptkbp:bfsParent gptkb:logic
gptkbp:bfsLayer 4