Nonmonotonic reasoning by monotonic inferences with priority constraints

DOI10.1007/BFB0023803MaRDI QIDQ6623795zbMATH OpenFDO

Authors Xianchang Wang, Jia-Huai You, Li Yan Yuan

Publication date 24 October 2024

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

zbMATH Keywords

default theoryinference rulelogic programlogic programmingpriority constraint

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Nonmonotonic reasoning, preferential models and cumulative logics
• Two theories of nonmonotonic reasoning
• scientific article; zbMATH DE number 4068338
• Logic in nonmonotonic reasoning
• Lexicographic priorities in default logic

Cites work

• A logic for default reasoning
• Alternative approaches to default logic
• An argumentation-theoretic foundation for logic programming
• Circumscription - a form of non-monotonic reasoning
• Computing the acceptability semantics
• scientific article; zbMATH DE number 4158606 (Why is no real title available?)
• scientific article; zbMATH DE number 4104926 (Why is no real title available?)
• scientific article; zbMATH DE number 44622 (Why is no real title available?)
• scientific article; zbMATH DE number 478394 (Why is no real title available?)
• scientific article; zbMATH DE number 1149418 (Why is no real title available?)
• Nonmonotonic inheritance, argumentation and logic programming
• Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning
• Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
• Results on translating defaults to circumscription

This page was built for publication: Nonmonotonic reasoning by monotonic inferences with priority constraints

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