Agentes Basados en Lógica

Dentro de las arquitecturas concretas de los Agentes, las arquitecturas basadas en lógica modelan un estado interno con Razonamiento lógico, de manera que el agente es capaz de tomar decisiones mediante deducción gracias a un conjunto $D$ de predicados.

$$\begin{array}{rl}\text{see}& :S\to P\\ \text{next}& :D\times P\to D\\ \text{action}& :D\to A\end{array}$$

El algoritmo para la acción implica buscar la primera regla definida que se deba aplicar. Si no se encuentra una, se busca la primera regla que no está prohibida explícitamente.

$$\begin{array}{rl}& \text{function }action(\Delta :D):A\\ & \text{begin}\\ & \text{for each }a\in A\text{ do}\\ & \text{if }\Delta {⊢}_{\rho }Do(a)\text{ then}\\ & \text{return }a\\ & \text{end-if}\\ & \text{end-for}\\ & \text{for each }a\in A\text{ do}\\ & \text{if }\Delta {⊬}_{\rho }\neg Do(a)\text{ then}\\ & \text{return }a\\ & \text{end-if}\\ & \text{end-for}\\ & \text{return }null\\ & \text{end function }action\end{array}$$

Estos agentes no son inteligentes porque siempre hacen la misma acción ante los mismos datos.