El origen bibliográfico de este problema se halla en [HM86]. Se trata de una simple Drosophila de laboratorio (un problema juguete) para aplicar razonamiento no-monótono. Se compara el resultado obtenido por intuición con el que se obtiene con el razonamiento causal aplicando circunscripción o lógica por defecto. Al aplicar recientemente aparecidas nuevas formalizaciones lógicas de eventos, se llega a coincidencias satisfactorias con la solución intuitiva. Es de prever que este problema siga siendo un hito en la historia de las formalizaciones causales.
3.nov.2000
Pulsar tecla de vuelta