John O. Everett

CyclePad: an articulate virtual laboratory for engineering thermodynamics

One of the original motivations for research in qualitative physics was the development of intelligent tutoring systems and learning environments for physical domains and complex systems. This article demonstrates how a synergistic combination of qualitative reasoning and other AI techniques can be used to create an intelligent learning environment for students learning to analyze and design thermodynamic cycles. Pedagogically this problem is important because thermodynamic cycles express the key properties of systems which interconvert work and heat, such as power plants, propulsion systems, refrigerators, and heat pumps, and the study of thermodynamic cycles occupies a major portion of an engineering student’s training in thermodynamics. This article describes CyclePad, a fully implemented articulate virtual laboratorythat captures a substantial fraction of the knowledge in an introductory thermodynamics textbook and provides explanations of calculations and coaching support for students who are learning the principles of such cycles. CyclePad employs a distributed coaching model, where a combination of on-board facilities and a server-based coach accessed via email provide help for students, using a combination of teleological and case-based reasoning. CyclePad is a fielded system, in routine use in classrooms scattered all over the world. We analyze the combination of ideas that made CyclePad possible and comment on some lessons learned about the utility of various AI techniques based on our experience in fielding CyclePad.

Making ontologies work for resolving redundancies across documents

Producing normalized representations from different ways of expressing the same idea.

Preventing existence

We discuss the treatment of prevention statements in both naturallanguage semantics and knowledge representation, with particularregard to existence entailments. First order representations withan explicit existence predicate are shown to not adequately capturethe entailments of prevention statements. A linguistic analysis isframed in a higher order intensional logic, employing a Fregeannotion of existence as instantiation of a concept. We discuss howthis can be mapped to a Cyc style knowledge representation.