Fundamentals of Fuzzy Prolog

DOI10.1016/0888-613X(89)90005-4zbMath0666.68089OpenAlexW2063238431MaRDI QIDQ1116716

Liya Ding, Zuliang Shen, Masao Mukaidono

Publication date: 1989

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

Full work available at URL: https://doi.org/10.1016/0888-613x(89)90005-4

zbMATH Keywords

fuzzy inferenceFuzzy Prologfuzzy first-order logicfuzzy resolution principle

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Related Items

Beyond multi-adjoint logic programming, Fuzzy sets in approximate reasoning. II: Logical approaches, A representation of exponential form on fuzzy logic, Fuzzy Prolog: A new approach using soft constraints propagation, Tabulation proof procedures for fuzzy linguistic logic programming, From Fuzzy to Annotated Semantic Web Languages, Is there a need for fuzzy logic?, A TUPLE-ORIENTED ALGORITHM FOR DEDUCTION IN A FUZZY RELATIONAL DATABASE, Fuzzy logic programming, Annotated fuzzy logic programs, Similarity-based SLD resolution and its role for web knowledge discovery, Approximate well-founded semantics, query answering and generalized normal logic programs over lattices, Fuzzy types: A framework for handling uncertainty about types of objects, Approximate reasoning by similarity-based SLD resolution.

Cites Work

• A Machine-Oriented Logic Based on the Resolution Principle
• Fuzzy Logic and the Resolution Principle
• Unnamed Item