We present an approach to diagnosis that first compiles a first-order system description into a propositional representation, and then solves the diagnostic problem as a linear programming instance. The compilation method employs techniques from relevance reasoning and may exploit structural features of the system. To solve diagnostic problems, we use cost-based hypothetical reasoning as an int...

A theory of evidential probability is developed from two assumptions: (1) the evidential probability of a proposition is its probability conditional on the total evidence; (2) one's total evidence is one's total knowledge. Evidential probability is distinguished from both subjective and objective probability. Loss as well as gain of evidence is permitted. Evidential probability is embedded with...

Little of 150 years of research in Cognitive Neurosciences, Human Factors, and the mathematics of Production Management have found their way into educational policy and certainly not into the classroom or in the production of educational materials in any meaningful or practical fashion. Whilst more mundane concepts of timing, sequencing, spatial organisation, and Gestalt principles of perceptio...