DocumentCode
2990639
Title
The application of differential logic to diagnosis
Author
Porter, Gilbert B., III
Author_Institution
GE Corp. Res. & Dev. Center, Schenectady, NY, USA
fYear
1988
fDate
14-18 Mar 1988
Firstpage
130
Lastpage
138
Abstract
The author presents the theoretical foundations for a differential logic, describes an instance of such a logic and a theory for diagnosis using this formalism, and illustrates the application of the theory with an example from digital logic. This approach is modularized to separate the equations describing the program or system logic, the individual component behavior, and the observation of actual behavior so that computation can be optimized
Keywords
formal logic; knowledge engineering; component behavior; diagnosis; differential logic; digital logic; system logic; Contracts; Digital circuits; Equations; Government; Humans; Logic testing; Performance evaluation; Research and development; Rivers; System testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Artificial Intelligence Applications, 1988., Proceedings of the Fourth Conference on
Conference_Location
San Diego, CA
Print_ISBN
0-8186-0837-4
Type
conf
DOI
10.1109/CAIA.1988.196093
Filename
196093
Link To Document