Logical Formal Description of Expert Systems

Article type: Research Article

Authors: de la Sen, Manuel | Miñambres, Juan J. | Garrido, Aitor J. | Almansa, Ana^;

Affiliations: Instituto de Investigación y Desarrollo de Procesos (IIDP), Dpto. de Electricidad y Electrónica, Facultad de Ciencias, Universidad del País Vasco, Leioa (Bizkaia), Apdo. 644 de Bilbao, 48080 Spain. E-mail: [email protected], [email protected]

Note: [] This work has been supported in part by the Spanish Ministry of Science and Technology through research project code DPI 2000-0244 and by the University of the Basque Country through research project code 1/UPV/EHU 00I06.I06-EB-8235/2000 and through the Ph.D. studies of Mr. Garrido.

Abstract: The objective of expert systems is the use of Artificial Intelligence tools so as to solve problems within specific prefixed applications. Even when such systems are widely applied in diverse applications, as manufacturing or control systems, until now, there is an important gap in the development of a theory being applicable to a description of the involved problems in a unified way. This paper is an attempt in supplying a simple formal description of expert systems together with an application to a robot manipulator case.

Keywords: artificial intelligence, expert systems, logic

DOI: 10.3233/INF-2002-13204

Journal: Informatica, vol. 13, no. 2, pp. 177-208, 2002