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
|