Cálculo situacional

• es un formalismo para representar el cambio en FOL
• el mundo es una secuencia de situaciones, las acciones hacen pasar de una a otra situación
• las propiedades que pueden cambiar llevan un argumento adicional que indica la situacion
  
• Result(action, situation) denota la situación que resulta despues de realizar una acción sobre una determinada situación
  
  
• las acciones se describen estableciendo sus efectos (axiomas de efecto): especificando las propiedades de la situación que resulta de la acción
  
  Portable(Gold)
  
  
  
  
• los axiomas de efecto no son suficientes, es necesario describir lo que no cambia (axiomas de frame)
  
  
  
• axiomas de sucesor de estado, combinan ambos; se necesita uno de estos axiomas para cada predicado que puede cambiar con el tiempo
  
  cierto si una acción lo hizo cierto
  era cierto antes y ninguna acción lo hizo falso
  
  
• Problema de frame
  • representacional: se necesita un número muy grande de axiomas de frame que dan lugar a una descripción de acciones inelegante e ineficiente
  • inferencial: cuando se razona sobre una secuencia de acciones es necesario llevar cada propiedad a través de todas las situaciones, aunque las propiedades no cambien. (teoría de acciones y cambio, sistemas de razonamiento de propósito especial -planificación y robótica-)
• Problema de cualificación: en una aplicación real es difícil definir todas las condiciones que aseguren que la acción se lleve a cabo, si alguna de estas condiciones no se incluye en el axioma de sucesor de estado, el agente puede general falsas creencias
• Problema de ramificación: la proliferación de consecuencias implícitas de las acciones