Inductive modeling of discrete event systems: A TMS-based non-monotonic reasoning approach.

Persistent Link:
http://hdl.handle.net/10150/187163
Title:
Inductive modeling of discrete event systems: A TMS-based non-monotonic reasoning approach.
Author:
Sarjoughian, Hessam.
Issue Date:
1995
Publisher:
The University of Arizona.
Rights:
Copyright © is held by the author. Digital access to this material is made possible by the University Libraries, University of Arizona. Further transmission, reproduction or presentation (such as public display or performance) of protected items is prohibited except with permission of the author.
Abstract:
In this presentation, we propose a framework for inductive modeling of discrete-event systems called Discrete-event Inductive Reasoner, DIR. It is based on systems theory and non-monotonic logic. We present a new representation for a finite set of discrete-event observed input/output time segments called Iterative IOFO (Input/Output Function Observation) Specification. We also introduce a novel use of non-monotonic logic allowing DIR to make tentative decisions. With the inclusion of additional data, non-monotonic logic ensures that any of its prior decisions that becomes violated is retracted properly. Due to the underlying features of non-monotonic reasoning, DIR supports incremental refinement/extension of the model iterative IOFO specification. 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.
Type:
text; Dissertation-Reproduction (electronic)
Degree Name:
Ph.D.
Degree Level:
doctoral
Degree Program:
Electrical and Computer Engineering; Graduate College
Degree Grantor:
University of Arizona
Committee Chair:
Cellier, Francois; Zeigler, Bernard

Full metadata record

DC FieldValue Language
dc.language.isoenen_US
dc.titleInductive modeling of discrete event systems: A TMS-based non-monotonic reasoning approach.en_US
dc.creatorSarjoughian, Hessam.en_US
dc.contributor.authorSarjoughian, Hessam.en_US
dc.date.issued1995en_US
dc.publisherThe University of Arizona.en_US
dc.rightsCopyright © is held by the author. Digital access to this material is made possible by the University Libraries, University of Arizona. Further transmission, reproduction or presentation (such as public display or performance) of protected items is prohibited except with permission of the author.en_US
dc.description.abstractIn this presentation, we propose a framework for inductive modeling of discrete-event systems called Discrete-event Inductive Reasoner, DIR. It is based on systems theory and non-monotonic logic. We present a new representation for a finite set of discrete-event observed input/output time segments called Iterative IOFO (Input/Output Function Observation) Specification. We also introduce a novel use of non-monotonic logic allowing DIR to make tentative decisions. With the inclusion of additional data, non-monotonic logic ensures that any of its prior decisions that becomes violated is retracted properly. Due to the underlying features of non-monotonic reasoning, DIR supports incremental refinement/extension of the model iterative IOFO specification. 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.en_US
dc.typetexten_US
dc.typeDissertation-Reproduction (electronic)en_US
thesis.degree.namePh.D.en_US
thesis.degree.leveldoctoralen_US
thesis.degree.disciplineElectrical and Computer Engineeringen_US
thesis.degree.disciplineGraduate Collegeen_US
thesis.degree.grantorUniversity of Arizonaen_US
dc.contributor.chairCellier, Francoisen_US
dc.contributor.chairZeigler, Bernarden_US
dc.contributor.committeememberBahill, Terryen_US
dc.contributor.committeememberRozenblit, Jerzyen_US
dc.contributor.committeememberWang, Fei-yueen_US
dc.identifier.proquest9534670en_US
All Items in UA Campus Repository are protected by copyright, with all rights reserved, unless otherwise indicated.