Soundness and completeness of non-classical extended SLD-resolution

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1050, Issue , 1996, Pages 289-301

  Vojtás, Peter ^a,b   Paulík, Leonard ^b  

^a P J AFÁRIK UNIVERSITY   (Slovakia)

^b INSTITUTE OF CHEMISTRY   (Slovakia)

Author keywords

Completeness; Confidence factor; Extended logic programming; Non classical logic; SLD resolution; Soundness

Indexed keywords

EXPERT SYSTEMS; LOGIC PROGRAMMING; MANY VALUED LOGICS; PROLOG (PROGRAMMING LANGUAGE); SEMANTICS;

COMPLETENESS; CONFIDENCE FACTORS; EXTENDED LOGIC PROGRAMMING; NON-CLASSICAL LOGIC; SLD RESOLUTION; SOUNDNESS;

COMPUTER CIRCUITS;

EID: 84955608352     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60983-0_20     Document Type: Conference Paper

References (18)

1. [Ap] Apt, K. R.: Logic programming. In: van Leeuwen, J.(Ed.): Handbook of Theoretical Computer Science, Vol. B, Formal methods and semantics, 493-574, Elsevier, 1990
2. [Ar] The Arity/Expert language. Arity Corp., Concord MA, 1986
3. [DSM] Ding L., Shen Z. L., Mukaidono M.: Fuzzy linear resolution as the inference engine of intelligent systems. In: Ras Z. W. (Ed.): Methodologies for Intelligent Systems, Volume 4, Elsevier Science Publ., Amsterdam, 1989, 1-8
4. [DLP] Dubois D., Lang J., Prade H.: Fuzzy sets in approximate reasoning, Part 2: Logical approaches. Fuzzy Sets and Systems 40 (1991) 203-244
5. [G] Gottwald, S.: Mehrwertige Logik. Akademie Verlag, Berlin, 1988
6. [Hi] Hájek, P.: Fuzzy logic and arithmetical hierarchy I. Fuzzy Sets and Systems (to appear)
7. [H2] Hájek, P.: Fuzzy logic and arithmetical hierarchy II. Preprint, 1995
8. [H3] Hájek, P.: Fuzzy logic from the logical point of view. In: Bartošek, M., Staudek, J., Wiedermann, J. (Eds.): SOFSEM'95: Theory and Practice of Informatics, 31-49, Lecture Notes in Comp. Sci., 1012, Springer, Berlin, 1995
9. [KK] Klawonn, K., Kruse, K.: A Lukasiewicz logic based Prolog. Mathware Soft Comput. 1 (1994) 5-29
10. [L] Lloyd, J.W.: Foundation of Logic Programming. Springer Verlag, Berlin, 1987
11. [M] Meritt, D.: Building Expert Systems in Prolog. Springer Verlag, Berlin, 1989
12. [MK] Mukaidono, M., Kikuchi, H.: Foundations of fuzzy logic programming. In: Wang, P-Z., Loe, K-F.(Eds.): Between Mind and Computer, 225-244, Advances in Fuzzy Systems-Applications and Theory, Vol.l, World Scientific Publ., Singapore
13. [N] Novák, V.: On the syntactico-semantical completeness of first-order fuzzy logic I, II. Kybernetika 26 (1990) 47-26, 134-152
14. [P] Pavelka, J.: On fuzzy logic I, II, III. Zeitschr. f. Math. Logik und Grundl. der Math. 25 (1979) 45-52, 119-134, 447-464
15. [SB] Shortliffe, E. H., Buchanan, B. G.: A model of inexact reasoning in medicine. Math. Biosci. 23 (1975) 351-379
16. [SS] Sterling, L., Shapiro, E.: The Art of Prolog. MIT Press, Cambridge MA, 1986
17. [VPL] Vojtáś, P., Paulík, L., Lieskovský, M: Expert systems and different logic systems. In: Žižka, J., Brazdil, P. (Eds.): Artificial Intelligence Techniques AIT'95, 233-239, Published by Tech. Univ., Brno, 1995
18. [VP] Vojtáš P., Paulík, L.: Logical Programming in RPL and RQL. In: Bartošek, M., Staudek, J., Wiedermann, J. (Eds.): SOFSEM'95: Theory and Practice of Informatics, 487-492, Lecture Notes in Comp. Sci., 1012, Springer, Berlin, 1995