A resolution-based system for symbolic approximate reasoning

DOI10.1016/0888-613X(95)00075-RMaRDI QIDQ1809351zbMATH OpenFDO

Authors Hsing Tai Chung, Daniel G. Schwartz

Publication date 20 December 1999

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

Full work available at URL https://doi.org/10.1016/0888-613X(95)00075-R

Mathematics Subject Classification ID

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

Cites work

• Evidential support logic programming
• FLISP - a language for processing fuzzy data
• Fuzzy sets
• scientific article; zbMATH DE number 4053069 (Why is no real title available?)
• scientific article; zbMATH DE number 3466489 (Why is no real title available?)
• scientific article; zbMATH DE number 784349 (Why is no real title available?)
• scientific article; zbMATH DE number 3320385 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• Outline of a New Approach to the Analysis of Complex Systems and Decision Processes
• PRUF—a meaning representation language for natural languages
• 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

Cited in

(1)

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

Describes a project that uses

Uses Software

• FLISP
• FuzzyCLIPS

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1809351)