论文信息 - A Four-Valued Fuzzy Propositional Logic

A Four-Valued Fuzzy Propositional Logic

It is generally accepted that knowledge based systems would be smarter and more robust if they can manage inconsistent, incomplete or imprecise knowledge. This paper is about a four-valued fuzzy propositional logic, which is the result of the combination of a four-valued logic and a fuzzy propositional logic. Besides the nice computational properties, the logic enables us also to deal both with inconsistency and imprecise predicates in a simple way.

Umberto Straccia

[1] H. Prade,et al. Possibilistic logic , 1994 .

[2] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.

[3] Sukhamay Kundu,et al. A Sound and Complete Fuzzy Logic System Using Zadeh's Implication Operator , 1996, ISMIS.

[4] Marcello D'Agostino,et al. The Taming of the Cut. Classical Refutations with Analytic Cut , 1994, J. Log. Comput..

[5] Nuel D. Belnap,et al. A Useful Four-Valued Logic , 1977 .

[6] Bernhard Hollunder. An alternative proof method for possibilistic logic and its application to terminological logics , 1994, Int. J. Approx. Reason..

[7] B. Hollunder. An alternative proof method for possibilistic logicand its application to terminological logics , 1994, UAI 1994.

[8] Umberto Straccia,et al. Reasoning about the Form and Content of Multimedia Objects (Extended Abstract) , 1997 .

[9] Dov M. Gabbay,et al. Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .

[10] Gerd Wagner. Ex contradictione nihil sequitur , 1991, IJCAI.