An abductive framework for computing knowledge base updates

Authors:
Chiaki Sakama;Katsumi Inoue
Affiliations:
Department of Computer and Communication Sciences, Wakayama University, Wakayama 640 8510, Japan (e-mail: sakama@sys.wakayama-u.ac.jp);Department of Electrical and Electronics Engineering, Kobe University, Kobe 657 8501, Japan (e-mail: inoue@eedept.kobe-u.ac.jp)
Venue:
Theory and Practice of Logic Programming
Year:
2003

Citing 34
Cited 23

A logical framework for default reasoning

Artificial Intelligence
On the declarative semantics of deductive databases and logic programs

Foundations of deductive databases and logic programming
A theorem-proving approach to database integrity

Foundations of deductive databases and logic programming
Updating knowledge bases

New Generation Computing
Intensional updates: abduction via deduction

Logic programming
Updating logical databases

Updating logical databases
Updating knowledge bases II

New Generation Computing
View updates in stratified disjunctive databases

Journal of Automated Reasoning
The role of abduction in database view updating

Journal of Intelligent Information Systems
Abduction as belief revision

Artificial Intelligence
Abduction to plausible causes: an event-based model of belief update

Artificial Intelligence
Abductive change operators

Fundamenta Informaticae
Disjunctive datalog

ACM Transactions on Database Systems (TODS)
Abduction from logic program: semantics and complexity

Theoretical Computer Science
Enhancing model checking in verification by AI techniques

Artificial Intelligence
Disjunctive logic programs with inheritance

Proceedings of the 1999 international conference on Logic programming
Well-founded abduction via tabled dual programs

Proceedings of the 1999 international conference on Logic programming
Answer set programming and plan generation

Artificial Intelligence
LUPS---a language for updating logic programs

Artificial Intelligence
On the semantics of updates in databases

PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Computing extended abduction through transaction programs

Annals of Mathematics and Artificial Intelligence
Logic programs with stable model semantics as a constraint programming paradigm

Annals of Mathematics and Artificial Intelligence
Updating knowledge bases while maintaining their consistency

The VLDB Journal — The International Journal on Very Large Data Bases
Coherence Approach to Logic Program Revision

IEEE Transactions on Knowledge and Data Engineering
Knowledge Assimilation and Abduction

ECAI '90 Workshop on Truth Maintenance Systems
Drawing Updates From Derivations

ICDT '90 Proceedings of the Third International Conference on Database Theory
Disjunctive Explanations

ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Database Updates through Abduction

VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Abduction over 3-Valued Extended Logic Programs

LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
An Abductive Framework for Extended Logic Programming

LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
A General Framework for Revising Non-Monotonic Theories

LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Some Notes on Knowledge Assimilation in Deductive Databases

ILPS '97 International Seminar on Logic Databases and the Meaning of Change, Transactions and Change in Logic Databases
The Diagnosis Frontend of the dlv system

AI Communications
Abductive framework for nonmonotonic theory change

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1

Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications

Theory and Practice of Logic Programming
Computational methods for database repair by signed formulae*

Annals of Mathematics and Artificial Intelligence
Negotiation by abduction and relaxation

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Semantic forgetting in answer set programming

Artificial Intelligence
Inductive Negotiation in Answer Set Programming

Declarative Agent Languages and Technologies VI
Resolving Conflicts in Action Descriptions

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
A theory of forgetting in logic programming

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Updating action domain descriptions

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Implementing knowledge update sequences

MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
Updating action domain descriptions

Artificial Intelligence
Towards closed world reasoning in dynamic open worlds

Theory and Practice of Logic Programming
On Semantic Update Operators for Answer-Set Programs

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Back and forth between rules and SE-models

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Abduction-based search for cooperative answers

CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Computing abductive argumentation in answer set programming

ArgMAS'09 Proceedings of the 6th international conference on Argumentation in Multi-Agent Systems
Dishonest reasoning by abduction

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Cooperative dialogues with conditional arguments

Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
A unifying perspective on knowledge updates

JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
A Model-Theoretic Approach to Belief Change in Answer Set Programming

ACM Transactions on Computational Logic (TOCL)
Inconsistency management for description logic programs and beyond

RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Data repair of inconsistent DL-programs

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
On condensing a sequence of updates in answer-set programming

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Belief revision within fragments of propositional logic

Journal of Computer and System Sciences

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces an abductive framework for updating knowledge bases represented by extended disjunctive programs. We first provide a simple transformation from abductive programs to update programs which are logic programs specifying changes on abductive hypotheses. Then, extended abduction, which was introduced by the same authors as a generalization of traditional abduction, is computed by the answer sets of update programs. Next, different types of updates, view updates and theory updates are characterized by abductive programs and computed by update programs. The task of consistency restoration is also realized as special cases of these updates. Each update problem is comparatively assessed from the computational complexity viewpoint. The result of this paper provides a uniform framework for different types of knowledge base updates, and each update is computed using existing procedures of logic programming.