INFORMATICA International Journal Main Page Editorial Board Abstracting/Indexing Instructions to Authors Subscription Information Contents Author Index Papers in Production		INFORMATICA, 2002, Vol. 13, No. 2, 177-208 © Institute of Mathematics and Informatics, ISSN 0868-4952 Logical Formal Description of Expert Systems Manuel De la SEN, Juan J. MIÑAMBRES, Aitor J. GARRIDO, Ana ALMANSA 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: msen@we.lc.ehu.esajgarrid@we.lc.ehu.es 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 To preview Lithuanian abstract see full article text To preview full article text in PDF format click here You could obtain free Acrobat Reader from Adobe
Top		Copyright © INFORMATICA, Vilnius University Institute of Mathematics and Informatics, 2010