Generic and symbolic model-based diagnostic reasoner with highly scalable properties

Amit Misra; Gregory Provan; Gabor Karsai; George Bloor; Ethan Scarl

Generic and symbolic model-based diagnostic reasoner with highly scalable properties

Amit Misra
, Gregory Provan
, Gabor Karsai
, George Bloor
, Ethan Scarl

Research output: Contribution to journal › Article › peer-review

Abstract

Modern computing technologies - hardware, software, and algorithmic - have enabled the deployment of more exacting diagnostic reasoning (DR) systems than has heretofore been possible. Compromises in algorithm and modeling paradigm complexity, due to computational throughput and state-space explosion constraints, have historically dominated practical applications of such systems. This paper describes approaches that have been shown to be applicable in a wide set of domains. The algorithms used are highly scalable and support a symbolic modeling formalism for analyzing the properties of the complex, dynamic systems. Moreover, analysis of simultaneous failures occurs as a natural byproduct of this formalism.

Original language	English
Pages (from-to)	3154-3160
Number of pages	7
Journal	Proceedings of the IEEE International Conference on Systems, Man and Cybernetics
Volume	4
Publication status	Published - 1998
Event	Proceedings of the 1998 IEEE International Conference on Systems, Man, and Cybernetics. Part 3 (of 5) - San Diego, CA, USA Duration: 11 Oct 1998 → 14 Oct 1998

Cite this

@article{185e74cdafe64e93b9496f4e12799e6c,

title = "Generic and symbolic model-based diagnostic reasoner with highly scalable properties",

abstract = "Modern computing technologies - hardware, software, and algorithmic - have enabled the deployment of more exacting diagnostic reasoning (DR) systems than has heretofore been possible. Compromises in algorithm and modeling paradigm complexity, due to computational throughput and state-space explosion constraints, have historically dominated practical applications of such systems. This paper describes approaches that have been shown to be applicable in a wide set of domains. The algorithms used are highly scalable and support a symbolic modeling formalism for analyzing the properties of the complex, dynamic systems. Moreover, analysis of simultaneous failures occurs as a natural byproduct of this formalism.",

author = "Amit Misra and Gregory Provan and Gabor Karsai and George Bloor and Ethan Scarl",

year = "1998",

language = "English",

volume = "4",

pages = "3154--3160",

journal = "Proceedings of the IEEE International Conference on Systems, Man and Cybernetics",

issn = "0884-3627",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

note = "Proceedings of the 1998 IEEE International Conference on Systems, Man, and Cybernetics. Part 3 (of 5) ; Conference date: 11-10-1998 Through 14-10-1998",

}

TY - JOUR

T1 - Generic and symbolic model-based diagnostic reasoner with highly scalable properties

AU - Misra, Amit

AU - Provan, Gregory

AU - Karsai, Gabor

AU - Bloor, George

AU - Scarl, Ethan

PY - 1998

Y1 - 1998

N2 - Modern computing technologies - hardware, software, and algorithmic - have enabled the deployment of more exacting diagnostic reasoning (DR) systems than has heretofore been possible. Compromises in algorithm and modeling paradigm complexity, due to computational throughput and state-space explosion constraints, have historically dominated practical applications of such systems. This paper describes approaches that have been shown to be applicable in a wide set of domains. The algorithms used are highly scalable and support a symbolic modeling formalism for analyzing the properties of the complex, dynamic systems. Moreover, analysis of simultaneous failures occurs as a natural byproduct of this formalism.

AB - Modern computing technologies - hardware, software, and algorithmic - have enabled the deployment of more exacting diagnostic reasoning (DR) systems than has heretofore been possible. Compromises in algorithm and modeling paradigm complexity, due to computational throughput and state-space explosion constraints, have historically dominated practical applications of such systems. This paper describes approaches that have been shown to be applicable in a wide set of domains. The algorithms used are highly scalable and support a symbolic modeling formalism for analyzing the properties of the complex, dynamic systems. Moreover, analysis of simultaneous failures occurs as a natural byproduct of this formalism.

UR - https://www.scopus.com/pages/publications/0032317012

M3 - Article

AN - SCOPUS:0032317012

SN - 0884-3627

VL - 4

SP - 3154

EP - 3160

JO - Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

JF - Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

T2 - Proceedings of the 1998 IEEE International Conference on Systems, Man, and Cybernetics. Part 3 (of 5)

Y2 - 11 October 1998 through 14 October 1998

ER -

Generic and symbolic model-based diagnostic reasoner with highly scalable properties

Abstract

Other files and links

Fingerprint

Cite this