A proof procedure for possibilistic logic programming with fuzzy constants

DOI10.1007/3-540-44652-4_67MaRDI QIDQ4784883zbMATH OpenFDO

Authors Teresa Alsinet, Lluís Godo

Publication date 12 December 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2143/21430760

Mathematics Subject Classification ID

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

Recommendations

• 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
• scientific article; zbMATH DE number 5210633
• Fuzzy logic programming
• Fuzzy Prolog: A new approach using soft constraints propagation

Cited in

(7)

• Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
• Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description
• Fuzzy unification and first order probabilistic logic
• Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants
• 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
• A logic programming framework for possibilistic argumentation: Formalization and logical properties

This page was built for publication: A proof procedure for possibilistic logic programming with fuzzy constants

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