Title :
Application of theorem proving to automated diagnoses field
Author :
Jian, Shen ; Bengao, Zhu ; Yu, Chen ; Qian, Fang
Author_Institution :
Shandon Office of Educ., Jinan, China
Abstract :
Presents a theorem proving system constructed by Prolog. Based on the descriptions, data and assumptions of logical circuit board (devices), the system can diagnose malfunction of devices automatically, proving whether some component works well.
Keywords :
fault diagnosis; logic circuits; logic simulation; theorem proving; Prolog; automated diagnosis field; logical circuit board; malfunction diagnosis; theorem proving; Artificial intelligence; Automation; Cities and towns; Electric breakdown; Electronic components; Fault diagnosis; Gears; Humans; Logic circuits; Printed circuits;
Conference_Titel :
Intelligent Control and Automation, 2002. Proceedings of the 4th World Congress on
Print_ISBN :
0-7803-7268-9
DOI :
10.1109/WCICA.2002.1020125
