A portable knowledge-based system for car breakdown evaluation

被引:10
作者
Roanes-Lozano, Eugenio [1 ,2 ]
Luis Galan-Garcia, Jose [3 ]
Aguilera-Venegas, Gabriel [3 ]
机构
[1] Univ Complutense Madrid, Inst Matemat Interdisciplinar, E-28040 Madrid, Spain
[2] Univ Complutense Madrid, Dept Algebra, E-28040 Madrid, Spain
[3] Univ Malaga, Dept Matemat Aplicada, E-29071 Malaga, Spain
关键词
Knowledge-based systems; Groebner bases; Computer algebra; Breakdown diagnosis; EXPERT-SYSTEM; COMPUTER ALGEBRA; FAULT-DIAGNOSIS; NEURAL-NETWORK; LOGIC;
D O I
10.1016/j.amc.2014.12.001
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
Modern cars have many dashboard lights and not all drivers recognize or know the importance of all of them. Red symbols usually indicate a safety issue or a serious problem, meanwhile yellow symbols use to indicate a not so urgent problem. Green and blue symbols usually provide information about the systems connected. But not all the red icons require of the same action, and the user manuals of most modern cars, with their sophisticated electronic systems, have hundreds of pages. Meanwhile, smart devices have become popular and have an outstanding computing power plus Internet connection. Consequently, the conditions for developing a knowledge-based system that helped the unaware driver in case a dashboard light went on, exist. The application should evaluate the situation and recommend the best actions to be carried out by the driver (regarding the possible repair on site or at a workshop, its urgency or even the need to immobilize the vehicle immediately). We have designed such a knowledge-based system and have developed a simplified one as example. A friendly Graphical User Interface has been developed in order to ease the communication with the application and its use in remote using any smart device with Internet connection. (C) 2014 Elsevier Inc. All rights reserved.
引用
收藏
页码:758 / 770
页数:13
相关论文
共 23 条
[1]  
Al-Taani A. T., 2005, IEC PRAGUE 05, P457
[2]  
Alonso J. A., 1989, P 5 C NAT LANG FORM, P307
[3]  
Arnold E., 2011, J SYMB COMPUT, V46
[5]   MULTIVALUED LOGIC AND GROBNER BASES WITH APPLICATIONS TO MODAL LOGIC [J].
CHAZARAIN, J ;
RISCOS, A ;
ALONSO, JA ;
BRIALES, E .
JOURNAL OF SYMBOLIC COMPUTATION, 1991, 11 (03) :181-194
[6]  
CHEN PJ, 2014, J APPL SCI, V14, P348, DOI DOI 10.3923/jas.2014.348.354
[7]  
Clark K.L., 1982, Machine Intelligence, V10, P455
[8]   REFUTATIONAL THEOREM-PROVING USING TERM-REWRITING SYSTEMS [J].
HSIANG, J .
ARTIFICIAL INTELLIGENCE, 1985, 25 (03) :255-300
[9]  
Johnson H. E., 1983, Journal of Forth Application and Research, V1, P7
[10]  
Kapur D., 1985, P 9 INT JOINT C ART, V2, P1146