A Temporal extension of Prolog

AbstractTemporal Prolog, a temporal logic extension of PROLOG, is presented. The primary criterion for the model selection has been its natural embedment into the logic programming paradigm. Under strong efficiency constraints, a first-order “reified” logic has been taken as a basis for the implementation. Allen's temporal constraint algorithm has been extended for treatment of retractable constraints. Their embedment into Temporal Prolog can be viewed as an instance of the Constraint Logic Programming paradigm. An example inspired by K. Forbus's Qualitative Process Theory illustrates how qualitative simulation and related tasks can be formulated in Temporal Prolog in a transparent and declarative way

An expert system for temporal planning with an application to runway configuration management

January 24, 1991Also issued as a Ph. D. thesis, Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 1991Includes bibliographical references (p. 100-105)This thesis describes an expert system to aid in the management of operations in complex qualitative domains characterized by multiple parallel activities with time-critical relationships. An extension to "standard" temporal logic required for reasoning about inferred allocation of resources and a detailed representation of temporally dependent facts, including persistence, is presented. The non-linear planning paradigm commonly used in planning programs is extended into the temporal domain to facilitate scheduling as well as ordering of plan steps. This enhancement requires new structures and analytical methods for the detection and resolution of serendipitous interactions and conflicts between proposed schedules. A computer implementation of these concepts is discussed in detail. The expert system is organized into three modules: the time map manager or temporal database manager which stores, organizes, and retrieves time dependent knowledge; the temporal system analyzer which uses this knowledge to forecast and analyze domain dynamics; and the planner/scheduler which formulates and schedules activities in order to satisfy goals generated by the temporal system analyzer. Finally, Tower Chief, an application of the system to scheduling runway configuration changes and maintenance at large airports, is described.Research supported by the National Aeronautics and Space Administratio