A sound and complete fuzzy logic system using zadeh's implication operator

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1079, Issue , 1996, Pages 233-242

  Chen, Jianhua ^a   Kundu, Sukhamay ^a  

^a Louisiana State University   (United States)

Author keywords

Fuzzy logic; Inference rules; Resolution method

Indexed keywords

COMPUTER CIRCUITS; DECISION THEORY; FUZZY INFERENCE; INTELLIGENT SYSTEMS;

DECISION PROCEDURE; FUZZY LOGIC SYSTEM; IMPLICATION OPERATORS; INFERENCE RULES; LOGICAL SYSTEM; LOWER AND UPPER BOUNDS; RESOLUTION METHODS; SOUND AND COMPLETE;

FUZZY LOGIC;

EID: 21344463969     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61286-6_148     Document Type: Conference Paper

References (10)

1. Ackermann, R., An Introduction to many-valued logics, Dover Pub. Inc., New York, 1967.
2. Dubois, D., Lang, L, and Prade, H., Fuzzy sets in approximate reasoning (Part 1: inference with possibility, and Part 2: logical approaches) distributions, Fuzzy Sets and Systems, 40(1991), pp. 141-202, 203-244.
3. Goguen, J.A., The logic of inexact concepts, Synthese, 19(1968), pp. 325-373.
4. Gottwald, S., Fuzzy propositional logics, Fuzzy Sets and Systems, 3(1980), pp. 181-192.
5. Kundu, S. An improved method for fuzzy-inferencing using Zadeh's implication operatot, Proceedings of IJCAL Workshop on Fuzzy Logic in AI, Aug. 1995, Montreal, Canada.
6. Kuudu, S. and Cben, J., Fuzzy logic or Lukasiewicz's logic: a clarification, Proc. 8th Intern. Syrup. for Methodoiogies for Intelligent Systems, ISMIS-94, Charlotte, NC. (Oct. 16-19, 1994), pp. 56-64.
7. Lee, R.C.T., Fuzzy logic and the resolution principle, J. Assoc. of Computing Mack, 19(1), 1972, pp. 109-119.
8. Lu, J.L, Murray, N.V., and Rosenthal, E., Signed formulas and fuzzy operator logics, Proc. 8th Intern. Syrup. for Methodologies for Intelligent Systems, ISMIS-94, Charlotte, NC. (Oct. 16-19, 1994), pp. 75-84.
9. Novak, V., On the syntactico-semantical completeness of first-order fuzzy logic. Part 1, 2, Kybernetika, 26(1) (1990) 47-66; (2) (1990) 134-154.
10. Pavelka, J., On fuzzy logic I, II, HI, Zeitsch" Math. Logik, 25(1979), pp. 45-52, 119-134, 447-464.