Modal logic for default reasoning

DOI10.1007/BF01531081MaRDI QIDQ1356222zbMATH OpenOpenAlexFDO

Authors Wiktor Marek, Mirosław Truszczyński

Publication date 4 June 1997

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01531081

zbMATH Keywords

nonmonotonic reasoningsemanticsmodal logicdefault logicautoepistemic logiciterative expansionlogic of necessitation

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 97791
• scientific article; zbMATH DE number 989172
• On the relation between default and autoepistemic logic
• scientific article; zbMATH DE number 67492

Cites work

• scientific article; zbMATH DE number 4179676 (Why is no real title available?)
• scientific article; zbMATH DE number 4158606 (Why is no real title available?)
• scientific article; zbMATH DE number 4101147 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 43242 (Why is no real title available?)
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Formalizing nonmonotonic reasoning systems
• Non-monotonic logic. I
• Nonmonotonic Logic II
• On the relation between default and autoepistemic logic
• Semantical considerations on nonmonotonic logic

Cited in

(20)

• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• scientific article; zbMATH DE number 989172 (Why is no real title available?)
• Minimal knowledge problem: A new approach
• scientific article; zbMATH DE number 2031006 (Why is no real title available?)
• Interpretations of open default theories in non-monotonic logics
• Evaluating the effect of semi-normality on the expressiveness of defaults
• scientific article; zbMATH DE number 97791 (Why is no real title available?)
• The use of modal default reasoning in information systems
• A logical framework for default reasoning
• Default reasoning and possibility theory
• scientific article; zbMATH DE number 569774 (Why is no real title available?)
• On the relation between default and modal nonmonotonic reasoning
• Revision programming
• Nonmonotonic reasoning based on incomplete logic
• On embedding default logic into Moore's autoepistemic logic
• A modal logic for subjective default reasoning
• Definability and commonsense reasoning
• Modal nonmonotonic logics demodalized
• A logic of knowledge and justified assumption
• Modal logic based theory for non-monotonic reasoning

This page was built for publication: Modal logic for default reasoning

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