Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants

DOI10.1016/j.fss.2003.10.013zbMath1076.68079OpenAlexW1964208702WikidataQ61918784 ScholiaQ61918784MaRDI QIDQ598575

Teresa Alsinet, Lluís Godo

Publication date: 6 August 2004

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10459.1/46632

zbMATH Keywords

Fuzzy constantsHorn-rule sublogicPossibilistic logicSimilarity-based unification

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (3)

Meta-logic programming for a synonymy logic ⋮ Cognitive Metaphor-Based Fuzzy Similarity Reasoning ⋮ Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification

Uses Software

• FRIL
• KOMET

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An annotated logic theorem prover for an extended possibilistic logic
• Approximate reasoning by similarity-based SLD resolution.
• A logical approach to interpolation based on similarity relations
• Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification
• Fuzzy logic programming

This page was built for publication: Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants