Title :
Making use of contradictory behavior information in qualitative reasoning
Author_Institution :
Dept. of Comput. Eng., Booazici Univ., Istanbul, Turkey
fDate :
8/1/1999 12:00:00 AM
Abstract :
We present a technique for automatically determining certain pairs of qualitative simulation predictions to be mutually contradictory. This leads the simulator to produce more informative outputs, which results in improved performance in reasoning tasks like diagnosis, model revision, and deletion of spurious “timelines” containing the input state
Keywords :
Boolean functions; common-sense reasoning; simulation; temporal logic; contradictory behavior information; diagnosis; model revision; qualitative reasoning; qualitative simulation predictions; Analytical models; Light sources; Performance analysis; Position measurement; Predictive models; Roads;
Journal_Title :
Pattern Analysis and Machine Intelligence, IEEE Transactions on
