Title :
The application of differential logic to diagnosis
Author :
Porter, Gilbert B., III
Author_Institution :
GE Corp. Res. & Dev. Center, Schenectady, NY, USA
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;
Conference_Titel :
Artificial Intelligence Applications, 1988., Proceedings of the Fourth Conference on
Conference_Location :
San Diego, CA
Print_ISBN :
0-8186-0837-4
DOI :
10.1109/CAIA.1988.196093
