Fuzzy unification and first order probabilistic logic

DOI10.1002/INT.10066zbMATH Open1018.03516OpenAlexW2045466213MaRDI QIDQ4805682FDOQ4805682

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (6)

• Title not available (Why is that?)
• 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)