| Article ID: | iaor2003610 |
| Country: | Lithuania |
| Volume: | 13 |
| Issue: | 2 |
| Start Page Number: | 177 |
| End Page Number: | 208 |
| Publication Date: | Apr 2002 |
| Journal: | Informatica |
| Authors: | Sen Manuel De la, Miamabres Juan J., Garrido Aitor J., Almansa Ana |
| Keywords: | logic |
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. The paper is an attempt in supplying a simple formal description of expert systems together with an application to a robot manipulator case.