A portable knowledge-based system for car breakdown evaluation

A prototype of KBS for car breakdown evaluation to be accessed remotely using smart devices is presented.It uses a flexible algebraic inference engine that can be adapted for many-valued logics.The inference engine uses Groebner bases (of polynomial ideals).The execution is remote and completely transparent to the user.It allows drivers to obtain suggestions immediately when a breakdown occurs just using a smartphone. 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.

[1]  Victor Maojo,et al.  An Expert System for Managing Medical Appropriateness Criteria Based on Computer Algebra Techniques , 2001 .

[2]  Jian-Da Wu,et al.  An expert system for fault diagnosis in internal combustion engines using wavelet packet transform and neural network , 2009, Expert Syst. Appl..

[3]  Selangor Darul Ehsan,et al.  Implementing an Expert Diagnostic Assistance System for Car Failure and Malfunction , 2012 .

[4]  Francisco G. Benitez,et al.  Review of traffic data estimations extracted from cellular networks , 2008 .

[5]  Antonio Hernando,et al.  A Gröbner bases-based rule based expert system for fibromyalgia diagnosis , 2012, Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas.

[6]  Emilio Briales Morales,et al.  Multi-Valued Logic and Gröbner Bases with Applications to Modal Logic , 1991, J. Symb. Comput..

[7]  Ahmad T. Al-Taani.  An Expert System for Car Failure Diagnosis , 2005, IEC.

[8]  José Antonio Alonso Jiménez,et al.  Lógicas polivalentes y bases de Gröbner , 1990 .

[9]  Luis M. Laita,et al.  A computational system for diagnosis of depressive situations , 2006, Expert Syst. Appl..

[10]  Luis M. Laita,et al.  A logic and computer algebra-based expert system for diagnosis of anorexia , 2002, Math. Comput. Simul..

[11]  Zong Qun,et al.  Developmentof automobile fault diagnosis expert system based on fault tree — Neural network ensamble , 2011, 2011 International Conference on Electronics, Communications and Control (ICECC).

[12]  Harold E. Johnson.  Expert System for Diesel Electric Locomotive Repair , 1983 .

[13]  Antonio Hernando,et al.  An algebraic approach to rule based expert systems , 2010 .

[14]  Peijiang Chen.  Study on Neural Network Automobile Fault Diagnosis Expert System , 2014 .

[15]  L. M. Laita,et al.  A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra , 1998 .

[16]  E. Roanes-Lozano,et al.  A computer algebra approach to verification and deduction in many-valued knowledge systems , 1999, Soft Comput..

[17]  Chelsea C. White,et al.  A Survey of Expert Systems for Equipment Maintenance and Diagnostics , 1989 .

[18]  Jieh Hsiang,et al.  Refutational Theorem Proving Using Term-Rewriting Systems , 1985, Artif. Intell..

[19]  K. L. Clark,et al.  PROLOG: a language for implementing expert systems , 2013 .

[20]  Bruno Buchberger,et al.  Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal , 2006, J. Symb. Comput..