3.7.4. Teoría
del agente
Un «agente racional»
, decíamos genéricamente en el Apartado 1.1, es el que tiene conocimiento sobre un
dominino, mecanismos de razonamiento y objetivos. Particularizándolo para el contexto
que estamos estudiando en este Capítulo, los mecanismos de razonamiento son los
implementados por el sistema deductivo, y los objetivos son las conclusiones que se le
pide obtener al agente. La teoría del agente es el conjunto de sentencias que el agente
puede inferir, es decir:
En el Apartado 3.5 hemos definido la teoría del dominio:
La teoría del agente coincide con la teoría del dominio (TA = TD) si y sólo si el
sistema deductivo implementado en el agente es consistente y completo.
DIT-ETSIT-UPM