scientific article; zbMATH DE number 4092820

MaRDI QIDQ3820052zbMATH OpenFDO

Authors Zuliang Shen, Liya Ding, Masao Mukaidono

Publication date 1988

zbMATH Keywords

fuzzy first-order logicfuzzy inferenceFuzzy Prolog Machinefuzzy resolution principle

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Fuzzy logic; logic of vagueness (03B52)

Recommendations

• Fundamentals of Fuzzy Prolog
• scientific article; zbMATH DE number 737142
• The implementation of FPROLOG - a fuzzy PROLOG interpreter
• Fuzzy operator logic and fuzzy resolution
• scientific article; zbMATH DE number 764342

Cited in

(8)

• Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
• Fundamentals of Fuzzy Prolog
• Applications of the theory of fuzzy sets
• Fuzzy operator logic and fuzzy resolution
• \(\Lambda\)-resolution and interpretation of \(\Lambda\)-implication in fuzzy operator logic
• Fuzzy sets in approximate reasoning. II: Logical approaches
• Neural extension of Fuzzy Prolog
• From fuzzy to annotated semantic web languages

This page was built for publication:

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