 | This article includes alist of references,related reading, orexternal links,but its sources remain unclear because it lacksinline citations. Please helpimprove this article byintroducing more precise citations.(October 2016) (Learn how and when to remove this message) |
Innonmonotonic reasoning, theNixon diamond is a scenario in which default assumptions lead to mutually inconsistent conclusions. The scenario is:
Since Nixon is a Quaker, one could assume that he is a pacifist; since he is Republican, however, one could also assume he is not a pacifist. The problem is how aformal logic of nonmonotonic reasoning should deal with such cases. Two approaches can be adopted:
The credulous approach can allow proving both something and its contrary. For this reason, the skeptical approach is often preferred. Another solution to this problem is to attach priorities to default assumptions; for example, the fact that “usually, Republicans are not pacifist” can be assumed more likely than “usually, Quakers are pacifist”, leading to the conclusion that Nixon is not pacifist.
The name "diamond" comes from the fact that such a scenario, when expressed as abelief network, forms adiamond shape. This example is mentioned for the first time by Reiter and Criscuolo in a slightly different form where the person that is both a Republican and a Quaker is a John instead of Richard Nixon.
