Explanations, belief revision and defeasible reasoning

Authors:
Marcelo A. Falappa;Gabriele Kern-Isberner;Guillermo R. Simari
Affiliations:
Artificial Intelligence Research and Development Laboratory, Department of Computer Science and Engineering, Universidad Nacional del Sur Av. Alem 1253, (B8000CPB) Bahía Blanca, Argentina;Department of Computer Science, LG Praktische Informatik VIII, Fern Universitaet Hagen, Hagen, Germany;Artificial Intelligence Research and Development Laboratory, Department of Computer Science and Engineering, Universidad Nacional del Sur Av. Alem 1253, (B8000CPB) Bahía Blanca, Argentina
Venue:
Artificial Intelligence
Year:
2002

Citing 5
Cited 16

Counterfactuals

Artificial Intelligence
A mathematical treatment of defeasible reasoning and its implementation

Artificial Intelligence
Kernel contraction

Journal of Symbolic Logic
Abduction As Belief Revision

Abduction As Belief Revision
Determining explanations using transmutations

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

Preferences and explanations

Artificial Intelligence
From desires to intentions through dialectical analysis

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Dialectical Explanations in Defeasible Argumentation

ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Argument Theory Change: Revision Upon Warrant

Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
On the Logic of Theory Change: Relations between Incision and Selection Functions

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Reasoning from desires to intentions: a dialectical framework

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Argument theory change applied to defeasible logic programming

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Argumentation system with changes of an agent's knowledge base

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Defeasible argumentation support for an extended BDI architecture

ArgMAS'07 Proceedings of the 4th international conference on Argumentation in multi-agent systems
Review: on the evolving relation between belief revision and argumentation

The Knowledge Engineering Review
Dynamics of argumentation systems: A division-based method

Artificial Intelligence
Parallel belief revision: Revising by sets of formulas

Artificial Intelligence
Revising beliefs through arguments: bridging the gap between argumentation and belief revision in MAS

ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Negotiation among DDeLP agents

ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Argumentation system allowing suspend/resume of an argumentation line

ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
Selective revision by deductive argumentation

TAFA'11 Proceedings of the First international conference on Theory and Applications of Formal Argumentation

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present different constructions for nonprioritized belief revision, that is, belief changes in which the input sentences are not always accepted. First, we present the concept of explanation in a deductive way. Second, we define multiple revision operators with respect to sets of sentences (representing explanations), giving representation theorems. Finally, we relate the formulated operators with argumentative systems and default reasoning frameworks.