An abductive framework for computing knowledge base updates

DOI10.1017/S1471068403001716zbMath1085.68545OpenAlexW2038896017MaRDI QIDQ4819001

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)

Related Items (16)

Data repair of inconsistent nonmonotonic description logic programs ⋮ A Unifying Perspective on Knowledge Updates ⋮ Semantic forgetting in answer set programming ⋮ The rise and fall of semantic rule updates based onSE-models ⋮ Belief revision within fragments of propositional logic ⋮ When you must forget: Beyond strong persistence when forgetting in answer set programming ⋮ Characterization of logic program revision as an extension of propositional revision ⋮ Updating action domain descriptions ⋮ 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 ⋮ Inductive Negotiation in Answer Set Programming ⋮ Abduction in argumentation frameworks ⋮ Abduction-Based Search for Cooperative Answers ⋮ Strong inconsistency ⋮ Semi-equilibrium models for paracoherent answer set programs

Uses Software

• LUPS

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