A resolution-based system for symbolic approximate reasoning

DOI10.1016/0888-613X(95)00075-RzbMath0938.68859MaRDI QIDQ1809351

Hsing Tai Chung, Daniel G. Schwartz

Publication date: 20 December 1999

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Mechanization of proofs and logical operations (03B35)

Related Items (1)

An inference engine based on fuzzy logic for uncertain and imprecise expert reasoning

Uses Software

• FLISP
• FuzzyCLIPS

Cites Work

• FLISP - a language for processing fuzzy data
• Evidential support logic programming
• The concept of a linguistic variable and its application to approximate reasoning. I
• The concept of a linguistic variable and its application to approximate reasoning. III
• PRUF—a meaning representation language for natural languages
• Outline of a New Approach to the Analysis of Complex Systems and Decision Processes
• Fuzzy sets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A resolution-based system for symbolic approximate reasoning