Filters








14,600 Hits in 3.6 sec

Belief Update within Propositional Fragments

Nadia Creignou, Raïda Ktari, Odile Papini
2018 The Journal of Artificial Intelligence Research  
While previous research works focused on belief revision, belief merging, and belief contraction, the problem of belief update within fragments of classical logic has not been addressed so far.  ...  Belief change within the framework of fragments of propositional logic is one of the main and recent challenges in the knowledge representation research area.  ...  Update operators within fragments The previous section presented refinements for any belief change operation. We now focus on refinements for belief update.  ... 
doi:10.1613/jair.5541 fatcat:bwu6rqrgbnga5j5votcwbt4e54

Belief Update within Propositional Fragments

Nadia Creignou, Odile Papini
2018 Journal of Artificial Intelligence Research   unpublished
While previous research works focused on belief revision, belief merging, and belief contraction, the problem of belief update within fragments of classical logic has not been addressed so far.  ...  Belief change within the framework of fragments of propositional logic is one of the main and recent challenges in the knowledge representation research area.  ...  Update Operators within Fragments The previous section presented refinements for any belief change operation. We now focus on refinements for belief update.  ... 
fatcat:in5gox3novhntoxfs4uhqu3e6e

Belief Update in the Horn Fragment

Nadia Creignou, Adrian Haret, Odile Papini, Stefan Woltran
2018 Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence  
In line with recent work on belief change in fragments of propositional logic, we study belief update in the Horn fragment.  ...  We start from the standard KM postulates used to axiomatize belief update operators; these postulates lend themselves to semantic characterizations in terms of partial (resp. total) preorders on possible  ...  Moreover, we want to extend our investigation of belief change operators within the Horn fragment to other prominent operators, e.g., erasure, which is to update what contraction is to belief revision  ... 
doi:10.24963/ijcai.2018/246 dblp:conf/ijcai/CreignouHPW18 fatcat:ktax7zzw55b4na3nlcrzhcpqs4

Presuppositions, probabilities and belief

David Edward Schueler, Brian Reese
2014 LSA Annual Meeting Extended Abstracts  
<br /><br />Our account includes a standard semantics for belief, but employs a probabilistic information state parameter whose value is dynamically updated.  ...  We add belief operators to a propositional fragment, provide a standard semantics, and explore the adequacy of the extension within Lassiter's general framework.  ...  We enrich the propositional fragment in Lassiter 2012 (which is based in turn on Klinedinst and Rothschild 2012) with indexed belief operators Bel a , where a ranges over individuals.  ... 
doi:10.3765/exabs.v0i0.2387 fatcat:clavuf63njbvpcopgwxrxmgwf4

The science of belief: A progress report

Nicolas Porot, Eric Mandelbaum
2020 Wiley Interdisciplinary Reviews: Cognitive Science  
Independent research supports the existence of a system of fragmented belief storage: one that relies on large numbers of causally isolated, context-sensitive stores of belief in memory.  ...  One system adheres, mostly, to epistemological norms of updating; the other, the psychological immune system, functions to guard our most centrally held beliefs from potential inconsistency with newly  ...  But one might also desire more direct evidence for the LoT in belief updating.  ... 
doi:10.1002/wcs.1539 pmid:32627423 fatcat:qwdz7lokuravffzd7nm24bdcwu

Page 3544 of Mathematical Reviews Vol. , Issue 2004e [page]

2004 Mathematical Reviews  
Revision operates on belief bases, while updating is defined on belief states.  ...  From the introduction: “In this paper, we show how updating and revision may be realized within a (generalized) probabilistic framework.  ... 

Propositional Update Operators Based on Formula/Literal Dependence

Andreas Herzig, Jerome Lang, Pierre Marquis
2013 ACM Transactions on Computational Logic  
This is an author-deposited version published in : http://oatao.univ-toulouse.fr/ Eprints ID : 12416 To link to this article : We present and study a general family of belief update operators in a propositional  ...  It follows that several operators of our family are interesting alternatives to previous belief update operators.  ...  Many belief update operators in a propositional setting have been proposed in the literature.  ... 
doi:10.1145/2499937.2499945 fatcat:c6gh4nmfxjailbu7qzom6yztlm

Conditioning and Interpretation Shifts

Jan-Willem Romeijn
2012 Studia Logica: An International Journal for Symbolic Logic  
In this paper I show that interpretation shifts can be modeled in terms of updating by conditioning.  ...  The model derives from the knowledge structures developed by Fagin et al [8] , and hinges on a distinction between the propositional and informational content of sentences.  ...  In principle we can refine the set of epistemic states within each world further, to include beliefs of Alice about Bob's beliefs, and so on.  ... 
doi:10.1007/s11225-012-9415-x fatcat:bitjj7olt5gkzlfxxxx6pwzdc4

Introduction to the Special Issue on Logic and the Foundations of Game and Decision Theory (LOFT12)

Giacomo Bonanno, Wiebe van der Hoek, Andrés Perea
2018 Studia Logica: An International Journal for Symbolic Logic  
In the paper "The monodic fragment of Propositional Term Modal Logic", R.  ...  They study the monodic fragment of propositional TML (the monodic fragment of a quantified logic is a syntactic restriction where one allows at most one free variable in the scope of any modal formula)  ... 
doi:10.1007/s11225-018-9803-y fatcat:66cpo7oswnejphheefmqqyk6cm

The Topology of Belief, Belief Revision and Defeasible Knowledge [chapter]

Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets
2013 Lecture Notes in Computer Science  
We also give a topological semantics for conditional belief and show its connection to the operation of updating with "hard information" (modeled by restricting the topology to a subspace).  ...  We present a new topological semantics for doxastic logic, in which the belief modality is interpreted as the closure of the interior operator.  ...  The fact that conditional beliefs pre-encode belief updates is now captured by the following observation: Proposition 9.  ... 
doi:10.1007/978-3-642-40948-6_3 fatcat:fhjlhz4uxzgrvhla5awifd57ce

Public Disagreement

Rajiv Sethi, Muhamet Yildiz
2009 Social Science Research Network  
If the number of individuals is large, communication breaks down entirely in the sense that disagreement in public beliefs is approximately equal to disagreement in prior beliefs.  ...  Members of di¤erent social groups often hold widely divergent public beliefs regarding the nature of the world in which they live.  ...  Expected bias is smallest in integrated societies (where priors are observable both within and between social groups) and largest in fragmented societies (where priors are unobservable even within social  ... 
doi:10.2139/ssrn.1345484 fatcat:22lvbdu5pvc3dd24gcolxzpsoi

Public Disagreement

Rajiv Sethi, Muhamet Yildiz
2012 American Economic Journal: Microeconomics  
If the number of individuals is large, communication breaks down entirely in the sense that disagreement in public beliefs is approximately equal to disagreement in prior beliefs.  ...  Members of di¤erent social groups often hold widely divergent public beliefs regarding the nature of the world in which they live.  ...  Expected bias is smallest in integrated societies (where priors are observable both within and between social groups) and largest in fragmented societies (where priors are unobservable even within social  ... 
doi:10.1257/mic.4.3.57 fatcat:rdwr7gml65fyhdujykb4fyzhka

Context Probabilism [chapter]

Seth Yalcin
2012 Lecture Notes in Computer Science  
We investigate a basic probabilistic dynamic semantics for a fragment containing conditionals, probability operators, modals, and attitude verbs, with the aim of shedding light on the prospects for adding  ...  A textbook propositional dynamic semantics Assume a propositional language L containing negation, conjunction, epistemic might (♦), an indicative conditional operator (→), a belief operator (B), a knowledge  ...  Such matters depends on the particular goals an interests of the interlocutors, and do not fall within the scope of linguistic pragmatics per se.  ... 
doi:10.1007/978-3-642-31482-7_2 fatcat:czyu4bblrrhttkzm6cedq5erdu

Grammar in dialogue [article]

Andy Lücking, Jonathan Ginzburg, Robin Cooper
2021 Zenodo  
With regard to the notion of common ground, it is argued how to complement CONTEXT by a dynamic update semantics.  ...  This mechanism entails an additional qualification compared to a static mutual belief context: dialogue update does not abstract over the individual dialogue partners.  ...  A dialogue move does not present the same content to each of the dialogue partners, nor does the occurrence of a move lead automatically to an update of the common ground (or mutual beliefs).  ... 
doi:10.5281/zenodo.5599869 fatcat:b3zxmsajz5hivgce2jogtqoire

Understanding "Not-Understood": Towards an Ontology of Error Conditions for Agent Communication [chapter]

Anita Petrinjak, Renée Elio
2003 Lecture Notes in Computer Science  
It also defines which agent beliefs may be updated, revised, or accessed through a communication act from another agent in a particular role.  ...  As such, not-understood messages constitute a kind of 'run-time error' that signals mismatches between agents' respective belief states, in terms of the general interaction model that defines legal and  ...  Here is a portion of model that captures these last two components: This model fragment indicates that agent j's beliefs about the relevance of its task can be updated via an inform act from agent i, if  ... 
doi:10.1007/3-540-44886-1_29 fatcat:knpfulpxhbc4xk6ivpc6xcg6zu
« Previous Showing results 1 — 15 out of 14,600 results