We refine our algebraic axiomatization in [8, 9] of epistemic actions and epistemic update (notions defined in [5, 6] using a relational, Kripke-style semantics), to incorporate a mechanism for dynamic belief revision in a multi-agent setting. Our approach has a number of novel features, when compared with traditional belief revision systems such as AGM [2]. Firstly: while traditional belief re...

Is knowledge justified true belief? Most philosophers believe that the answer is clearly ‘no’, as demonstrated by Gettier cases. But Gettier cases don’t obviously refute the traditional view that knowledge is justified true belief (JTB). There are ways of resisting Gettier cases, at least one of which is partly successful. Nevertheless, when properly understood, Gettier cases point to a flaw in...

belief in the lofty positions and excellences of the shi’īte imams (a.s.) and having faith in their miraculous acts and dominion over the world affairs underlies the authentic doctrine of unconditional guardianship (wilāya al-takwīnī). when the imams’ devotees try to maintain a demigod status for the imams in line with this – possibly loving and devotional – belief beyond the conventional limit...

When tested with traditional false-belief tasks, which require answering a standard question about the likely behavior of an agent with a false belief, children perform below chance until age 4 y or later. When tested without such questions, however, children give evidence of false-belief understanding much earlier. Are traditional tasks difficult because they tap a more advanced form of false-...

The goal of this study was to assess the relationship between the Five Factor Model of personality and the belief in the paranormal. Participants (N=307) were students from the University of Zagreb, Croatia. The measures used were the IPIP version of the Five Factor Model questionnaire (Goldberg et al., 2006) along with the Revised Paranormal Belief Scale (Tobacyk, 1988). The factor analysis of...

On many traditional theories of belief, your belief state is represented by an assignment of credences to propositions, or sets of possible worlds. If you are rational, your credence distribution will be a probability measure. Traditional theories of belief fit with a standard Bayesian theory of rational belief change: on learning a proposition, you must update your belief state by conditionali...

Authors and affiliations: 5 1,2,* Katherine M. Steele, 2,3,4 Matthew C. Tresch, and 2,3,4 Eric J. Perreault 6 7 1 Mechanical Engineering, University of Washington, Seattle, WA, USA 8 2 Sensorimotor Performance Program, Rehabilitation Institute of Chicago, Chicago, IL, USA 9 3 Biomedical Engineering, Northwestern University, Evanston, IL, USA 10 4 Physical Medicine & Rehabilitation, Northwestern...

Knowledge representation and reasoning systems run into danger when they attempt to implement traditional belief change theories intended for ideal reasoning agents. Resource limitations can cause a system that guarantees consistency to fail. We present a belief space whose formalization incorporates the fact that it is not guaranteed to be deductively closed (e.g. unknown implicit beliefs migh...

Stereo matching is one of the most active research areas in computer vision. In this paper, a novel stereo matching is proposed that utilizes Census measure and pixels-based intensity measure into data term of Belief Propagation algorithm. Traditional data term of Belief Propagation lies on pixels-based intensity measure, and its effect is not very well. We combine intensity and Census algorith...