<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.0 20120330//EN" "JATS-journalpublishing1.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" article-type="research-article">
	<front>
		<journal-meta>
			<journal-id journal-id-type="publisher-id">INFORMATICA</journal-id>
			<journal-title-group>
				<journal-title>Informatica</journal-title>
			</journal-title-group>
			<issn pub-type="epub">0868-4952</issn>
			<issn pub-type="ppub">0868-4952</issn>
			<publisher>
				<publisher-name>VU</publisher-name>
			</publisher>
		</journal-meta>
		<article-meta>
			<article-id pub-id-type="publisher-id">INF13204</article-id>
			<article-id pub-id-type="doi">10.3233/INF-2002-13204</article-id>
			<article-categories>
				<subj-group subj-group-type="heading">
					<subject>Research article</subject>
				</subj-group>
			</article-categories>
			<title-group>
				<article-title>Logical Formal Description of Expert Systems<xref ref-type="fn" rid="fn1">
						<sup>✩</sup>
					</xref>
				</article-title>
			</title-group>
			<contrib-group>
				<contrib contrib-type="Author">
					<name>
						<surname>de la Sen</surname>
						<given-names>Manuel</given-names>
					</name>
					<email xlink:href="mailto:msen@we.lc.ehu.es">msen@we.lc.ehu.es</email>
					<xref ref-type="aff" rid="j_INFORMATICA_aff_000"/>
				</contrib>
				<contrib contrib-type="Author">
					<name>
						<surname>Miñambres</surname>
						<given-names>Juan J.</given-names>
					</name>
					<xref ref-type="aff" rid="j_INFORMATICA_aff_000"/>
				</contrib>
				<contrib contrib-type="Author">
					<name>
						<surname>Garrido</surname>
						<given-names>Aitor J.</given-names>
					</name>
					<email xlink:href="mailto:ajgarrid@we.lc.ehu.es">ajgarrid@we.lc.ehu.es</email>
					<xref ref-type="aff" rid="j_INFORMATICA_aff_000"/>
				</contrib>
				<contrib contrib-type="Author">
					<name>
						<surname>Almansa</surname>
						<given-names>Ana</given-names>
					</name>
					<xref ref-type="aff" rid="j_INFORMATICA_aff_000"/>
				</contrib>
				<aff id="j_INFORMATICA_aff_000">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</aff>
			</contrib-group>
			<author-notes>
				<fn id="fn1">
					<label>
						<sup>✩</sup>
					</label><p>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.</p>
				</fn>
			</author-notes>
			<pub-date pub-type="epub">
				<day>01</day>
				<month>01</month>
				<year>2002</year>
			</pub-date>
			<volume>13</volume>
			<issue>2</issue>
			<fpage>177</fpage>
			<lpage>208</lpage>
			<history>
				<date date-type="received">
					<day>01</day>
					<month>10</month>
					<year>2001</year>
				</date>
			</history>
			<abstract>
				<p>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.</p>
			</abstract>
			<kwd-group>
				<label>Keywords</label>
				<kwd>artificial intelligence</kwd>
				<kwd>expert systems</kwd>
				<kwd>logic</kwd>
			</kwd-group>
		</article-meta>
	</front>
</article>