A temporal logic of belief and actions (TLBA) is considered. The TLBA allows us to express informational and dynamic properties of computational agents. The considered fragment of TLBA allows one: (1) to present a deduction-based structured decision procedure; (2) to separate a decision procedure for so-called induction-free formulas and (3) to use only logical axioms for such formulas. The mai...

Traditional accounts of belief change have been crificised for placing undue emphasis on the new belief provided as input. A recent proposal to address Such issues is the framework of Ghose and Goebel for non-pdofitised belief change based on default theories [8]. A novel feature of this approach is the introduction of disbeliefs alongside beliefs which allows for a view of belief contraction a...

The present paper examined relationships between schizotypy (measured by the Oxford-Liverpool Inventory of Feelings and Experience; O-LIFE scale brief), belief in the paranormal (assessed via the Revised Paranormal Belief Scale; RPBS) and proneness to statistical bias (i.e., perception of randomness and susceptibility to conjunction fallacy). Participants were 254 volunteers recruited via conve...

A knowledge representation and reasoning system must be able to deal with contradictions and revise beliefs. There has been much research in belief revision in the last decade, but this research tends to be either in the Coherence camp (AGM) or the Foundations (TMS) camp with little crossover. Most theoretical postulates on belief revision and belief contraction assume a deductively closed beli...

We propose a robust classifier to predict buying intentions based on user behaviour within a large e-commerce website. In this work we compare traditional machine learning techniques with the most advanced deep learning approaches. We show that both Deep Belief Networks and Stacked Denoising auto-Encoders achieved a substantial improvement by extracting features from high dimensional data durin...

Traditional accounts of belief change have been criticised for placing undue emphasis on the new belief provided as input. A recent proposal to address such issues is the framework of Ghose and Goebel for non-prioritised belief change based on default theories [8]. A novel feature of this approach is the introduction of disbeliefs alongside beliefs which allows for a view of belief contraction ...

Evidence is accumulating that infants are sensitive to people's false beliefs, whereas children pass the standard false belief test at around 4 years of age. Debate currently centres on the nature of early and late understanding. We defend the view that early sensitivity to false beliefs shown in 'online tasks' (where engagement with ongoing events reflects an expectation of what will happen wi...

This article analyzes and compares several approaches of formalizing the notion of evidence in the context of general-purpose reasoning system. In each of these approaches, the notion of evidence is defined, and the evidence-based degree of belief is represented by a binary value, a number (such as a probability), or two numbers (such as an interval). The binary approaches provide simple ways t...