Application of theorem proving to automated diagnoses field
Proceedings of the 4th World Congress on Intelligent Control and Automation (Cat. No.02EX527) - Tập 4 - Trang 3202-3204 vol.4
Tóm tắt
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.
Từ khóa
#Electric breakdown #Gears #Automation #Artificial intelligence #Cities and towns #Electronic components #Humans #Printed circuits #Fault diagnosis #Logic circuitsTài liệu tham khảo
panagiotopoulos, 1987, Theorem Prover as Fault Diagnostic Tool. North-hollan Amsterdam, Hemisphere Publishing Corporation, 43
genesereth, 1984, The Use of Design Descriptions in Artomated Diagncsis, Artificial Intelligence, 24, 76, 10.1016/0004-3702(84)90043-2