Circumscriptive semantics for updating knowledge bases

DOI10.1007/BF01530932MaRDI QIDQ1360687zbMATH OpenFDO

Authors Marianne Winslett

Publication date 17 July 1997

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

zbMATH Keywords

first-order logicknowledge bases

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) General topics in artificial intelligence (68T01)

Recommendations

• scientific article; zbMATH DE number 4174359
• Publication:3484810
• scientific article; zbMATH DE number 640290
• Autocircumscription
• The expressive power of circumscription

Cites work

• scientific article; zbMATH DE number 4174354 (Why is no real title available?)
• scientific article; zbMATH DE number 4166930 (Why is no real title available?)
• scientific article; zbMATH DE number 4168658 (Why is no real title available?)
• scientific article; zbMATH DE number 3537647 (Why is no real title available?)
• scientific article; zbMATH DE number 194618 (Why is no real title available?)
• scientific article; zbMATH DE number 4185089 (Why is no real title available?)
• scientific article; zbMATH DE number 4187148 (Why is no real title available?)
• A theory of diagnosis from first principles
• Circumscription - a form of non-monotonic reasoning
• Closed-world databases and circumscription
• Counterfactuals
• Knowledge in flux. Modeling the dynamics of epistemic states
• On the satisfiability of circumscription
• Reasoning about action. I: A possible worlds approach
• Temporal logics in AI: semantical and ontological considerations

Cited in

(5)

• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• Nested abnormality theories
• scientific article; zbMATH DE number 1763869 (Why is no real title available?)
• scientific article; zbMATH DE number 89001 (Why is no real title available?)
• An abductive framework for computing knowledge base updates

This page was built for publication: Circumscriptive semantics for updating knowledge bases

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