Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants

International Journal of Intelligent Systems

Volumn 17, Issue 9, 2002, Pages 887-924

  Alsinet, Teresa ^a   Godo, Lluís ^b  

^a UNIVERSITY OF LLEIDA   (Spain)

^b ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FUZZY SETS; INFERENCE ENGINES; MEMBERSHIP FUNCTIONS; PROBABILISTIC LOGICS; SEMANTICS; SYNTACTICS;

AUTOMATED DEDUCTION SYSTEM; DIRECTIONAL FUZZY UNIFICATION ALGORITHM; FIRST-ORDER POSSIBILISTIC LOGIC PROGRAMMING; FUZZY CONSTANTS;

LOGIC PROGRAMMING;

EID: 0036736416     PISSN: 08848173     EISSN: None     Source Type: Journal    
DOI: 10.1002/int.10069     Document Type: Article

References (39)

1. A complete calculus for possibilistic logic programming with fuzzy propositional variables
2. A complete proof method for possibilistic logic programming with semantical unification of fuzzy constants
3. On the semantics and automated deduction for PLFC, a logic of possibilistic uncertainty and fuzziness
4. A declarative programming environment for infinitely-valued logics
5. Logic programming
6. Extending unification through similarity relations
7. Fuzzy unification as a foundation of fuzzy logic programming
8. Evidential support logic programming
9. Towards the use of fuzzy rule-based systems in the monitoring of manufacturing systems
10. Fuzzy pattern matching
11. Towards possibilistic logic programming
12. Automated reasoning using possibilistic logic: Semantics, belief revision and variable certainty weights
13. Handling uncertainty, contex vague predicates and partial inconsistency in possibilistic logic
14. Possibilistic logic
15. Fuzzy sets in approximate reasoning-Part I: Inference with possibility distributions
16. Possibilistic logic augmented with fuzzy unification
17. Possibilistic logic with fuzzy constants and fuzzily restricted quantifiers
18. Similarity-based unification
19. Similarity in logic programming
20. Possibilistic temporal reasoning based on fuzzy temporal constraint. In:
21. Probabilistic description logics
22. Prolog-ELF incorporating fuzzy logic
23. Possibilistic logic as an annotated logic
24. Unification revisited
25. A fuzzy prolog database system
26. Probabilistic logic programming
27. An efficient unification algorithm
28. Fundamentals of fuzzy prolog
29. Contextual fuzzy unification
30. A machine-oriented logic based on the resolution principle
31. Treatment of temporal information in possibilistic logic with fuzzy constants
32. Fuzzy set prolog
33. Fuzzy unification
34. Linguistic logic programming
35. Fuzzy reasoning with tunable t-operators
36. Fuzzy operator logic and fuzzy resolution