The construction of expert problem-solving systems requires the development of techniques for using modular representations of knowledge without encountering combinatorial explosions in the solution effort. This report describes an approach to dealing with this problem based on making some knowledge…

Automated Program Analysis is the process of discovering decompositions of a system into sub-units such that the behavior of the whole program can be inferred from the behavior of its parts. Analysis can be employed to increase the explanatory power…

The computational metaphor which proposes the comparison of processes of mind to realizable or imaginable computer activities suggests a number of educational concerns. This paper discusses some of those concerns including procedural modes of knowledge representation and control knowledge ??owing…

I shall describe a model of the evolution of the rule-structured knowledge that serves as a cornerstone of our development of computer-based coaches. The key idea is a graph structure whose nodes represent rules, and whose links represent various evolutionary…

In this paper we look at some of the ingredients and processes involved in the understanding of mathematics. We analyze elements of mathematical knowledge, organize them in a coherent way and take note of certain classes of items that share…

We use analogy when we say something is a Cinderella story and when we learn about resistors by thinking about water pipes. We also use analogy when we learn subjects like Economics, Medicine and Law. This paper presents a theory…

This thesis demonstrates how the use of a global context can improve the power of a local character recognizer. The global context considered is a computer tutor of high school algebra that observes a student working algebra problems on a…

Defining qualified reasoning as reasoning containing such loose qualifying words as 'probably,' 'usually,' 'probable, 'likely,' 'ceteris paribus,' and 'primafacie, Ennis argues that typical cases of qualified reasoning, though they might be good arguments, are deductively invalid, implying that such arguments…

Natural history collections are the authoritative source of knowledge about the identity, evolutionary relationships, and attributes of species with which we share this planet. As such, collections of research specimens play a central and critical role in the conservation and…

There is no enough evidence about the effects of the new information and communication technologies (ICT) in Spain and how these ICT cause differences between regions. So, the aim of this work is to analyze the regional disparities relative to…