Fuzzy unification and first order probabilistic logic

DOI10.1002/INT.10066MaRDI QIDQ4805682zbMATH OpenOpenAlexFDO

Authors Marco Piastra

Publication date 8 May 2003

Published in International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/int.10066

zbMATH Keywords

fuzzy setsfuzzy logic programmingfuzzy unificationfirst-order probabilistic modal logic

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Probability and inductive logic (03B48) Logic programming (68N17) Logic in computer science (03B70)

Recommendations

• Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description
• Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants
• Fuzzy logic programming
• Declarative and procedural semantics of fuzzy similarity based unification
• scientific article; zbMATH DE number 1844514

Cited in

(6)

• scientific article; zbMATH DE number 5669606 (Why is no real title available?)
• Uncertain fuzzy values still in the framework of first-order logic
• Fuzzy logics based on \([0,1)\)-continuous uninorms
• Fuzzy refutations for probability and multivalued logics
• Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants
• Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description

This page was built for publication: Fuzzy unification and first order probabilistic logic

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