Ontic is an interactive system for developing and verifying mathematics. Ontic's verification mechanism is capable of automatically finding and applying information from a library containing hundreds of mathematical facts. Starting with only the axioms of Zermelo-Fraenkel set theory, the Ontic…

In a Communication Bootstrapping system, peer components with different perceptual worlds invent symbols and syntax based on correlations between their percepts. I propose that Communication Bootstrapping can also be used to acquire functional definitions of words and causal reasoning knowledge.…

We prove that the scale map of the zero-crossings of almost all signals filtered by the second derivative of a gaussian of variable size determines the signal uniquely, up to a constant scaling and a harmonic function. Our proof provides…

KAM is a computer program that can automatically plan, monitor, and interpret numerical experiments with Hamiltonian systems with two degrees of freedom. The program has recently helped solve an open problem in hydrodynamics. Unlike other approaches to qualitative reasoning about…

The goal of the commodity expert project was to develop a prototype program that would act as an intelligent assistant to a commodity market analyst. Since expert analysis must deal with very large, yet incomplete, data bases of unreliable facts…

This thesis describes a methodology, a representation, and an implemented program for troubleshooting digital circuit boards at roughly the level of expertise one might expect in a human novice. Existing methods for model-based troubleshooting have not scaled up to deal…

When faced with challenging technical problems, R&D personnel would often turn to technical papers to seek inspiration for a solution. The building of a corpus of such papers and the easy retrieval of relevant papers by the user in his…

When researchers in the field of Applied Linguistics or L2 teachers
try to carry out any kind of research, several problems arise. The first
one is knowing how to start the process of ‘researching’. The second
problem, perhaps more frustrating,…

La aspiración actual de la educación científica de enseñar a las personas cómo enfrentarse a problemas, de desarrollar destrezas de alto
nivel intelectual al mismo tiempo que conocimientos específicos queda reducida en la enseñanza habitual de la física a la…

This thesis examines the relationship between moral experience and moral knowledge in contemporary analytic meta-ethics. It begins with a critical examination of the work of Michael Smith, notably his book The Moral Problem, which leaves out of consideration the notion…