Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
gptkb: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 |
| 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 |
gptkb:theoretical_computer_science
logic programming |
| gptkbp:bfsParent |
gptkb:circumscription_(logic)
|
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
autoepistemic logic
|