A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Distance semantics for belief revision
2001
Journal of Symbolic Logic (JSL)
Preserved Fulltext
A vast and interesting family of natural semantics lor belief revision is defined. Suppose one is given a distance d between any two models. ...
The new postulates describe properties of iterated revisions. ...
Our main result is a characterization of revisions defined by distances. We shall concentrate here on quasi-semantic properties to characterize those revisions. ...
doi:10.2307/2694923
fatcat:t7rzdwxwyfh3fbwef5qmanaemu
Distance Semantics for Belief Revision
[article]
2002
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A vast and interesting family of natural semantics for belief revision is defined. Suppose one is given a distance d between any two models. ...
The new postulates describe properties of iterated revisions. ...
Acknowledgement We would like to thank a referee for his very insightful comments, which have helped to improve the paper. ...
arXiv:cs/0202025v1
fatcat:okkoexnotvd4vk4aurpycnrody
Belief revision in the propositional closure of a qualitative algebra
[article]
2014
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Belief revision in the propositional closure of QAs is studied, an al-gorithm for a family of revision operators is designed, and an open-source implementation is made freely available on the web. ...
This motivates the study of belief revision in formalisms extending QAs, namely, their propositional clo-sures: in such a closure, the result of belief revision belongs to the formalism. ...
However, this second semantics is more practical to use for defining revision operators on QAs.
Belief change Belief revision is an operation of belief change. ...
arXiv:1412.3908v1
fatcat:ypyqj7iz5jbpvlhc4qlcyrx74e
Epistemic Logics for Information Fusion
[chapter]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. ...
Some modalities corresponding to these fusion operators are added to epistemic logics and the Kripke semantics of these extended logics are presented. ...
In [23] , a uniform model-theoretic framework is provided for the semantic characterization of the revision and update operators. ...
doi:10.1007/978-3-540-45062-7_40
fatcat:co4lyvhi3be45j4syyeessm7gy
Revising Qualitative Constraint Networks: Definition and Implementation
2012
2012 IEEE 24th International Conference on Tools with Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
In this paper, we propose to fill the gap by providing two revision operations for qualitative calculi. ...
In order to implement these operations, we give algorithms for revision and analyze the computational complexity of these problems. ...
ACKNOWLEDGMENT We thank the anonymous reviewers for helpful comments. This work was supported by DFG (Transregional Collaborative Research Center SFB/TR 8 Spatial Cognition, project R4-[LogoSpace]). ...
doi:10.1109/ictai.2012.80
dblp:conf/ictai/HueW12
fatcat:3pkwbw7fgnbrzimurfliys2fvu
Belief revision in the propositional closure of a qualitative algebra (extended version)
[article]
2014
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Belief revision in the propositional closure of QAs is studied, an algorithm for a family of revision operators is designed, and an open-source implementation is made freely available on the web. ...
Belief revision is an operation that aims at modifying old beliefs so that they become consistent with new ones. ...
This research was partially funded by the project Kolflow 5 of the French National Agency for Research (ANR), program ANR CONTINT. ...
arXiv:1405.0795v1
fatcat:stzd56irsbh7xgqcakbfv7lseu
Introduction to the special issue "Beliefs in Groups" of Theory and Decision
2018
Theory and Decision
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
For one, revising one's beliefs may take the form of aggregating them with learnt beliefs of others-for instance through averaging probability assignments, something analysed in depth in the first three ...
Where contributions address beliefs of group members, the central question is that of belief revision: how should individuals revise their beliefs after learning those of others? ...
That principle-if accepted-therefore provides foundations for the above-sketched two-stage procedure for revising beliefs in the face of testimonial evidence. ...
doi:10.1007/s11238-018-9654-z
fatcat:3c5dpsop5jdqrlmtkekkenlwea
Belief fusion and revision: an overview based on epistemic logic semantics
2004
Journal of Applied Non-Classical Logics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In this paper, we formulate some approaches to belief fusion and revision using epistemic logic semantics. ...
Some modalities corresponding to belief fusion and revision operators are incorporated into epistemic logics. The Kripke semantics of these extended logics are presented. ...
Acknowledgements I would like to thank three anonymous referees for their valuable remarks.
References ...
doi:10.3166/jancl.14.247-274
fatcat:uy26xsjcvzf2rolndekdompsd4
A unified model of qualitative belief change: a dynamical systems perspective
1998
Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Belief revision and belief update have heen proposed as two types of belief change serving different purposes, revision intended to capture changes in belief state reflecting new information about a static ...
This model of update combines aspects of revision and update, providing a more realistic characterization of belief change. ...
Acknowledgements Thanks to Nir Friedman, Moists Goldszmidt, Joe Halpern and David Poole for helpful discussions on this topic. This research was supported by NSERC Research Grant OGP0121843. ...
doi:10.1016/s0004-3702(97)00066-0
fatcat:5vmau75jarhpffrhxyqte47yx4
A Translation-Based Approach for Revision of Argumentation Frameworks
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper, we investigate the revision issue for Dung argumentation frameworks. ...
Via a translation, each propositional operator • can be associated with some revision operators suited to argumentation frameworks. Some rationality postulates for the operators are presented. ...
Acknowledgments We would like to thank the reviewers for their helpful comments and proposals. ...
doi:10.1007/978-3-319-11558-0_28
fatcat:gati2chxwremhliulk3d7pghma
Constraints and changes: A survey of abstract argumentation dynamics
2018
Argument & Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The paper surveys existing approaches for the dynamic enforcement of a constraint and its consequences, and reveals challenging enforcement cases that remain to be investigated. ...
An agent may want another agent to consider a new attack, or to have a given argument accepted, or even to relax the definition of the semantics. ...
We would like to thank Laurent Perrussel for fruitful discussions on preliminary versions of this study. ...
doi:10.3233/aac-180425
fatcat:rlavjn4mezfarag6tysysbzjr4
Towards rational and minimal change propagation in model evolution
[article]
2014
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In this paper, we propose a number of postulates, inspired by the mature belief revision theory, that a change propagation process should satisfy to be considered rational and minimal. ...
Such principles are formalized as a number of postulates in the seminal AGM belief revision model 1 [1] . ...
Belief revision (or also referred to as belief change) is the process of changing a knowledge base (i.e. beliefs) to acquire a new piece of information in such a way that the knowledge base (KB) is consistent ...
arXiv:1402.6046v1
fatcat:5nc3fzvfsrbudodsfb2cfiw7i4
Introduction and Overview
2011
Erkenntnis: An International Journal of Scientific Philosophy
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Also Grove's semantic modelling of BR is defined in terms of a distance (or similarity) relation between possible worlds as follows: if the evidence e is incompatible with T, then the revised proposition ...
Renardel and Zwart define belief revision in the line of Grove's semantical approach, i.e., ||T*e|| = the set of constituents in ||e|| which have minimal rank according to p T . ...
doi:10.1007/s10670-011-9288-9
fatcat:dw2kagwpovbcxltveg6hirsiaa
Belief Change in Nonmonotonic Multi-Context Systems
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Specifically, we semantically formulate the AGM postulates of belief expansion, revision and contraction for multi-context systems. ...
Two distance based revision operators are obtained and related to the classical Satoh and Dalal revision operators (via loop formulas). ...
Following AGM model we proposed a model-theoretical belief expansion, revision and contraction theories for nonmonotonic multi-context systems under equilibria semantics. ...
doi:10.1007/978-3-642-40564-8_54
fatcat:6crgqok63bd6tm3o6khrvca3hi
A framework for handling revisions in distributed ontologies
2010
Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We introduce a revision operator for distributed ontologies and show that it satisfies important postulates for knowledge base revision. ...
In addition, based on a tableau algorithm for ALC ontologies, we propose an algorithm for applying the received changes and revising the original ontology through the proposed operator. ...
SEMANTICS OF REVISION In order to define appropriate semantics for the revision of ontologies in a distributed representation, we first define the notion of distance between interpretations of a knowledge ...
doi:10.1145/1774088.1774388
dblp:conf/sac/EnsanB10
fatcat:db2eyrwdqjcddcv2frd2rfdcai
« Previous
Showing results 1 — 15 out of 24,429 results