Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification

DOI10.1016/S1571-0661(04)80511-5zbMath1270.68058OpenAlexW1479890383WikidataQ61918789 ScholiaQ61918789MaRDI QIDQ2842591

Lluís Godo, Teresa Alsinet, Sandra Aparecida Sandri

Publication date: 15 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80511-5

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Mechanization of proofs and logical operations (03B35) Logic programming (68N17) Many-valued logic (03B50)

Related Items

Possibilistic logic: a retrospective and prospective view ⋮ Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants ⋮ An annotated logic theorem prover for an extended possibilistic logic ⋮ Extending possibilistic logic over Gödel logic ⋮ A core language for fuzzy answer set programming ⋮ Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification ⋮ Exploring Extensions of Possibilistic Logic over Gödel Logic ⋮ Aggregated fuzzy answer set programming ⋮ The possibilistic Horn non-clausal knowledge bases

Uses Software

• FRIL
• KOMET

Cites Work

• Unnamed Item
• Unnamed Item
• Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants
• An annotated logic theorem prover for an extended possibilistic logic
• Approximate reasoning by similarity-based SLD resolution.
• Similarity-based unification: A multi-adjoint approach
• Fuzzy logic programming