Diament Nixona
W rozumowaniu niemonotonicznym diament Nixona to scenariusz, w którym domyślne założenia prowadzą do wzajemnie niespójnych wniosków. Scenariusz jest następujący:
- zazwyczaj kwakrzy są pacyfistami
- zazwyczaj republikanie nie są pacyfistami
- Richard Nixon jest zarówno kwakrem, jak i republikaninem
Ponieważ Nixon jest kwakrem, można założyć, że jest pacyfistą; ponieważ jest republikaninem, można jednak założyć, że nie jest pacyfistą. Problem polega na tym, jak formalna logika rozumowania niemonotonicznego powinna radzić sobie z takimi przypadkami. Można przyjąć dwa podejścia:
- sceptyczny
- , ponieważ nie można udowodnić, że Nixon jest pacyfistą, ani wręcz przeciwnie, nie wyciąga się żadnych wniosków;
- łatwowierny
- , ponieważ można udowodnić, że Nixon jest pacyfistą przynajmniej w jednym przypadku, uważa się, że jest pacyfistą; jednakże, ponieważ można również udowodnić, że nie jest pacyfistą, uważa się również, że nie jest pacyfistą.
Podejście łatwowierne może pozwolić na udowodnienie zarówno czegoś, jak i czegoś przeciwnego. Z tego powodu często preferowane jest podejście sceptyczne. Innym rozwiązaniem tego problemu jest nadanie priorytetów domyślnym założeniom; na przykład fakt, że „zwykle republikanie nie są pacyfistami” można przyjąć z większym prawdopodobieństwem niż „zwykle kwakrzy są pacyfistami”, prowadzi do wniosku, że Nixon nie jest pacyfistą.
Nazwa diament pochodzi od faktu, że taki scenariusz, wyrażony jako sieć przekonań , tworzy kształt rombu . Ten przykład po raz pierwszy wspominają Reiter i Criscuolo w nieco innej formie, gdzie osobą będącą jednocześnie republikaninem i kwakrem jest John zamiast Richarda Nixona.
Zobacz też
- W. Marek i M. Truszczyński (1993). Logiki niemonotoniczne: rozumowanie zależne od kontekstu . Skoczek.
- R. Reitera i G. Criscuolo (1981). O interakcjach domyślnych. W Proceedings of the Seventh International Joint Conference on Artificial Intelligence (IJCAI'81) , strony 94–100.