Phone: +1(480)965-3983
Fax: +1(480)965-2751
Email:
Hessam.Sarjoughian@ASU.Edu
To implement the DIR, we map the iterative IOFO into a logic-based representation suitable for Logic-based Truth Maintenance System, a form of non-monotonic reasoning mechanism. Abstraction mechanisms are defined that are capable of predicting unobserved input/output time segments, given some existing IO segments and some assumptions. The systems theory framework enables us to develop the means to ensure the appropriate use of abstractions. In this way, the model is incrementally extended by predicting and retaining unobserved IO segments in a well-defined fashion.
Also, we discuss an implemented prototype of DIR called Logic-based Discrete-event Inductive Reasoner, LDIR. Two examples are used to discuss LDIR's features. We give some heuristic metrics for quantitative evaluation of LDIR's predictions. We provide general guidelines for the evaluation of DIR and place the methodology within existing inductive modeling approaches. We conclude with some shortcomings of our approach and speculate on future research directions.
Interested in reading the entire thesis? (256 pages, 9,573,548 bytes, pdf)