Logical Formal Description of Expert Systems
Volume 13, Issue 2 (2002), pp. 177–208
Pub. online: 1 January 2002
Type: Research Article
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.
Received
1 October 2001
1 October 2001
Published
1 January 2002
1 January 2002
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.