Fuzzy Logic and the Resolution Principle

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Fuzzy Logic and the Resolution Principle

Full text

Pdf (656 KB)

Source

Journal of the ACM (JACM) archive
Volume 19 , Issue 1 (January 1972) table of contents

Pages: 109 - 119

Year of Publication: 1972

ISSN:0004-5411

Author

Richard C. T. Lee

National Institutes of Health, Heuristics Laboratory, Division of Computer Research and Technology, Department of Health, Education and Welfare, Bethesda, Maryland

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 8, Downloads (12 Months): 79, Citation Count: 28

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/321679.321688 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	ACKERMAN, R. Introduction to Many Valued Logics. Dover, New York, 1967.
	2	C}tANG, C. C. Algebraic analysis of many valued logics. Trans. Amer. Math. Soc. 88 (1958), 467--490.
	3	C~ANO, C. L. Fuzzy topological spaces. J. Math. Anal. Appl. 23, 1 (1968), 182-190.
	4	Chin-Liang Chang , Richard C. Lee , Richard Char-Tung Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press, Inc., Orlando, FL, 1997
	5	CHANG, S.K. On the execution of fuzzy programs using finite state machines. IEEE Trans. Comp. (in press).
	6	Cn.~NG, S. K. Fuzzy programs, theory and applications. Proc. Brooklyn Polytechnical Institute Syrup. on Computers and Automata, Vol. XXI, 1971.
	7	Martin Davis , Hilary Putnam, A Computing Procedure for Quantification Theory, Journal of the ACM (JACM), v.7 n.3, p.201-215, July 1960 [doi>10.1145/321033.321034]
	8	GNEDENKO, B.V. The Theory of Probabilily (translated from Russian by B. R. Seekler). Chelsea, New York, 1962.
	9	GREEN, C. Application of theorem proving to problem solving. Proc. of the First International Joint Artificial Intelligence Conf., ll'ashington, D.C., 1969.
	10	HERI~RAND, J. Recherches sur la theoria de la demonstration. Traveaux de la Societe des Sciences de Varsoria, No. 33, 1930.
	11	JEFFUEYS, H. Theory of Probability. Oxford U. Press, London, 1961.
	12	Char-Tung Lee, A completeness theorem and a computer program for finding theorems derivable from given axioms, 1967
	13	LEE, R. C. T., AND CHANG, C. L. Some properties of fuzzy logic. Inform. Contr. 19, 5 (Dec. 1971), 417-431.
	14	LUKASIEWICZ, J. Logical foundations of probability theory. In Jan Lukasiewicz, Selected Works, L. Berkowski, Ed., North-Holland Publ. Co., Amsterdam, 1970, pp. 16--43.
	15	MAUINOS, P. N. Fuzzy logic and its applications to switching systems. IEEE Trans. C18, 4 (1969), 343-348.
	16	),IcCARTHY, J. Programs with common sense. In Mechanization of Thought Process, Vol. 1. Her Majesty's Stationary Office, London, 1961, pp. 75-84.
	17	,~,IcCARTHY, J ., AND HAYES, P .J . Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence ~4, B. Meltzer and D. Michie, Eds., American Elsevier, New York, 1968, pp. 463-502.
	18	NILSSON, N.J. Learning Machines. McGraw-Hill, New York, 1965.
	19	Nils J. Nilsson, Problem-Solving Methods in Artificial Intelligence, McGraw-Hill Pub. Co., 1971
	20	J. A. Robinson, A Machine-Oriented Logic Based on the Resolution Principle, Journal of the ACM (JACM), v.12 n.1, p.23-41, Jan. 1965 [doi>10.1145/321250.321253]
	21	I~OSSER, J. B., AND TURQUETTE, A.R. Many-valued Logics. North-Holland Publ. Co., Amsterdam, 1952.
	22	James R. Slagle, Interpolation Theorems for Resolution in Lower Predicate Calculus, Journal of the ACM (JACM), v.17 n.3, p.535-542, July 1970 [doi>10.1145/321592.321604]
	23	SLAGLE, J. R. Artificial Intelligence, the Heuristic Programming Approach. McGraw-Hill, New York, 1971.
	24	SLAQE, J. R., CHANG, C. L., AND LEE, R. C.W. Completeness theorems for semantic resolution i,1 consequence finding. Proc. of the First International Joint Artificial Intelligence Conf., Washington, D.C., 1969.
	25	WALDINGFR, P~., AND LEE, R. C.T. PROW: A step toward automatic program writing. Proc. of the First International Joint Arlificial Intelligence Conf., Washington, D.C., 1969.
	26	ZADEH, L.A. Fuzzy sets. Inform. Contr. 8 (1965), 338-353.
	27	ZADEH, L. A. Fuzzy algorithms. Inform. Contr. 12 (1968), 94-102.

CITED BY 28

	Wan-Bih Liaw , Frank M. Brown, Knowledge representing schemes for planning, Proceedings of the 1992 ACM annual conference on Communications, p.213-218, March 03-05, 1992, Kansas City, Missouri, United States
	Jack Minker , Alan R. Aronson , Barry E. Jacobs, A Note on Fuzzy Deduction, Journal of the ACM (JACM), v.27 n.4, p.599-603, Oct. 1980
	T. J. Kazmierski, Fuzzy-logic digital-analogue interfaces for accurate mixed-signal simulation, Proceedings of the conference on Design, automation and test in Europe, p.941-944, February 23-26, 1998, Le Palais des Congrés de Paris, France
	D. Dubois , J. Lang , H. Prade, Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision, and Variable Certainty Weights, IEEE Transactions on Knowledge and Data Engineering, v.6 n.1, p.64-71, February 1994
	Carlo Meghini , Fabrizio Sebastiani , Umberto Straccia, A model of multimedia information retrieval, Journal of the ACM (JACM), v.48 n.5, p.909-970, September 2001
	Maria I. Sessa, Approximate reasoning by similarity-based SLD resolution, Theoretical Computer Science, v.275 n.1-2, p.389-426, March 28 2002
	G.-C. Roman, Formal Specification of Geographic Data Processing Requirements, IEEE Transactions on Knowledge and Data Engineering, v.2 n.4, p.370-380, December 1990
	B. R. Gaines, Fuzzy reasoning and the logics of uncertainty, Proceedings of the sixth international symposium on Multiple-valued logic, p.179-188, May 25-28, 1976, Logan, Utah, United States
	Didier Dubois , Henri Prade , Phillipe Smets, Responses to Elkan (Didier Dubois, Henri Prade, Philippe Smets), IEEE Expert: Intelligent Systems and Their Applications, v.9 n.4, p.15-19, August 1994
	Francis Jeffry Pelletier, On Some Alleged Misconceptions about Fuzzy Logic, Artificial Intelligence Review, v.22 n.1, p.71-82, September 2004
	Silvano Di Zenzo, A many-valued logic for approximate reasoning, IBM Journal of Research and Development, v.32 n.4, p.552-565, July 1988
	D. Sarkar , S. C. De Sarkar, A Set of Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers, IEEE Transactions on Software Engineering, v.15 n.11, p.1368-1381, November 1989
	Coen De Roover , Johan Brichau , Theo D'Hondt, Combining fuzzy logic and behavioral similarity for non-strict program validation, Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming, July 10-12, 2006, Venice, Italy
	J. F. Baldwin , T. Martin , B. Azvine, Soft Computing for Intelligent Knowledge-based Systems, BT Technology Journal, v.16 n.3, p.165-179, July 1998
	Didier Dubois , Henri Prade, Possibility Theory, Probability Theory and Multiple-Valued Logics: A Clarification, Annals of Mathematics and Artificial Intelligence, v.32 n.1-4, p.35-66, August 2001
	James J. Lu , Neil V. Murray , Erik Rosenthal, A Framework for Automated Reasoning in Multiple-Valued Logics, Journal of Automated Reasoning, v.21 n.1, p.39-67, August 1998
	Benjamín Callejas Bedregal, A normal form which preserves tautologies and contradictions in a class of fuzzy logics, Journal of Algorithms, v.62 n.3-4, p.135-147, July, 2007
	Nedzad Dukić , Zikrija Avdagić, Fuzzy Functional Dependency and the Resolution Principle, Informatica, v.16 n.1, p.45-60, January 2005
	Juan Antonio Guerrero , Ginés Moreno, Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding, Electronic Notes in Theoretical Computer Science (ENTCS), 219, p.19-34, November, 2008
	Richard A. LeFaivre, Procedural representation in a fuzzy problem-solving system, Proceedings of the June 7-10, 1976, national computer conference and exposition, June 07-10, 1976, New York, New York
	Xiang Li , Baoding Liu, Foundation of credibilistic logic, Fuzzy Optimization and Decision Making, v.8 n.1, p.91-102, March 2009
	Ginés Moreno , Vicente Pascual, A hybrid programming scheme combining fuzzy-logic and functional-logic resources, Fuzzy Sets and Systems, v.160 n.10, p.1402-1419, May, 2009
	Pascual Julián-Iranzo , Clemente Rubio-Manzano , Juan Gallardo-Casero, Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering, Electronic Notes in Theoretical Computer Science (ENTCS), 248, p.131-147, August, 2009
	Umberto Straccia, Reasoning within fuzzy description logics, Journal of Artificial Intelligence Research, v.14 n.1, p.137-166, January 2001
	Mitsuru Ishizuka , Naoki Kanai, Prolog-ELF incorporating fuzzy logic, Proceedings of the 9th international joint conference on Artificial intelligence, p.701-703, August 18-23, 1985, Los Angeles, California
	Liu XuHua, Lock, linear κ-paramodulation in operator fuzzy logic, Proceedings of the 11th international joint conference on Artificial intelligence, p.435-440, August 20-25, 1989, Detroit, Michigan
	Didier Dubois , Jerome Lang , Henri Prade, Theorem proving under uncertainty: a possibility theory-based approach, Proceedings of the 10th international joint conference on Artificial intelligence, p.984-986, August 23-28, 1987, Milan, Italy
	Cheng Xiaochun , Jiang Yunfei , Liu Xuhua, The rationality and decidability of fuzzy implications, Proceedings of the 14th international joint conference on Artificial intelligence, p.1910-1915, August 20-25, 1995, Montreal, Quebec, Canada