Journal ArticleDOI
Propositional knowledge base revision and minimal change
TLDR
The semantics of revising knowledge bases represented by sets of propositional sentences is analyzed from a model-theoretic point of view and all revision schemes that satisfy the Gardenfors rationality postulates are characterized.About:
This article is published in Artificial Intelligence.The article was published on 1991-12-01. It has received 826 citations till now. The article focuses on the topics: Belief revision & Descriptive knowledge.read more
Citations
More filters
Proceedings ArticleDOI
Consistent query answers in inconsistent databases
TL;DR: The problem of the logical characterization of the notion of consistent answer in a relational database that may violate given integrity constraints is considered and its soundness and completeness are proved.
Journal Article
Consistent query answers in inconsistent databases
TL;DR: In this article, the authors consider the problem of the logical characterization of the notion of consistent answer in a relational database that may violate given integrity constraints and present a method for computing consistent answers.
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
Reaching agreements through argumentation: a logical model and implementation
TL;DR: A logical model of the mental states of the agents based on a representation of their beliefs, desires, intentions, and goals is presented and a general Automated Negotiation Agent is implemented, based on the logical model.
Journal ArticleDOI
Merging Information Under Constraints: A Logical Framework
TL;DR: The paper considers the problem of merging several belief bases in the presence of integrity constraints and proposes a logical characterization of operators having a majority behaviour or a consensual one and a representation theorem in terms of pre-orders on interpretations is given.
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.
Journal ArticleDOI
Nonmonotonic reasoning, preferential models and cumulative logics
TL;DR: In this paper, a number of families of nonmonotonic consequence relations, defined in the style of Gentzen [13], are studied from both proof-theoretic and semantic points of view.
Posted Content
Nonmonotonic Reasoning, Preferential Models and Cumulative Logics
TL;DR: The preferential models proposed here are a much stronger tool than Adams' probabilistic semantics, and are defined and characterized by representation theorems, relating the two points of view.
Book
Knowledge in Flux: Modeling the Dynamics of Epistemic States
TL;DR: Knowledge in Flux presents a theory of rational changes of belief, focusing particularly on revisions that occur when the agent receives new information that is inconsistent with the present epistemic state.