DocumentCode
1988596
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
Volume
4
fYear
2002
fDate
2002
Firstpage
3202
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Control and Automation, 2002. Proceedings of the 4th World Congress on
Print_ISBN
0-7803-7268-9
Type
conf
DOI
10.1109/WCICA.2002.1020125
Filename
1020125
Link To Document