Qualitative Reasoning in an Expert System Framework.
Abstract
Explanation capabilities of an expert system in the domain of air traffic control is examined. Qualitative reasoning is used to justify heuristically generated plans. The justification is based on mathematical knowledge of aircraft performance which is computationally too complex for use in the normal planning process. Equations are represented in a semantic network which provides a structure in which qualitative values are propagated. The approach is unique in three aspects. First, an abstraction level is used. The equations can be interpreted in terms of Newtonian mechanics as applied to the one dimensional motion. Second, the reasoning process is bidirectional. Third, the computer generates the semantic structure based on a symbolic series expansion of the equations. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- May 01, 1983
- Accession Number
- ADA135444
Entities
People
- S. E. Cross
Organizations
- Air Force Institute of Technology