Filters








9,365 Hits in 7.0 sec

Bringing Belief Base Change into Dynamic Epistemic Logic [article]

Marlo Souza, Álvaro Moreira
2019 arXiv   pre-print
AGM's belief revision is one of the main paradigms in the study of belief change operations.  ...  belief base change in this logic.  ...  As such, we can study operations of belief change based on preference models as transformations on grounded priority graphs.  ... 
arXiv:1912.10515v1 fatcat:rpajlntk7ngexnlbdre3z2rmsy

Deontic Logic and Changing Preferences [chapter]

Johan Van Benthem, Fenrong Liu
2018 Handbook of Philosophical Logic  
These logics are presented in two versions, one with a primitive 'betterness' relation between worlds, and one with criteria for preference given by explicit 'priority graphs'.  ...  The relevant dynamics is taken from current logics of preference structure and preference change.  ...  [Benthem and Liu, 2007 ] is a first systematic study of betterness change using methods from dynamic-epistemic logic.  ... 
doi:10.1007/978-3-319-97755-3_1 fatcat:gubyog6ztzf5ddby6oalrsvsfm

For Better or for Worse: Dynamic Logics of Preference [chapter]

Johan van Benthem
2009 Preference Change  
In the last few years, preference logic and in particular, the dynamic logic of preference change, has suddenly become a live topic in my Amsterdam and Stanford environments.  ...  There is no pretense at complete coverage of preference logic (for that, see Hanson 2001) or even of preference change (Hanson 1995).  ...  Dynamics of evaluation change But now for preference change! A modal model describes a current evaluation pattern for worlds, as seen by one or more agents.  ... 
doi:10.1007/978-90-481-2593-7_3 fatcat:tpjjunnepzg7plp7y5ulkibq2a

Modellings for belief change: Prioritization and entrenchment*

HANS ROTT
2008 Theoria  
A preliminary version of this paper reporting on the very special case of belief bases without prioritization appeared under the title 'Modellings for belief change: Base contraction, multiple contraction  ...  , and epistemic entrenchment (Preliminary report)' in the Proceedings J ELI A '92, 3rd European Workshop on Logics in A I, Berlin, September 7-10, 1992, Springer LNAI series 633, pp. 139-153. 2 Specializing  ...  The latter ones are those that follow, by some specified logic, from the set of explicit beliefs. We distinguish a belief base, the set of explicit beliefs, from a belief set.  ... 
doi:10.1111/j.1755-2567.1992.tb01154.x fatcat:gn47gjdpd5dhrcne5lxhwviywe

Preference, Priorities and Belief [chapter]

Dick de Jongh, Fenrong Liu
2009 Preference Change  
We study preference change with regard to changes of the priority sequence, and change of beliefs. We apply the dynamic epistemic logic approach, and in consequence reduction axioms are presented.  ...  We show how this preference can be derived from priorities, properties of these objects, a concept which is initially from optimality theory.  ...  Acknowledgement We thank Johan van Benthem, Reinhard Blutner, Ulle Endriss, Jerome Lang, Teresita Mijangos, Floris Roelofsen, Tomoyuki Yamada, Henk Zeevat, and two anonymous reviewers from the ESSLLI Workshop on  ... 
doi:10.1007/978-90-481-2593-7_4 fatcat:fyczklj4mzh2jevzdyaxys5pua

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

Marlo Souza, Renata Vieira, Álvaro Moreira
2020 Theoretical Computer Science  
This work investigates how Dynamic Preference Logic, a logic in the DEL family, can be used to study properties of dynamic belief change operators, focusing on well-known postulates of iterated belief  ...  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  ...  Another trend of research on using modal logics to study (and axiomatise) iterated belief change operators or policies is the work on Dynamic Epistemic Logics.  ... 
doi:10.1016/j.tcs.2020.12.042 fatcat:53lyxtxeejdizbrgsi6qketcy4

Prioritized and Non-prioritized Multiple Change on Belief Bases

Marcelo A. Falappa, Gabriele Kern-Isberner, Maurício D. L. Reis, Guillermo R. Simari
2011 Journal of Philosophical Logic  
In this article we explore multiple change operators, that is, operators in which the epistemic input is a set of sentences instead of a single sentence.  ...  We propose two types of change: prioritized change, in which the input set is fully accepted, and symmetric change, in which both the epistemic state and the epistemic input are equally treated.  ...  Introduction The logic of theory change deals with the problem of modeling the dynamics of knowledge, that is, how the beliefs of a cognitive agent are modified in some dynamic scenario.  ... 
doi:10.1007/s10992-011-9200-8 fatcat:rillvynu55gernfp2o5ztdif6e

Belief Change as Propositional Update

Renée Elio, Francis Jeffry Pelletier
1997 Cognitive Science  
This study examines the problem of belief revision, defined as deciding which of several initially accepted sentences to disbelieve, when new information presents a logical inconsistency with the initial  ...  The results indicated that people did not follow any of four formal definitions of minimal change on these problems.  ...  For example, Foo and Rao (1988) assign the highest epistemic entrenchment to physical laws, which may be especially effective in reasoning about how a dynamic world can change (e.g., the belief update,  ... 
doi:10.1207/s15516709cog2104_2 fatcat:oh7x33usmjffdpvsptkvmjklhe

Belief change as propositional update

R Elio
1997 Cognitive Science  
This study examines the problem of belief revision, defined as deciding which of several initially accepted sentences to disbelieve, when new information presents a logical inconsistency with the initial  ...  The results indicated that people did not follow any of four formal definitions of minimal change on these problems.  ...  For example, Foo and Rao (1988) assign the highest epistemic entrenchment to physical laws, which may be especially effective in reasoning about how a dynamic world can change (e.g., the belief update,  ... 
doi:10.1016/s0364-0213(99)80029-9 fatcat:xjvw3iddencbrcmhvbgk4xmho4

Predicate Change

Corina Strößner
2020 Journal of Philosophical Logic  
Based on the results, we argue that predicate change can be quite conservative and sometimes even hardly recognisable.  ...  In order to discuss predicate change, we define a monadic predicate logic with three different kinds of lawful belief: analytic laws, which hold for all possible instances; doxastic laws, which hold for  ...  as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.  ... 
doi:10.1007/s10992-020-09552-x fatcat:l46ppl4clzbungzqkquenqexwa

A Preliminary Reification of Argument Theory Change

Martin O Moguillansky, Nicolas D Rotstein, Marcelo A Falappa, Alejandro J Garcia, Guillermo R Simari
2008 Inteligencia Artificial  
A single notion of minimal change is analyzed, which refers to keep the contents of the program as much as possible.  ...  In this formalism, knowledge bases are represented through defeasible logic programs.  ...  Belief Revision Overview A belief base is a knowledge state represented by a set of sentences not necessarily closed under logical consequence.  ... 
doi:10.4114/ia.v12i40.979 fatcat:fmv2xtcapzdh5naj3qhgzds5vi

Belief change and 3-valued logics: Characterization of 19,683 belief change operators

Nerio Borges, Ramón Pino Pérez
2020 The Journal of Artificial Intelligence Research  
In this work we introduce a 3-valued logic with modalities, with the aim of having a clear and precise representation of epistemic states, thus the formulas of this logic will be our epistemic states.  ...  In this framework we analyze some types of changes of these epistemic structures and give syntactical characterizations of them in the introduced logic.  ...  Introduction Classical propositional logic is the most common choice when studying and modelling belief change operators (see for instance Gärdenfors, 1992; Peppas, 2008; Pino Pérez & Uzcátegui, 2010)  ... 
doi:10.1613/jair.1.12091 fatcat:jwdkoafxzjeqjh3ffh3df7yjiy

Preference Change Triggered by Belief Change: A Principled Approach [chapter]

Jérôme Lang, Leendert van der Torre
2010 Lecture Notes in Computer Science  
We define a family of preference change operators, parameterized by a revision function on epistemic states and a semantics for interpreting preferences over formulas, and we give conditions on the revision  ...  Various tasks need to consider preferences in a dynamic way.  ...  Van Benthem and Liu [5] build an extension of dynamic epistemic logic for reasoning both with beliefs and preferences, in which these two kinds of preference change are defined and studied.  ... 
doi:10.1007/978-3-642-15164-4_5 fatcat:zwycdjj56jcvjgktkyfjqklbfq

Preference Change

Anaïs Cadilhac, Nicholas Asher, Alex Lascarides, Farah Benamara
2015 Journal of Logic, Language and Information  
or measurable change in belief.  ...  But several decision and game problems lack these features, calling for a dynamic model of preferences: preferences can change when unforeseen possibilities come to light or when there is no specifiable  ...  We believe that the resulting computational model of dynamic preferences, when integrated with a computational model of dynamic belief, will provide a powerful tool for studying decision and game problems  ... 
doi:10.1007/s10849-015-9221-8 fatcat:xohbdqfrsve3vhhg46as3zoa54

Efficient minimal preference change

N. Alechina, F. Liu, B. Logan
2015 Journal of Logic and Computation  
In this paper, we study a minimal change approach to preference dynamics.  ...  We treat a set of preferences as a special kind of theory, and define minimal change preference contraction and revision operations in the spirit of the Alchourrón, Gärdenfors, and Makinson theory of belief  ...  Van Benthem & Liu [6] have proposed a dynamic epistemic logic (DEL)-based dynamic preference logic to model the changes before and after some informational event takes place.  ... 
doi:10.1093/logcom/exv027 fatcat:7wkvxjdfevdilmcb75hfoqyfmq
« Previous Showing results 1 — 15 out of 9,365 results