Probabilistic Methodology and Techniques for Artefact Conception and Development

The purpose of this paper is to make a state of the art on probabilistic methodology and techniques for artefact conception and development. It is the 8th deliverable of the BIBA (Bayesian Inspired Brain and Artefacts) project. We first present the incompletness problem as the central difficulty that both living creatures and artefacts have to face: how can they perceive, infer, decide and act efficiently with incomplete and uncertain knowledge?. We then introduce a generic probabilistic formalism called Bayesian Programming. This formalism is then used to review the main probabilistic methodology and techniques. This review is organized in 3 parts: first the probabilistic models from Bayesian networks to Kalman filters and from sensor fusion to CAD systems, second the inference techniques and finally the learning and model acquisition and comparison methodologies. We conclude with the perspectives of the BIBA project as they rise from this state of the art

Effective primary pedagogical strategies in English and mathematics in key stage 2: a study of year 5 classroom practice drawn from the EPPSE 3-16 longitudinal study

Reference:DFE-RR129 Publication Type: Research Audience: Researchers, Statisticians, Teachers The Effective Provision of Pre-School, Primary and Secondary Education (EPPSE 3-16) project is a large scale, longitudinal, mixed-method research study that has followed the progress of 3000+ children since 1997 from the age of 3 to 16+ years. A continuing question for EPPSE was whether pre- and primary school experiences or children's early home learning environment (HLE) could reduce inequality. The study aimed to examine the differences between poor, average and excellent teachers, and how their teaching practices could be linked to the effectiveness of schools. While the original studies found that parents' socio-economic status (SES) and qualifications were significantly related to child outcomes, they also found that the quality of the early HLE was important. Also important, and particularly relevant to this study, was the extent to which educational influences (pre-school and primary school quality and effectiveness) also shaped children’s educational outcomes. During the primary phase (EPPE 3-11) of the longitudinal study the research team conducted contextualised, value-added analyses for all primary schools in England across three years (2002 – 2004) from Key Stage 1 to Key Stage 2. These analyses, based on multi-level modelling, considered children’s progress and attainment while controlling for a range of background factors (e.g. gender)

Use Cases for Abnormal Behaviour Detection in Smart Homes

While people have many ideas about how a smart home should react to particular behaviours from their inhabitant, there seems to have been relatively little attempt to organise this systematically. In this paper, we attempt to rectify this in consideration of context awareness and novelty detection for a smart home that monitors its inhabitant for illness and unexpected behaviour. We do this through the concept of the Use Case, which is used in software engineering to specify the behaviour of a system. We describe a set of scenarios and the possible outputs that the smart home could give and introduce the SHMUC Repository of Smart Home Use Cases. Based on this, we can consider how probabilistic and logic-based reasoning systems would produce different capabilities

Reading in a foreign language: Strategic variation between readers of differing proficiency

For university language students who are required to deal with literary texts for linguistic or literary purposes, there is hardly any transitional stage between short adapted expository texts, read in the early stages of language learning, and complex literary texts, encountered at university in the literature class. Language readers must then make a substantial mental effort to understand texts intended for a native readership. In challenging reading mode, the quality of reading depends on the efficiency of problem-solving operations, including evaluative and executive strategies, put into place in order to attempt to fill in the comprehension gaps present in complex texts. Although reading strategies used by foreign language learners have been identified and categorised by research, the conditions of their use and their relationships are still unclear. Moreover, to my knowledge, no empirical investigation has focused specifically on comprehension monitoring in the context of foreign language literary texts. Literature instruction would benefit from such a study. Using verbal reports to elicit data, this study proposes to examine how proficient and less proficient university students of French, at intermediate level of instruction, implement problem-solving strategies when reading literary texts. Strategies such as guessing at words, consulting a dictionary, and translating mentally, are studied in relation to their contribution to the overall monitoring cycle. The results obtained indicate that proficient and less proficient readers tend to use the same strategies but with different purposes. The study demonstrates that the major difference between the two groups of respondents resides in ability some readers have to integrate meaning and construct text in a cohesive and synthetic fashion

A framework for deadlock detection in core ABS

We present a framework for statically detecting deadlocks in a concurrent object-oriented language with asynchronous method calls and cooperative scheduling of method activations. Since this language features recursion and dynamic resource creation, deadlock detection is extremely complex and state-of-the-art solutions either give imprecise answers or do not scale. In order to augment precision and scalability we propose a modular framework that allows several techniques to be combined. The basic component of the framework is a front-end inference algorithm that extracts abstract behavioural descriptions of methods, called contracts, which retain resource dependency information. This component is integrated with a number of possible different back-ends that analyse contracts and derive deadlock information. As a proof-of-concept, we discuss two such back-ends: (i) an evaluator that computes a fixpoint semantics and (ii) an evaluator using abstract model checking.Comment: Software and Systems Modeling, Springer Verlag, 201

A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes

The study of algebraic modelling of labelled non-deterministic concurrent processes leads us to consider a category LB , obtained from a complete meet-semilattice B and from B-valued equivalence relations. We prove that, if B has enough properties, then LB presents a two-fold internal logical structure, induced by two doctrines definable on it: one related to its families of subobjects and one to its families of regular subobjects. The first doctrine is Heyting and makes LB a Heyting category, the second one is Boolean. We will see that the difference between these two logical structures, namely the different behaviour of the negation operator, can be interpreted in terms of a distinction between non-deterministic and deterministic behaviours of agents able to perform computations in the context of the same process. Moreover, the sorted first-order logic naturally associated with LB can be extended to a modal/temporal logic, again using the doctrinal setting. Relations are also drawn to other computational model

Introduction to linear logic and ludics, part II

This paper is the second part of an introduction to linear logic and ludics, both due to Girard. It is devoted to proof nets, in the limited, yet central, framework of multiplicative linear logic and to ludics, which has been recently developped in an aim of further unveiling the fundamental interactive nature of computation and logic. We hope to offer a few computer science insights into this new theory