摘要: The modus ponens, the inference primitive, and many more complex inferences, are not, as logic operations, reducible to expressions involving functions exclusively. Some of consequences this observation considered for in fuzzy logic. author constructs a ponens other rules which include tollens reductio ad absurdum. These turn based on choice operation implication preserves symmetry implicit its definition. Extensions including conditional quantification, cut rules, mathematical induction sketched. As an example, fuzzy-logic treatment Yale shooting problem is discussed. results suggest that processes can be affected if, classical logic, one ventures outside scope (fuzzy) operations. >
sci-hub.se 参考文章(7)
Didier Dubois, Henri Prade, On the combination of uncertain or imprecise pieces of information in rule-based systems—a discussion in the framework of possibility theory International Journal of Approximate Reasoning. ,vol. 2, pp. 65- 87 ,(1988) , 10.1016/0888-613X(88)90006-0
Philippe Smets, Paul Magrez, Implication in fuzzy logic International Journal of Approximate Reasoning. ,vol. 1, pp. 327- 347 ,(1987) , 10.1016/0888-613X(87)90023-5
Steve Hanks, Drew McDermott, Nonmonotonic logic and temporal projection Artificial Intelligence. ,vol. 33, pp. 379- 412 ,(1987) , 10.1016/0004-3702(87)90043-9
James D. McCawley, Everything That Linguists Have Always Wanted to Know About Logic But Were Ashamed to Ask ,(1980)
Roger Martin-Clouaire, Semantics and computation of the generalized modus ponens: the long paper International Journal of Approximate Reasoning. ,vol. 3, pp. 195- 217 ,(1989) , 10.1016/0888-613X(89)90006-6
Judea Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference ,(1988)
Kurt Gödel, Die Vollständigkeit der Axiome des logischen Funktionenkalküls Monatshefte für Mathematik. ,vol. 37, pp. 349- 360 ,(1930) , 10.1007/BF01696781