618 Hits in 3.9 sec

Generalizing AGM to a multi-agent setting

G. Aucher
2010 Logic Journal of the IGPL  
Then we show that, thanks to the shape of our new semantics, all the results of the AGM framework transfer. Afterwards we investigate some postulates that are specific to our multi-agent setting.  ...  We generalize AGM belief revision theory to the multi-agent case. To do so, we first generalize the semantics of the single-agent case, based on the notion of interpretation, to the multi-agent case.  ...  Acknowledgements I thank my PhD supervisors Hans van Ditmarsch and Andreas Herzig for useful discussions and comments. I also thank Jérôme Lang for comments on an earlier version of this paper.  ... 
doi:10.1093/jigpal/jzp037 fatcat:2ca3ih4t5nc2jo6zh4igmzgiqa

Dynamic Preference Logic meets Iterated Belief Change: Representation Results and Postulates Characterization

Marlo Souza, Renata Vieira, Álvaro Moreira
2020 Theoretical Computer Science  
While the connections of AGM-like operations and their encoding in dynamic doxastic logics have been studied before by the work of Segerberg, most works on the area of Dynamic Epistemic Logics (DEL) have  ...  Recently, several logics for belief and information change have been proposed in the literature and used to encode belief change operations in rich and expressive semantic frameworks.  ...  It also allows for the exploration of established results from Modal Logic to construct applications of the AGM belief change theory.  ... 
doi:10.1016/j.tcs.2020.12.042 fatcat:53lyxtxeejdizbrgsi6qketcy4

On Applying the AGM Theory to DLs and OWL [chapter]

Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou
2005 Lecture Notes in Computer Science  
We believe the Semantic Web community would benefit from the application of the AGM theory to such logics. This paper is a preliminary study towards the feasibility of this application.  ...  This problem has been extensively studied in the field of belief change, the dominating approach being the AGM theory.  ...  Acknowledgments The authors would like to thank Thomas Studer for his example in section 3.1, which resolved a long-standing issue.  ... 
doi:10.1007/11574620_18 fatcat:wshdy3a3t5defg2ydxlq4u5244

Page 785 of Mathematical Reviews Vol. , Issue 2002B [page]

2002 Mathematical Reviews  
Summary: “We describe an alternative interpretation of the AGM postulates for belief change [C. E. Alchourron, P. Gardenfors and D. Makinson, J.  ...  In this preliminary study, the authors investigate the extent to which belief revision in the manner of Alchourron, Gardenfors and Makinson (AGM) can satisfy a ‘reliabilist’ perspective, on which one seeks  ... 

Page 4129 of Mathematical Reviews Vol. , Issue 93h [page]

1993 Mathematical Reviews  
The authors consider ways of weakening the Ramsey test and/or the AGM postulates to salvage the situation.  ...  They come out in favour of retaining the AGM postulates and applying the Ramsey test only to maximally consistent theories.  ... 

Private Expansion and Revision in Multi-agent Settings [chapter]

Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, Pierre Marquis
2015 Lecture Notes in Computer Science  
We point out an adaptation of AGM expansion and revision postulates to this setting, and present expansion and revision operators.  ...  AGM belief change aims at modeling the evolution of an agent's beliefs about its environment. In many applications though, a set of agents sharing the same environment must be considered.  ...  First, we give some formal preliminaries about KD45 n models and AGM belief change theory. Then, we translate the AGM postulates for expansion to the multi-agent setting.  ... 
doi:10.1007/978-3-319-20807-7_16 fatcat:ghk5j5zzhjcnta22vkyn4kaopm

Belief Change and Non-Monotonic Reasoning Sans Compactness

Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann
Belief change and non-monotonic reasoning are arguably different perspectives on the same phenomenon, namely, jettisoning of currently held beliefs in response to some incompatible evidence.  ...  Recent research in the field shows that this compactness assumption can be dispensed without inflicting much damage on the AGM paradigm of belief change.  ...  Acknowledgements The first author is supported by a scholarship from the CAPES Foundation within the Brazilian Government's Ministry of Education, as well as a scholarship from Macquarie University under  ... 
doi:10.1609/aaai.v33i01.33013019 fatcat:d2ki4efvefe4rjjvudvc5kqqym

A Generalised Semantics for Belief Updates - An Equivalence-based Approach

Jorge Hernández, Juan C. Acosta
2013 Ciencias Huasteca Boletín Científico de la Escuela Superior de Huejutla  
esta semántica consiste en realizar actualizaciones de estados epistémicos en el nivel de objeto conocido por su buena aceptación de revisión de creencias y postulados siguiendo la concepción original AGM  ...  En necesidad de satisfacer los principios generales, y un marco común de referencia, este artículo presenta un marco general para las actualizaciones de los programas de lógica, caracterización de propiedades  ...  Preliminaries A main foundation of this proposal is the well-known AGM-postulates [6] in a particular interpretation and notation [4] , followed by a brief basic background of Answer Sets and Generalised  ... 
doi:10.29057/esh.v1i1.3010 fatcat:wifcuapdn5f7xpeqkg3xnlkscy

On the Relationship Between KR Approaches for Explainable Planning [article]

Stylianos Loukas Vasileiou, William Yeoh, Tran Cao Son
2020 arXiv   pre-print
We also provide a detailed exposition on the relationship between similar KR techniques, such as abductive explanations and belief change, and their applicability to explainable planning.  ...  In this paper, we build upon notions from knowledge representation and reasoning (KR) to expand a preliminary logic-based framework that characterizes the model reconciliation problem for explainable planning  ...  The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of the sponsoring organizations  ... 
arXiv:2011.09006v3 fatcat:tpf77b4et5dz5otqj4k5kotobi

On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators

Richard Booth, Jake Chandler
2020 Artificial Intelligence  
We close the paper by noting that these operators satisfy iterated versions of many AGM era postulates, including Superexpansion, that are not sound for admissible operators in general.  ...  In this paper, we supplement the DP postulates and (P) with a number of novel conditions.  ...  Acknowledgements This research was partially supported by the Australian Government through an Australian Research Council Future Fellowship (project number FT160100092) awarded to Jake Chandler.  ... 
doi:10.1016/j.artint.2020.103289 fatcat:qgosdzbpivbbvf5q34cizgmgae

Severe Withdrawal (and Recovery)

Hans Rott, Maurice Pagnucco
1999 Journal of Philosophical Logic  
We provide rationality postulates for severe withdrawal and explore its relationship with AGM contraction.  ...  One of the most noted principles within the context of AGM is the Principle of Informational Economy.  ...  Acknowledgements The authors would particularly like to thank Isaac Levi for sharing various manuscripts of his work and providing generous comments on the work contained here-in.  ... 
doi:10.1023/a:1004344003217 fatcat:rys6sya2hjbdbol5ylun5e3vr4

Revision of defeasible preferences

Guido Governatori, Francesco Olivieri, Matteo Cristani, Simone Scannapieco
2019 International Journal of Approximate Reasoning  
After this analysis, we identify three revision/update operators and study them against the AGM postulates for belief revision operators, to discover that only a part of these postulates are satisfied  ...  We argue that the approach we adopt is applicable to legal reasoning, where users, in general, cannot change facts or rules, but can propose their preferences about the relative strength of the rules.  ...  program and the Queensland Government.  ... 
doi:10.1016/j.ijar.2018.10.020 fatcat:j6i6ca6ekzdyrj2s7omezdv7zy

Legal contractions

Guido Governatori, Antonino Rotolo, Francesco Olivieri, Simone Scannapieco
2013 Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law - ICAIL '13  
The proposed techniques are discussed in the context of a new version for the logic of AGM postulates of contraction.  ...  We argue that legal contraction is an umbrella concept that includes operations which are conceptually and technically different: removing rules, adding exceptions, and modifying rule priorities.  ...  However, the operation of contraction for legal dynamics is in AGM perhaps the most controversial one, due to some postulates such as recovery [12, 27] and to the elusive nature of legal changes, such  ... 
doi:10.1145/2514601.2514609 dblp:conf/icail/GovernatoriROS13 fatcat:j47xpyyk45etparisd3l5ks2qm

A representation theorem for recovering contraction relations satisfying wci

Zhaohui Zhu, Bin Li, Xi'an Xiao, Shifu Chen, Wujia Zhu
2003 Theoretical Computer Science  
In e ect, this result establishes a representation theorem for belief contraction functions satisfying AGM postulates (k-1) -(k-7), and Rott's (wci) and (k-8c), and hence generalizes Rott's corresponding  ...  result in the ÿnite framework.  ...  Acknowledgements The authors would like to thank anonymous referees for their helpful comments and suggestions.  ... 
doi:10.1016/s0304-3975(02)00035-x fatcat:4sh44sate5gfzcmjsjl5xkuuv4

Three Scenarios for the Revision of Epistemic States

D. Dubois
2008 Journal of Logic and Computation  
If the epistemic entrenchment encodes prior uncertain evidence and the input information is at the same level as the prior information and possibly uncertain, then iterated revision reduces to prioritized  ...  If the epistemic entrenchment stems from default rules, then AGM revision is a matter of changing plausible conclusions when receiving specific information on the problem at hand.  ...  In the latter situation, the resulting epistemic entrenchment is fully dependent on the case at hand and has no generic value.  ... 
doi:10.1093/logcom/exm092 fatcat:6hs23ipoq5aolgdzn642tesaea
« Previous Showing results 1 — 15 out of 618 results