Forty participants from an introductory Psychology course were recruited based upon their self-reported beliefs in ESP (High, Medium, Low). Participants answered a packet of self report questionnaires, then underwent electroencephalographic (EEG) recording during eyes open and eyes closed resting baseline. Participants then completed "traditional" and "novelty enhanced" formats, of a multimodal...

The ramification problem concerns the characterisation of indirect effects of actions. This problem arises when a theory of action is integrated with a set of state constraints. So integrating state constraints to a solution of the frame problem must deal with the ramification problem. In the situation calculus a general solution to both the frame and ramification problems has been proposed. Th...

In this paper we introduce a category-theoretic formalisation of social network analysis. This generalises traditional graph-theoretic formalisations and facilitates a formal approach to statements and beliefs about social networks. We describe a formal semantics for belief in social networks, and we illustrate our formalisation by a case study drawn from organisational structure in the Gulf War.

The critics of the Comprehension Hypothesis (as presented e.g. in Krashen, 1985) have long held the belief that comprehension-based methods are inefficient. Even though they have conceded that they are more effective than the traditionally used methods and that comprehensible input is necessary for language acquisition, they still claim that the combination of both traditional and comprehension...

Traditional statistical and fuzzy approaches to describing uncertainty are continuous in the sense that we use a (potentially infinite) set of values from the interval [0; 1] to characterize possible degrees of uncertainty. In reality, experts describe their degree of belief by using one of the finitely many words from natural language; in this sense, the actual description of expert uncertaint...

The purpose of this study was to propose a new way of representing the structure of expectancy-value attitude and to investigate the implications of its representation. Expectancyvalue attitude was represented as a cognitive network of vertically and horizontally interconnected judgements about product attributes, using a structural equation modeling methodology. Results suggested that a struct...

There is a critical need for data-mining methods that can identify SNPs that predict among individual variation in a phenotype of interest and reverse-engineer the biological network of relationships between SNPs, phenotypes, and other factors. This problem is both challenging and important in light of the large number of SNPs in many genes of interest and across the human genome. A potentially...

Logical omniscience is a well known problem which makes traditional modal logics of knowledge, belief and intentions somewhat unrealistic from the point of view of modelling the behaviour of a resource bounded agent. We propose two logics which take into account ‘deliberation time’ but use a more or less standard possible worlds semantics with classical possible worlds.