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

consistency restorationextended abductionextended disjunctive programtheory updateview update

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1763869
• Knowledge base dynamics, abduction, and database updates
• scientific article; zbMATH DE number 4187148
• 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

(29)

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

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)