Filters








24,429 Hits in 2.6 sec

Distance semantics for belief revision

Daniel Lehmann, Menachem Magidor, Karl Schlechta
2001 Journal of Symbolic Logic (JSL)  
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]

Daniel Lehmann, Menachem Magidor, Karl Schlechta
2002 arXiv   pre-print
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]

Valmi Dufour-Lussier, Alice Hermann, Jean Lieber
2014 arXiv   pre-print
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]

Churn-Jung Liau
2003 Lecture Notes in Computer Science  
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

J. Hue, M. Westphal
2012 2012 IEEE 24th International Conference on Tools with Artificial Intelligence  
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]

Valmi Dufour-Lussier, Alice Hermann, Jean Lieber
2014 arXiv   pre-print
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

Franz Dietrich, Wlodek Rabinowicz
2018 Theory and Decision  
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

Churn-Jung Liau
2004 Journal of Applied Non-Classical Logics  
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

Craig Boutilier
1998 Artificial Intelligence  
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]

Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis
2014 Lecture Notes in Computer Science  
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

Sylvie Doutre, Jean-Guy Mailly
2018 Argument & Computation  
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]

Hoa Khanh Dam, Aditya Ghose
2014 arXiv   pre-print
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

Theo Kuipers, Gerhard Schurz
2011 Erkenntnis: An International Journal of Scientific Philosophy  
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]

Yisong Wang, Zhiqiang Zhuang, Kewen Wang
2013 Lecture Notes in Computer Science  
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

Faezeh Ensan, Ebrahim Bagheri
2010 Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10  
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