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

DOI10.1016/j.fss.2003.10.013zbMath1076.68079WikidataQ61918784 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 constants; Horn-rule sublogic; Possibilistic logic; Similarity-based unification

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T37: Reasoning under uncertainty in the context of artificial intelligence

Related Items

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

Uses Software

• FRIL
• KOMET

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item