This paper presents a framework in which priorities in a belief base can be specified and used in the resolution of conflicts. Priorities are given in terms of a partial pre-order associated with the sentences in the base. When the new information is given the highest priority, it is accepted, thus complying with the success postulate of the AGM theory of belief revision. However, in general, p...

The main aim of the present paper is to use a proof system for hybrid modal logic to formalize what are called falsebelief tasks in cognitive psychology, thereby investigating the interplay between cognition and logical reasoning about belief. We consider two different versions of the Smarties task, involving respectively a shift of perspective to another person and to another time. Our formali...

Evidence can be complex in various ways: e.g., it may exhibit structural complexity, containing information about causal, hierarchical or logical structure as well as empirical data, or it may exhibit combinatorial complexity, containing a complex combination of kinds of information. This paper examines evidential complexity from the point of view of Bayesian epistemology, asking: how should co...

Most belief change operators in the AGM tradition assume an underlying plausibility ordering over the possible worlds which is transitive and complete. A unifying structure for these operators, based on supplementing the plausibility ordering with a second, guiding, relation over the worlds was presented in [Booth et al., 2004]. However it is not always reasonable to assume completeness of the ...

In this paper we introduce and study credibility-limited improvement operators. The idea is to accept the new piece of information if this information is judged credible by the agent, so in this case a revision is performed. When the new piece of information is not credible then it is not accepted (no revision is performed), but its plausibility is still improved in the epistemic state of the a...

We investigate the discrete (finite) case of the Popper-Renyi theory of conditional probability, introducing discrete conditional probabilistic models for knowledge and conditional belief, and comparing them with the more standard plausibility models. We also consider a related notion, that of safe belief, which is a weak (non-negatively introspective) type of “knowledge”. We develop a probabil...

By basing interpretation on belief, Davidson incurs heavy constraints regarding similarly of belief across speakers. Among these constraints is taking variance of belief to entail error. It is demonstrated that enriching the structure of belief allows a relaxation of normative criteria adopted to ensure similarity. (This enrichment takes the form of assent as defined by de Sousa, with the compl...

A probabilistic framework for representing and visually recognizing complex multi-agent action is presented. Motivated by work in model-based object recognition and designed for the recognition of action from visual evidence, the representation has three components: (1) temporal structure descriptions representing the logical and temporal relationships between agent goals, (2) belief networks f...

A proper assessment of the relation between discourse structure and speaker's communicat ive intentions requires a better understanding of communicative intentions. This contribution proposes that there is a crucial difference between intending the hearer to entertain a certain belief (or desire, or intention), and intending to affect the strength with which the hearer entertains the belief (or...

In the present study, we investigated discrepancies between two components of stereotyping by means of the popular notion that women are better at multitasking behaviors: the cognitive structure in individuals (personal belief) and the perceived consensus regarding certain beliefs (perceived belief of groups). With focus on this notion, we examined whether there was empirical evidence for the s...