Abstract The present research has as its goal the development of Artificial Intelligence (AI) tools to help flight crews cope with in-flight malfunctions. The relevant tasks in such situations include diagnosis, prognosis, and recovery plan generation. Investigation of the information requirements of these tasks has shown that the determination of paths figures largely: what components or systems are connected to what others, how they are connected, whether connections satisfying certain criteria exist, and a number of related queries. The formulation of such queries frequently requires capabilities of the second-order predicate calculus. We describe an information system that features second-order logic capabilities, and is oriented toward efficient formulation and execution of such queries.
[1]
Ellis Horowitz,et al.
Fundamentals of Data Structures
,
1984
.
[2]
William F. Clocksin,et al.
Programming in Prolog
,
1981,
Springer Berlin Heidelberg.
[3]
Guy L. Steele,et al.
Common Lisp the Language
,
1984
.
[4]
Stefan Feyock,et al.
Simulation-based reasoning about the physical propagation of fault effects
,
1990
.
[5]
Paul C. Schutte.
Real-time fault monitoring for aircraft applications using quantitative simulation and expert systems
,
1989
.
[6]
L. Steinberg,et al.
Robust fault diagnosis of physical systems in operation
,
1990
.
[7]
Eugene Charniak,et al.
Artificial Intelligence Programming
,
1987
.