Problema de disparo en Yale
El problema del rodaje de Yale es un acertijo o escenario en la lógica situacional formal en el que fallan las primeras soluciones lógicas al problema del marco . El nombre de este problema deriva de sus inventores, Steve Hanks y Drew McDermott , que trabajaban en la Universidad de Yale cuando lo propusieron. En este escenario, Fred (más tarde identificado como un pavo ) inicialmente está vivo e inicialmente se descarga un arma. Se espera que cargar el arma, esperar un momento y luego dispararle a Fred mate a Fred. Sin embargo, si la inerciase formaliza en lógica minimizando los cambios en esta situación, entonces no se puede probar de manera única que Fred está muerto después de cargar, esperar y disparar. En una solución, Fred realmente muere; en otra solución (también lógicamente correcta), el arma se descarga misteriosamente y Fred sobrevive.
Técnicamente, este escenario se describe con dos fluidos (un fluido es una condición que puede cambiar el valor de verdad con el tiempo): y . Inicialmente, la primera condición es verdadera y la segunda es falsa. Luego, se carga el arma, pasa un tiempo y se dispara el arma. Tales problemas se pueden formalizar en la lógica considerando cuatro puntos de tiempo , , , y , y girando cada fluidez tal como en un predicado en función del tiempo. Una formalización directa del planteamiento lógico del problema de tiro de Yale es la siguiente:
Las dos primeras fórmulas representan el estado inicial. La tercera fórmula formaliza el efecto de cargar el arma a la vez . La cuarta fórmula formaliza el efecto de dispararle a Fred a la vez . Se trata de una formalización simplificada en la que se ignoran los nombres de las acciones y los efectos de las acciones se especifican directamente para los momentos en los que se ejecutan las acciones. Consulte cálculo de situaciones para obtener más detalles.
Las fórmulas anteriores, si bien son formalizaciones directas de los hechos conocidos, no son suficientes para caracterizar correctamente el dominio. De hecho, es coherente con todas estas fórmulas, aunque no hay ninguna razón para creer que Fred muere antes de que le disparen el arma. El problema es que las fórmulas anteriores solo incluyen los efectos de las acciones, pero no especifican que todos los fluidos no cambiados por las acciones siguen siendo los mismos. En otras palabras, se debe agregar una fórmula para formalizar el supuesto implícito de que cargar el arma solo cambia el valor de y no el valor de . La necesidad de un gran número de fórmulas que afirmen el hecho obvio de que las condiciones no cambian a menos que una acción las cambie se conoce como el problema del marco .
