Cuantificación sobre acciones

Busco ejemplos que me muestren cómo cuantificar sobre acciones (¿y quizás fluidez?) en cálculo de situación (Reiter 2001).

Entiendo la diferencia entre acciones, fluidez y situaciones, pero ¿por qué deben representarse en lógica de segundo orden? ¿Por qué no usar el primer orden? ¿Puede usted explicar por favor?

preguntado el 03 de mayo de 12 a las 19:05

¡Cualquier ayuda es extremadamente apreciada! -

Los cálculos de situación y evento. se encuentran las primer orden. ¿Tiene una referencia a alguien que dice que necesita lógica de segundo orden para trabajar con ellos? -

Esta pregunta parece estar fuera de tema porque no se trata de programación. -

1 Respuestas

Casi todas las fórmulas utilizadas para codificar un mundo dinámico requieren Lógica de segundo orden (SOL). En particular,

  • las [propiedades del] estado inicial
  • las condiciones previas de la acción
  • los efectos de acción
  • los axiomas del estado sucesor (utilizados para eludir el "problema del marco")

todo se puede expresar con lógica de primer orden (FOL).
Con algunos dominios puede ser conveniente -y más conciso- usar SOL para los elementos anteriores, pero AFAIK, siempre es posible convertir tal SOL a FOL en el contexto de los elementos enumerados anteriormente, para un dominio finito, y por lo tanto SOL no es necesario (nuevamente, para los elementos anteriores).

Por lo general, la necesidad de SOL con cálculo de situación solo proviene de algunos de los "axiomas fundamentalescomo el axioma de realizar inducción sobre Situaciones.

Además, dependiendo de la aplicación particular, es posible que no se necesiten los axiomas fundamentales basados ​​en SOL y, por lo tanto, el mundo entero puede describirse exclusivamente en términos de FOL.
No soy un especialista en el campo, pero creo que en muchos casos, con el fin de Filtrado [Lógico], Planificación, Proyección Temporal, podemos eliminar la necesidad de inducción y, por lo tanto, depender únicamente de FOL.

contestado el 15 de mayo de 12 a las 08:05

No es la respuesta que estás buscando? Examinar otras preguntas etiquetadas or haz tu propia pregunta.