2026-09-21T01:50:30Z https://www.ideals.illinois.edu/oai-pmh

oai:www.ideals.illinois.edu:2142/69273 2023-07-11 col_2142_5131 col_2142_8888 com_2142_5130 com_2142_8887 com_2142_234

Cross, Stephen Edward 2014-12-15T19:04:40Z 2014-12-15T19:04:40Z 10000-01-01 1983 1983 Expert systems typically utilize a declarative and uniform knowledge representation. The approach offers many operational advantages (e.g., a simple control structure), but is limited to expressing an expert's surface level knowledge in the form of pattern-decision pairs. The computer should have access to 'deeper' knowledge if it is to understand and justify its planning actions. Consider a domain where knowledge in the form of equations and algorithms is computationally too complex for use by the human practitioner. How should mathematical knowledge be represented to aid in the improvement and justification of plans? In the task domain of this research, enroute air traffic control, heuristically generated plans are justified by applying qualitative reasoning to aircraft performance equations. Equations are represented in a semantic network where nodes represent variables and links represent dependent variable influences. The approach is unique in three aspects. First, a level of abstraction is included. Domain equations may be computationally too complex for a human expert to use. However, the equations can be interpreted in terms of a naive representation of Newton's laws as applied to one dimensional motion thus abstracting the influences inherent in the equations. Second, the approach enables bidirectional reasoning. Qualitative knowledge can be used to direct quantitative reasoning. Additionally, when new equations are implemented, their meaning is represented explicitly and interpreted using the existing qualitative knowledge. Third, the computer constructs its own representation of the equations based on a symbolic series expansion. Made available in DSpace on 2014-12-15T19:04:40Z (GMT). No. of bitstreams: 1 8409903.pdf: 4098235 bytes, checksum: cc0c728ab802a935ac550c9b3b95cc15 (MD5) Previous issue date: 1983 Embargo set by: Seth Robbins for item 69439 Lift date: Forever Reason: Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs U of I Only 138 p. Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1983. http://hdl.handle.net/2142/69273 (UMI)AAI8409903 Engineering, Electronics and Electrical Qualitative Reasoning in an Expert System Framework text Electrical Engineering Electrical Engineering University of Illinois at Urbana-Champaign Dissertation Ph.D.