An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic

DOI10.1016/0020-0255(92)90073-HMaRDI QIDQ1193840zbMATH OpenFDO

Authors Jeffrey J.-P. Tsai, Thomas J. Weigert

Publication date 27 September 1992

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0255(92)90073-H

zbMATH Keywords

inheritanceIS-A linknon-monotonic logicproof theorysemantics for non-monotonic logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Knowledge representation (68T30)

Cites work

• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Contributions to the Theory of Logic Programming
• Formalizing nonmonotonic reasoning systems
• scientific article; zbMATH DE number 3837992 (Why is no real title available?)
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3821076 (Why is no real title available?)
• scientific article; zbMATH DE number 3755914 (Why is no real title available?)
• scientific article; zbMATH DE number 43242 (Why is no real title available?)
• Non-monotonic logic. I
• Nonmonotonic Logic II
• Semantical considerations on nonmonotonic logic

This page was built for publication: An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic

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