Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: A comparative description

Electronic Notes in Theoretical Computer Science

Volumn 66, Issue 5, 2002, Pages 1-21

  Alsinet, Teresa ^a   Godo, Lluís ^b   Sandri, Sandra ^c  

^a UNIVERSITY OF LLEIDA   (Spain)

^b ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

^c INSTITUTO NACIONAL DE PESQUISAS ESPACIAIS   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; FUZZY SETS; KNOWLEDGE REPRESENTATION; MATHEMATICAL MODELS; PATTERN MATCHING; SEMANTICS;

CLAUSE FRAGMENTS; FUZZY CONTEXT; FUZZY UNIFICATION; POSSIBILISTIC LOGIC;

LOGIC PROGRAMMING;

EID: 1842849837     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80511-5     Document Type: Conference Paper

References (28)

1. T. Alsinet and L. Godo. A complete calculus for possibilistic logic programming with fuzzy propositional variables. In Proc. of UAI'2000 Conference, pp. 1-10, Stanford, CA, 2000.
2. T. Alsinet and L. Godo. A complete proof method for possibilistic logic programming with semantical unification of fuzzy constants. In Proc. of ESTYLF'2000 Conference, pp. 279-284, Sevilla, Spain, 2000.
3. T. Alsinet and L. Godo. A proof procedure for Possibilistic logic programming with fuzzy constants. In Proc. of ECSQARU'2001, Toulouse (France), Sept. 2001, LNAI 2143, Springer, pp. 760-771.
4. T. Alsinet and L. Godo. Adding similarity-based reasoning capabilities to a Horn fragment of Possbilistic Logic with Fuzzy Constants. Submitted.
5. T. Alsinet, L. Godo, and S. Sandri. On the semantics and automated deduction for PLFC, a logic of possibilistic uncertainty and fuzziness. In Proc. of UAI'99 Conference, pp. 3-12, Stockholm, Sweden, 1999.
6. Arcelli F., Formato F., Gerla G. Fuzzy unification as a foundation of fuzzy logic programming. Arcelli F., Martin T.P. Logic Programming and Soft Computing, chapter 3. 1998;51-68 Research Studies Press
7. Baldwin J.F., Martin T.P., Pilsworth B.W. Fril - Fuzzy and Evidential Reasoning in Artificial Intelligence. 1995;Research Studies Press
8. Bel G., Farreny D., Prade H. Towards the use of fuzzy rule-based systems in the monitoring of manufactoring systems. Mc Waters J.F., Crestin J.P. Software for Discret Manufacturing. 1986;525-535 North-Holland
9. Calmet J., Jekutsch S., Kullmann P., Schü S. KOMET - A system for the integration of heterogeneous information sources. Raś Z.W., Skowron A. Foundations of Intelligent Systems, Lecture Notes in Artificial Intelligence. 1325:1997;318-327 Springer Verlag
10. Cayrol M., Farreny H., Prade H. Fuzzy pattern matching. Kybernetes. 11:1982;103-116
11. Dubois D., Lang J., Prade H. Possibilistic logic. Gabbay D.M., Hogger C.J., Robinson J.A. Handbook of Logic in Artificial Intelligence and Logic Programming. 1994;439-513 Oxford University Press
12. Dubois D., Prade H., Sandri S. Possibilistic logic with fuzzy constants and fuzzily restricted quantifiers. Arcelli F., Martin T.P. Logic Programming and Soft Computing. 1998;69-90 Research Studies Press
13. L. Rios-Filho, S. Sandri. Contextual fuzzy unification. In Proc. IFSA'95 São Paulo (Brazil), pp. 81-84, 1995.
14. Gerla G., Sessa M.I. Similarity in Logic Programming. Chen G., Ying M., Cai K. Fuzzy Logic and Soft Computing, chapter 2. 1999;19-31 Kluwer
15. L. Godo and L. Vila. Possibilistic Temporal Reasoning based on Fuzzy Temporal Constraints. In Proceedings IJCAI'95, Montreal (Canada), Vol. 2, pp. 1916-1922, 1995.
16. Formato F., Gerla G., Sessa M. Similarity-based unification. Fundamenta Informaticae. 40:2000;1-22
17. Kifer M., Subrahmanian V.S. Theory of Generalized Annotated Logic Programming. Journal of Logic Programming. Vol. 12:(1):1999;335-367
18. P. Kullmann, and S. Sandri, Possibilistic logic as an annotated logic. In Proc. Fuzz-IEEE'99, Seoul (S. Korea), 1999, pp. 210-215.
19. P. Kullmann, and S. Sandri. Implementation of an Extended Possibilistic Logic in an Annotated Logic Theorem Prover. In Proc. IFSA-NAFIPS'2001, Vancouver (Ca), Jul. 2001, pp. 1529-1534.
20. J. Medina, M. Ojeda-Aciego, and P. Vojtás. Similarity-based unification: a multi-adjoint approach. In Proc. EUSFLAT Conference in Fuzzy Logic and Technology, pp. 273-276, 2001.
21. S. Sandri, and L. Godo. Treatment of temporal information in possibilistic logic with fuzzy constants. In Proc. IFSA'99, Taipei (ROC), pp. 561-565, 1999.
22. Sessa M.I. Approximate reasoning by similarity-based SLD resolution. Theoretical Computer Science. 275:(1-2):2002;389-426
23. V.S. Subrahmanian. On the Semantics of Quantitative Logic Programs. Proc. 4th IEEE Symposium on Logic Programming, Computer Society Press, Washington DC, pp. 173-182, 1987.
24. M. Umano. Fuzzy set prolog. In Proceedings 2nd IFSA Congress, pp. 750-753, Tokyo, Japan, 1987.
25. Virtanen H.E. Linguistic logic programming. Arcelli F., Martin T.P. Logic Programming and Soft Computing. 1998;91-128 Research Studies Press
26. Vinař J., Vojtáš P. A formal model for fuzzy knowledge based systems with similarities. Neural Network World. 10:(5):2000;891-905
27. Vojáš P. Fuzzy logic programming. Fuzzy Sets and Systems. 124:(3):2001;361-370
28. P. Vojtás, T. Alsinet, and L. Godo. Different models of fuzzy logic programming with fuzzy unification (towards a revision of fuzzy databases). In Proc. IFSANAFIPS'2001, July 2001, Vancouver (Canada) pp. 1541-1545.