Diamante Nixon - Nixon diamond
En el razonamiento no monótono , el diamante de Nixon es un escenario en el que los supuestos predeterminados conducen a conclusiones mutuamente inconsistentes. El escenario es:
- por lo general, los cuáqueros son pacifistas
- por lo general, los republicanos no son pacifistas
- Richard Nixon es cuáquero y republicano
Dado que Nixon es cuáquero, se podría suponer que es un pacifista; sin embargo, dado que es republicano, también se podría suponer que no es pacifista. El problema es cómo una lógica formal de razonamiento no monótono debería tratar estos casos. Se pueden adoptar dos enfoques:
- escéptico
- como no se puede probar que Nixon sea pacifista ni lo contrario, no se extrae ninguna conclusión;
- crédulo
- dado que se puede demostrar que Nixon es pacifista en al menos un caso, se cree que es pacifista; sin embargo, dado que también se puede demostrar que no es pacifista, también se cree que no es pacifista.
El enfoque crédulo puede permitir demostrar tanto algo como lo contrario. Por esta razón, a menudo se prefiere el enfoque escéptico. Otra solución a este problema es asignar prioridades a los supuestos predeterminados; por ejemplo, el hecho de que “por lo general, los republicanos no son pacifistas” puede suponerse más probable que “por lo general, los cuáqueros son pacifistas”, lo que lleva a la conclusión de que Nixon no es pacifista.
El nombre de diamante proviene del hecho de que tal escenario, cuando se expresa en redes de herencia , tiene forma de diamante . Este ejemplo es mencionado por primera vez por Reiter y Criscuolo en una forma ligeramente diferente donde la persona que es tanto republicano como cuáquero es un John en lugar de Richard Nixon.
Ver también
Referencias
- W. Marek y M. Truszczynski (1993). Lógicas no monotónicas: razonamiento dependiente del contexto . Saltador.
- R. Reiter y G. Criscuolo (1981). Sobre la interacción por defecto. En Actas de la Séptima Conferencia Conjunta Internacional sobre Inteligencia Artificial (IJCAI'81) , páginas 94-100.