Journal ArticleDOI
Belief Revision And Epistemology
TLDR
It is argued that there is no way to repair the definitions of belief revision so as to retain the spirit of those theory, and belief revision is better studied from within an independently motivated epistemological theory.Abstract:
Postulational approaches attempt to understand the dynamics of belief revision by appealing to no more than the set of beliefs held by an agent and the logical relations between them. It is argued there that such an approach cannot work. A proper account of belief revision must also appeal to the arguments supporting beliefs, and recognize that those arguments can be defeasible. If we begin with a mature epistemological theory that accommodates this, it can be seen that the belief revision operators on which the postulational theories are based are ill-defined. It is further argued that there is no way to repair the definitions so as to retain the spirit of those theory. Belief revision is better studied from within an independently motivated epistemological theory.read more
Citations
More filters
Book
Justification and the Truth-Connection
TL;DR: In this article, the authors present a set of reasons for belief in a given belief system: Epistemic value, reason for belief, assertion, and action, and justification.
Journal ArticleDOI
Change in abstract argumentation frameworks: adding an argument
TL;DR: In this paper, the authors study the impact of the addition of a new argument on the outcome of the argumentation system, more particularly on the set of its extensions, by comparing the new set of extensions to the initial one.
Journal ArticleDOI
Law and logic
Henry Prakken,Giovanni Sartor +1 more
TL;DR: It is argued that the law is a rich test bed and important application field for logic-based AI research, and the recent trend of widening the scope of logic from deduction to information flow, argumentation and interaction is confirmed.
Proceedings Article
Revision of an argumentation system
TL;DR: This paper addresses the problem of revising a Dung-style abstract argumentation system, when a new argument is added which interacts with one previous argument, and proposes characterization theorems for two particular revisions.
References
More filters
Journal ArticleDOI
On the logic of theory change: Partial meet contraction and revision functions
TL;DR: In this article, the authors extend earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising it to introduce a new proposition.
Book ChapterDOI
Ordinal Conditional Functions: A Dynamic Theory of Epistemic States
TL;DR: Many of the philosophically most interesting notions are overtly or covertly epistemological as discussed by the authors, and a very promising strategy for understanding them is to try to conceive of them as coherence theory of truth or internal realism; they hold some version of the claim that something for which it is impossible to get a true reason cannot be true, and that truth is therefore covertly Eq.
Journal ArticleDOI
On the logic of iterated belief revision
Adnan Darwiche,Judea Pearl +1 more
TL;DR: It is shown that the AGM postulates are too weak to ensure the rational preservation of conditional beliefs during belief revision, thus permitting improper responses to sequences of observations, and a model-based representation theorem is established which characterizes the proposed postulates and constrains the way in which entrenchment orderings may be transformed under iterated belief revision.
Journal ArticleDOI
How to reason defeasibly
TL;DR: The construction of a general-purpose defeasible reasoner that is complete for first-order logic and provably adequate for the argument-based conception of defeasibles reasoning that I have developed elsewhere is described.