Lógica de Primer Orden
Con el agregado de estos hechos podemos
ASK(KB,Abuela(Maxi,Boots))
Y recibir respuesto si/no. También podemos hacer preguntas para obtener información adicional en las respuestas, como
ASK(KB, ?x hijo(x,Mancha)).
Aquí no solo queremos la respuesta si/no, querríamos conocer el término x que denota objetos en el dominio. En general, para un query con variables existencialmente cuantificadas, queremos conocer las particularizaciones de dichas variables. Entonces, ASK retorna una lista de particularizaciones, ej., {x/boots}.
Agentes lógicos para el mundo de Wumpus
Agente reflejo. Meramente clasifica sus percepciones y actúa de acuerdo a dicha clasificación.
Agente basado en modelo. Construye una representación interna del mundo y la usa para actuar.
Agente basado en objetivos. Forma objetivos y trata de alcanzarlos
Agentes lógicos para el mundo de Wumpus
El primer paso es definir la interface entre el agente y el mundo. La secuencia de percepción debe contener las percepciones y el momento en que ocurrieron. Usaremos enteros para las etapas temporales, asi una típica sentencia de percepción sería
Percepcion([Hedor,Brisa,Brillo,Nada,Nada],5)
La acción del agente debe ser una de:
Girar(Derecha), Girar(Izquierda), Avanzar, Disparar, Tomar, Liberar, Trepar
Para determinar cuál es la mejor acción, creamos un query tal como Accion(a,5). Si hemos presentado las cosas de manera correcta, este query retornará una lista de particularizac. tal como {a/Tomar}.
Cálculo de situación es el nombre dado a un modo particular de describir cambio en LPO. Concibe al mundo como una secuencia de situaciones, cada una de las cuales es un instante en el estado del mundo. Las situaciones son generadas a partir de situaciones previas por medio de acciones.
Cada relación cuya verdad pueda cambiar con el tiempo, es manejada dándole un argumento extra de situación al correspondiente símbolo de predicado. Por convención, ubicamos el argumento de situación siempre al final. Así, en vez de En(Agente,Ubicacion), deberemos tener En(Agente,[1,1],S0) ? En(Agente,[1,2],S1).
Las relaciones o propiedade que no cambian con el tiempo no necesitan el argumento extra, ej., ParedEn([0,1]).
Cálculo de situación
Cálculo de situación
 Página anterior | Volver al principio del trabajo | Página siguiente  |