A unifying approach for nonmonotonic S4F, (reflexive) autoepistemic logic, and answer set programming

DOI10.3233/FI-2020-1972MaRDI QIDQ4988944zbMATH OpenFDO

Authors Ezgi Iraz Su

Publication date 20 May 2021

Published in Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

answer set programmingequilibrium logicnonmonotonic reasoningKripke modelautoepistemic logicmonotonic modal logicminimal model semanticsepistemic specifications

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Recommendations

• Autoepistemic logic
• A decision method for nonmonotonic reasoning based on autoepistemic reasoning
• scientific article; zbMATH DE number 500200
• A monotonic view on reflexive autoepistemic reasoning
• Autoepistemic logic of knowledge and beliefs

Cites work

• scientific article; zbMATH DE number 4158606 (Why is no real title available?)
• scientific article; zbMATH DE number 3930375 (Why is no real title available?)
• scientific article; zbMATH DE number 67492 (Why is no real title available?)
• scientific article; zbMATH DE number 97793 (Why is no real title available?)
• scientific article; zbMATH DE number 478394 (Why is no real title available?)
• scientific article; zbMATH DE number 611091 (Why is no real title available?)
• scientific article; zbMATH DE number 695095 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• A logic for default reasoning
• A monotonic view on reflexive autoepistemic reasoning
• All I know: A study in autoepistemic logic
• Autoepistemic equilibrium logic and epistemic specifications
• Autoepistemic logic revisited
• Capturing equilibrium models in modal logic
• Combining equilibrium logic and dynamic logic
• Epistemic answer set programming
• Equilibrium logic
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Minimal belief and negation as failure
• Minimal knowledge and belief via minimal topology
• Minimal knowledge problem: A new approach
• Modal logic
• New semantics for epistemic specifications
• On embedding default logic into Moore's autoepistemic logic
• On the relation between default and autoepistemic logic
• Relating only knowing to minimal belief and negation as failure
• Semantical considerations on nonmonotonic logic
• The generalized logic of only knowing (GOL) that covers the notion of epistemic specifications

Cited in

(6)

• Reasoning with knowledge and belief
• Strong backdoors for default logic
• Strong backdoors for default logic
• Refining the semantics of epistemic specifications
• Fuzzy autoepistemic logic: reflecting about knowledge of truth degrees
• A monotonic view on reflexive autoepistemic reasoning

This page was built for publication: A unifying approach for nonmonotonic S4F, (reflexive) autoepistemic logic, and answer set programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4988944)