Assertion: logic | /r/CapableOf | lack the monotonicity property
Facets:
Source sentences:
text: Minsky apparently intended to provide general arguments against logical methods in AI, but McDermott & Doyle 1980 and McCarthy 1980 interpret Minsky 1974 as a challenge that can be met by developing logics that lack the monotonicity property.