Le PDF est une version auteur datant de 2017International audienceBelief revision of knowledge bases represented by a set of sentences in a given logic has been extensively studied but for specific logics, mainly propositional, and also recently Horn and description logics. Here, we propose to generalize this operation from a model-theoretic point of view, by defining revision in the abstract model theory of satisfaction systems. In this framework, we generalize to any satisfaction system the characterization of the AGM postulates given by Katsuno and Mendelzon for propositional logic in terms of minimal change among interpretations. In this generalization, the constraint on syntax independence is partially relaxed. Moreover, we study how t...
Belief revision leads to temporal nonmonotonicity, i.e., the set of beliefs does not grow monotonica...
International audienceBelief revision has been extensively studied in the framework of propositional...
Belief revision has been studied mainly with respect to background logics that are monotonic in char...
Le PDF est une version auteur datant de 2017International audienceBelief revision of knowledge bases...
<p>Belief revision of knowledge bases represented by a set of sentences in a givenlogic has been ext...
Belief Revision systems are logical frameworks to modeling the dynamics of knowledge. That is, how t...
© 2018 ACM. In artificial intelligence, a key question concerns how an agent may rationally revise i...
Belief revision semantics appear promising as a definition for the meaning of updates to logical kno...
International audienceBelief change within the framework of fragments of propo-sitional logic is one...
A minimal approach to modelling belief change is presented, wherein arguably all successful belief c...
We address the problem of belief revision in (nonmonotonic) logic programming under answer set seman...
Abstract. In the past few years, several approaches for revision (and update) of logic programs have...
We live in an era of data and information, where an immeasurable amount of discoveries, findings, ev...
We consider belief revision operators that satisfy the Alchourr'on-GardenforsMakinson postulate...
The AGM postulates by Alchourr\'on, G\"ardenfors, and Makinson continue to represent a cornerstone i...
Belief revision leads to temporal nonmonotonicity, i.e., the set of beliefs does not grow monotonica...
International audienceBelief revision has been extensively studied in the framework of propositional...
Belief revision has been studied mainly with respect to background logics that are monotonic in char...
Le PDF est une version auteur datant de 2017International audienceBelief revision of knowledge bases...
<p>Belief revision of knowledge bases represented by a set of sentences in a givenlogic has been ext...
Belief Revision systems are logical frameworks to modeling the dynamics of knowledge. That is, how t...
© 2018 ACM. In artificial intelligence, a key question concerns how an agent may rationally revise i...
Belief revision semantics appear promising as a definition for the meaning of updates to logical kno...
International audienceBelief change within the framework of fragments of propo-sitional logic is one...
A minimal approach to modelling belief change is presented, wherein arguably all successful belief c...
We address the problem of belief revision in (nonmonotonic) logic programming under answer set seman...
Abstract. In the past few years, several approaches for revision (and update) of logic programs have...
We live in an era of data and information, where an immeasurable amount of discoveries, findings, ev...
We consider belief revision operators that satisfy the Alchourr'on-GardenforsMakinson postulate...
The AGM postulates by Alchourr\'on, G\"ardenfors, and Makinson continue to represent a cornerstone i...
Belief revision leads to temporal nonmonotonicity, i.e., the set of beliefs does not grow monotonica...
International audienceBelief revision has been extensively studied in the framework of propositional...
Belief revision has been studied mainly with respect to background logics that are monotonic in char...