Abductive framework for nonmonotonic theory change

Authors:
Katsumi Inoue;Chiaki Sakama
Affiliations:
Department of Information and Computer Sciences, Toyohashi University of Technology, Toyohashi, Japan;Department of Computer and Communication Science, Wakayama University, Wakayama, Japan
Venue:
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Year:
1995

Citing 14
Cited 25

Semantical considerations on nonmonotonic logic

Artificial Intelligence
A logic-based language for database updates

Foundations of deductive databases and logic programming
Autoepistemic stable closures and contradiction resolution

Proceedings of the 2nd international workshop on Non-monotonic reasoning
Generalized stable models, truth maintenance and conflict resolution

Logic programming
Updating logical databases

Updating logical databases
Propositional knowledge base revision and minimal change

Artificial Intelligence
Extended logic programs as autoepistemic theories

Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
On the semantics of updates in databases

PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Updates, A New Frontier

ICDT '88 Proceedings of the 2nd International Conference on Database Theory
Database Updates through Abduction

VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Revision of Non-Monotonic Theories

JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Revision Specifications by Means of Programs

JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Relations between the logic of theory change and nonmonotonic logic

Proceedings of the Workshop on The Logic of Theory Change
Abduction to Plausible Causes: An Event-Based Model of Belief Update

Abduction to Plausible Causes: An Event-Based Model of Belief Update

Computing extended abduction through transaction programs

Annals of Mathematics and Artificial Intelligence
Disjunctive Explanations

ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Coherent Composition of Distributed Knowledge-Bases Through Abduction

LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Abduction in Logic Programming

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Automated Abduction

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Logic Programming Updating - A Guided Approach

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Considerations on Updates of Logic Programs

JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Updating Extended Logic Programs through Abduction

LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
A Simple Characterization of Extended Abduction

CL '00 Proceedings of the First International Conference on Computational Logic
An abductive framework for computing knowledge base updates

Theory and Practice of Logic Programming
Using methods of declarative logic programming for intelligent information agents

Theory and Practice of Logic Programming
On properties of update sequences based on causal rejection

Theory and Practice of Logic Programming
Reasoning about evolving nonmonotonic knowledge bases

ACM Transactions on Computational Logic (TOCL)
Negotiation by abduction and relaxation

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Negotiation by induction

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Inductive Negotiation in Answer Set Programming

Declarative Agent Languages and Technologies VI
Coherent integration of databases by abductive logic programming

Journal of Artificial Intelligence Research
A-system: problem solving through abduction

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Equivalence in abductive logic

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Diagnosing and correcting design inconsistencies in source code with logical abduction

Science of Computer Programming
Abduction guided query relaxation

The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Abduction-based search for cooperative answers

CLIMA'11 Proceedings of the 12th international conference on Computational logic 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 Model-Theoretic Approach to Belief Change in Answer Set Programming

ACM Transactions on Computational Logic (TOCL)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes a method of nonmonotonic theory change. We first introduce a new form of abduction that can account for observations in nonmonotonic situation. Then we provide a framework of autoepistemic update, which describes nonmonotonic theory change through the extended abductive framework. The proposed update semantics is fairly general and provides a unified framework for various update semantics such as first-order update, view update of databases, and contradiction removal of nonmonotonic theories.