Nixonův diamant - Nixon diamond
 | Tento článek obsahuje a seznam doporučení, související čtení nebo externí odkazy, ale jeho zdroje zůstávají nejasné, protože mu chybí vložené citace. (Říjen 2016) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
v nonmonotonické uvažování, Nixonův diamant je scénář, ve kterém výchozí předpoklady vedou k vzájemně nekonzistentním závěrům. Scénář je:
- obvykle, Kvakeri jsou pacifista
- obvykle, Republikáni nejsou pacifisté
- Richard Nixon je Quaker i republikán
Protože Nixon je Quaker, dalo by se předpokládat, že je pacifista; protože je republikán, dalo by se také předpokládat, že není pacifista. Problém je v tom, jak formální logika nonmonotonického uvažování by se mělo těmito případy zabývat. Lze použít dva přístupy:
- skeptický
- protože Nixona nelze prokázat jako pacifistu ani naopak, nedochází k žádnému závěru;
- důvěřivý
- protože Nixona lze alespoň v jednom případě prokázat jako pacifistu, považuje se za pacifistu; nicméně, protože on může také být dokázaný, že není pacifista, je také věřil, že není pacifista.
Důvěryhodný přístup může umožnit dokázat něco i jeho opak. Z tohoto důvodu je často upřednostňován skeptický přístup. Dalším řešením tohoto problému je přiřadit priority výchozím předpokladům; například skutečnost, že „obvykle republikáni nejsou pacifisté“, lze předpokládat pravděpodobnější než „obvykle Quakers jsou pacifisté“, což vede k závěru, že Nixon není pacifista.
Název diamant vychází ze skutečnosti, že takový scénář, vyjádřený v dědické sítě, je tvar diamantu. Tento příklad poprvé zmiňují Reiter a Criscuolo v trochu jiné podobě, kdy osobou, která je republikánem i kvakerem, je John místo Richarda Nixona.
Viz také
Reference
- W. Marek a M. Truszczynski (1993). Nonmonotonic Logics: kontextově závislé uvažování. Springer.
- R. Reiter a G. Criscuolo (1981). O interakci výchozích hodnot. v Sborník ze sedmé mezinárodní společné konference o umělé inteligenci (IJCAI'81), strany 94–100.