An abductive framework for computing knowledge base updates

DOI10.1017/S1471068403001716MaRDI QIDQ4819001zbMATH OpenOpenAlexFDO

Authors Chiaki Sakama, Katsumi Inoue

Publication date 24 September 2004

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068403001716

zbMATH Keywords

view updateconsistency restorationextended abductionextended disjunctive programtheory update

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1763869
• Knowledge base dynamics, abduction, and database updates
• Publication:5751985
• Circumscriptive semantics for updating knowledge bases
• Dynamic updates of non-monotonic knowledge bases
• A glance at revision and updating in knowledge bases
• A programmable approach to revising knowledge bases
• Updating inconsistent description logic knowledge bases
• scientific article; zbMATH DE number 1453062

Cited in

(25)

• Semi-equilibrium models for paracoherent answer set programs
• A Unifying Perspective on Knowledge Updates
• When you must forget: Beyond strong persistence when forgetting in answer set programming
• Reasoning about evolving nonmonotonic knowledge bases
• Addition and removal of information for a knowledge base with incomplete information
• scientific article; zbMATH DE number 1763869 (Why is no real title available?)
• Inductive Negotiation in Answer Set Programming
• Abduction in argumentation frameworks
• scientific article; zbMATH DE number 33190 (Why is no real title available?)
• scientific article; zbMATH DE number 2090536 (Why is no real title available?)
• Updating action domain descriptions
• Characterization of logic program revision as an extension of propositional revision
• Data repair of inconsistent nonmonotonic description logic programs
• On updates of hybrid knowledge bases composed of ontologies and rules
• On the limits of forgetting in answer set programming
• Computational methods for database repair by signed formulae
• Updating knowledge bases
• scientific article; zbMATH DE number 1696831 (Why is no real title available?)
• Reasoning about evolving nonmonotonic knowledge bases
• Dynamic updates of non-monotonic knowledge bases
• The rise and fall of semantic rule updates based on SE-models
• Semantic forgetting in answer set programming
• Abduction-based search for cooperative answers
• Belief revision within fragments of propositional logic
• Strong inconsistency

Describes a project that uses

Uses Software

• LUPS

This page was built for publication: An abductive framework for computing knowledge base updates

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