Paraconsistent logic programs with four-valued rough sets

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

Volumn 5306 LNAI, Issue , 2008, Pages 41-51

  Małuszyński, Jan ^a   Szałas, Andrzej ^b   Vitória, Aida ^c  

^a TWP   (Poland)

^b UNIVERSITY OF WARSAW   (Poland)

^c LINKÖPING UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER CIRCUITS; LOGIC PROGRAMMING;

PARACONSISTENT LOGIC PROGRAMMING; PARACONSISTENT LOGIC PROGRAMS; SIMILARITY RELATIONS;

ROUGH SET THEORY;

EID: 57049170249     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88425-5_5     Document Type: Conference Paper

References (9)

1. Amo, S., Pais, M.S.: A paraconsistent logic approach for querying inconsistent databases. International Journal of Approximate Reasoning 46, 366-386 (2007)
2. Belnap, N.: A useful four-valued logic. In: Epstein, G., Dunn, J.M. (eds.) Modern Uses of Many Valued Logic, pp. 8-37. Reidel (1977)
3. Damásio, C.V., Pereira, L.M.: A survay of paraconsistent semantics for logic programs. In: Gabbay, D.M., Smets, P. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 2, pp. 241-320. Kluwer Academic Publishers, Dordrecht (1998)
4. Fitting, M.C.: Bilattices in logic programming. In: Epstein, G. (ed.) Proc. of the 20th International Symposium on Multiple-Valued Logic, pp. 238-246. IEEE CS Press, Los Alamitos (1990)
5. Fitting, M.C.: Fixpoint semantics for logic programming a survey. Theoretical Computer Science 278(1-2), 25-51 (2002)
6. Ginsberg, M.: Multivalued logics: a uniform approach to reasoning in AI. Computational Intelligence 4, 256-316 (1988)
7. Maluszyński, J., Szatas, A., Vitória, A.: A four-valued logic for rough set-like approximate reasoning. In: Duntsch, I., Grzymala-Busse, J., Orlowska, E., Polkowski, L. (eds.) Transactions on Rough Sets VI. LNCS, vol. 4374, pp. 176-190. Springer, Heidelberg (2007)
8. Pawlak, Z.: Rough Sets. Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht (1991)
9. Vitória, A., Szalas, A., Maluszyński, J.: A four-valued extension of rough sets. In: Wang, G., Li, T., Grzymala-Busse, J., Miao, D., Skowron, A., Yao, Y. (eds.) RSKT 2008. LNCS (LNAI), vol. 5009, pp. 106-114. Springer, Heidelberg (2008)