Situaciones, Acciones y Leyes Causales

La inteligencia humana depende de que podemos representar hechos de nuestra situación, nuetras metas, y los efectos de las acciones que hacemos.

La idea del Adice Taker es que se pueda mejorar el comportamiento del sistema dando consejos en lugar de reprogramandolo.

Se requiere especificar hechos acerca de situaciones, metas y acciones y conocimiento acerca de los medios y fines como axiomas.

• Propiedades generales de causalidad y de la posibilidad y el resultado de acciones
• El realizar acciones y lograr metas se obtiene de consecuencias lógicas

Situación: descripción parcial en un estado en el tiempo (e.g., lloviendo(s), en(casa,yo)(s), etc.).

fluent: predicados cuyo argumento es una situación (i.e., dependen del tiempo).

Causalidad: se propone un predicado de segundo orden: cause($\pi$)($s$) (i.e., la situación $s$ lleva al futuro a una situación que satisface el ``fluente'' $\pi$). e.g., $\forall s \forall p (Persona(p) \wedge Lloviendo \wedge Afuera(p) \supset Cause(Mojado(p))) (s)$.

Se puede utilizar una interpretación modal (i.e., tomar a cause como operador modal) para evitar lógica de 2 $^{\underline{o}}$ orden (la interpretación modal ignora los argumentos de las situaciones ($s$)).

Acciones: para realizar cierta acción en una situación dada. Define el operador can$(p,\pi)(s)$ (i.e., una persona $p$ puede hacer que la situación $s$ satisfaga $\pi$) e.g.,
$can(p, mover(p,obj,lug))(s)$.

can y cause tienden a estar en la misma fórmula.

Para representar metas que requieran de varias acciones consectutivas define: $canult(p,\pi)$, que significa que una persona $p$ puede en ultima instancia llegar a una situación que satisfaga $\pi$.

Ejemplos: monkey & banana, juego de dos personas.

En resúmen: sistema que razona deductivamente a partir de conocimiento hasta concluír realizar una serie de acciones, éstas las realiza y el ciclo continua.

Muestra como (en principio) con lógica de primer orden (modal) puede realizar el razonamiento que quiere (situación, causalidad y acciones).