Will It Reach the Top? Prediction in the Mechanics World.

We describe an extension of a mechanics problem solving program to the set of “roller coaster” problems, i.e. problems about the motion of a particle on a complex path. The reasoning strategy adopted by the program is described and compared to earlier work in this domain. Conclusions are drawn about the representation of motion and prediction. Questions are raised about Frames and Multiple Representations

Strategic Issues, Problems and Challenges in Inductive Theorem Proving

Abstract(Automated) Inductive Theorem Proving (ITP) is a challenging field in automated reasoning and theorem proving. Typically, (Automated) Theorem Proving (TP) refers to methods, techniques and tools for automatically proving general (most often first-order) theorems. Nowadays, the field of TP has reached a certain degree of maturity and powerful TP systems are widely available and used. The situation with ITP is strikingly different, in the sense that proving inductive theorems in an essentially automatic way still is a very challenging task, even for the most advanced existing ITP systems. Both in general TP and in ITP, strategies for guiding the proof search process are of fundamental importance, in automated as well as in interactive or mixed settings. In the paper we will analyze and discuss the most important strategic and proof search issues in ITP, compare ITP with TP, and argue why ITP is in a sense much more challenging. More generally, we will systematically isolate, investigate and classify the main problems and challenges in ITP w.r.t. automation, on different levels and from different points of views. Finally, based on this analysis we will present some theses about the state of the art in the field, possible criteria for what could be considered as substantial progress, and promising lines of research for the future, towards (more) automated ITP

Expert Systems in Transport – Part 1: An Introduction to Expert Systems.

This report describes what expert systems are. It has been written to introduce the concepts involved, and to some extent the techniques, for those who have no previous acquaintance with such systems, but who are concerned with establishing quite what such systems might have to offer, and what is involved in developing them, in their field of application. Ways in which knowledge and uncertainty are represented in expert systems are described, and illustrated by reference to some existing expert systems. The report stems from a project designed to assess the potential for establishing expert systems in the transport field, and discusses the types of expert system package which might be useful in the remaining stages of the project. It includes a useful set of references and a g1ossary.A preliminary assessment of potential transport applications and the implications for the remainder of the project are described in a companion report, ITS Technical Note 145