An abductive framework for computing knowledge base updates

DOI10.1017/S1471068403001716zbMATH Open1085.68545OpenAlexW2038896017MaRDI QIDQ4819001FDOQ4819001

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)

Cited In (19)

• Semi-equilibrium models for paracoherent answer set programs
• A Unifying Perspective on Knowledge Updates
• The rise and fall of semantic rule updates based onSE-models
• When you must forget: Beyond strong persistence when forgetting in answer set programming
• Addition and removal of information for a knowledge base with incomplete information
• Title not available (Why is that?)
• Inductive Negotiation in Answer Set Programming
• Abduction in argumentation frameworks
• Abduction-Based Search for Cooperative Answers
• Characterization of logic program revision as an extension of propositional revision
• Updating action domain descriptions
• 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
• Dynamic updates of non-monotonic knowledge bases
• Semantic forgetting in answer set programming
• Belief revision within fragments of propositional logic
• Strong inconsistency

Uses Software

• LUPS

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• A glance at revision and updating in knowledge bases 👍 👎
• Dynamic updates of non-monotonic knowledge bases 👍 👎
• A programmable approach to revising knowledge bases 👍 👎
• Circumscriptive semantics for updating knowledge bases 👍 👎
• Knowledge base dynamics, abduction, and database updates 👍 👎

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)