A comparison of fuzzy and annotated logic programming

Fuzzy Sets and Systems

Volumn 144, Issue 1, 2004, Pages 173-192

  Krajči, Stanislav ^a   Lencses, Rastislav ^a   Vojtáš, Peter ^a,b,c  

^a P J AFÁRIK UNIVERSITY   (Slovakia)

^b INSTITUTE OF COMPUTER SCIENCE   (Czech Republic)

^c INSTITUTE OF CHEMISTRY   (Slovakia)

Author keywords

Continuous semantics and computable fixpoint; Declarative and procedural semantics; Fuzzy logic programming; Generalized annotated programs; Soundness and completeness

Indexed keywords

APPROXIMATION THEORY; DATABASE SYSTEMS; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; SEMANTICS; UNCERTAIN SYSTEMS;

DEDUCTIVE DATABASES; GENERALIZED ANNOTATED PROGRAMS;

FUZZY SETS;

EID: 1842842037     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2003.10.019     Document Type: Article

References (24)

1. Arenas M., Bertossi L., Kifer M. Applications of annotated predicate calculus to querying inconsistent databases. Lloyd J., et al. Proc. CL'2000/DOOD'2000. Lecture Notes in Computer Science. vol. 1861:2000;926-941 Springer, Berlin.
2. Baldwin J.F. Evidential support logic programming. Fuzzy Sets and Systems. 24:1987;1-26.
3. L. Bertossi, J. Chomicki, Query answering in inconsistent databases, in: J. Chomicki, R. van der Meyden, G. Saake (Eds.), Logics for Emerging Applications of Databases, Springer Verlag, Berlin, 2004, pp. 43-84.
4. Damasio C.V., Pereira L.M. Hybrid probabilistic logic programs as residuated logic programs. Aciego M.O., de Guzman I.P., Brewka G., Pereira L.M. Logics in AI, Proc. JELIA'00. Lecture Notes in Computer Science. vol. 1919:2000;57-72 Springer, Berlin.
5. A. Dekhtyar, V.S. Subrahmanian, Hybrid probabilistic programs, in: ICLP 1997, MIT Press, Cambridge, 1997, pp. 391-405.
6. D. Dubois, J. Lang, H. Prade, Possibilistic logic, in: D.M. Gabbay, et al. (Eds.), Handbook of Logic in AI and LP, vol. 3, Oxford University Press, Oxford, 1994, pp. 439-513.
7. Dubois D., Lang J., Prade H. Fuzzy sets in approximate reasoning, Part 2. logical approaches Fuzzy Sets and Systems. 40:1991;203-244.
8. Eiter T., Mascardi V., Subrahmanian V.S. Error-tolerant agents. Antonis C., Fariba Sadri Kakas, Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I. Lecture Notes in Computer Science. vol. 2407:2002;586-625 Springer, Berlin.
9. Fitting M. Fixpoint semantics for logic programming, a survey. Theoret. Comput. Sci. 278:2002;25-51.
10. Gerla G. Fuzzy Logic: Mathematical Tools for Approximate Reasoning. 2000;Kluwer, Dordrecht.
11. Gottwald S. A Treatise on Many-Valued Logics. 2001;Research Studies Press, Baldock.
12. R. Haehnle, Uniform notation of tableau rules for multiple-valued logics, in: Proc. Internat. Symp. on Multiple Valued Logic, Computer Society Press, Los Alamitos, CA, 1991, pp. 26-29.
13. Hájek P. Metamathematics of Fuzzy Logic. 1999;Kluwer, Dordrecht.
14. Kifer M., Subrahmanian V.S. Theory of generalized annotated logic programming and its applications. J. Logic Programing. 12:1992;335-367.
15. Krajči S., Lencses R., Vojtáš P. A data model for annotated programs. Manolopoulos Y., Návrat P. ADBIS'02-Research Com. 2002;141-154 Vydavatelstvo STU, Bratislava.
16. P. Kullmann, S. Sandri, An annotated logic theorem prover for an extended possibilistic logic, Fuzzy Sets and Systems, this issue.
17. Lu J.J. Programming with signs and annotations. J. Logic Comput. 6:1996;755-778.
18. T. Lukasiewicz. Probabilistic and truth-functional many-valued logic programming, in: Proc. ISMVL 1999, IEEE Computer Society, Freiburg im Breisgau, Germany, 1999, pp. 235-240.
19. Pokorný J., Vojtáš P. A data model for flexible querying. Caplinskas A., Eder J. Proc. ADBIS'01. Lecture Notes in Computer Science. vol. 2151:2001;280-293 Springer, Berlin.
20. Sessa M.I. Approximate reasoning by similarity-based SLD resolution. Theoret. Comput. Sci. 275:2002;389-426.
21. Subrahmanian V.S., Bonatti P.A., Dix J., Eiter T., Kraus S., Ozcan F., Ross R. Heterogenous Active Agents. 2000;MIT Press, Cambridge.
22. Vojtáš P. Fuzzy logic programming. Fuzzy Sets and Systems. 124:2001;361-370.
23. P. Vojtáš, T. Alsinet, L. Godo, Different models of fuzzy logic programming with fuzzy unification (towards revision of fuzzy databases), in: Proc. Joint 9th IFSA World Congr. and 20th NAFIPS Internat. Conf. (IFSA-NAFIPS 2001) Vancouver, IEEE, 2001, pp. 1541-1546, available on CD, ISBN 0-7803-7079-1, IEEE Catalogue number 01TH8569C.
24. Vojtáš P., Paulík L. Soundness and completeness of non-classical extended SLD resolution. Dyckhoff R., et al. Proc. ELP'96, Leipzig. Lecture Notes in Computer Science. vol. 1050:1996;289-301 Springer, Berlin.