A four-valued logic for rough set-like approximate reasoning

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

Volumn 4374 LNCS, Issue PART 1, 2007, Pages 176-190

  Małuszyń̃ski, Jan ^a   Szatas, Andrzej ^a,b   Vitória, Aida ^a  

^a LINKÖPING UNIVERSITY   (Sweden)

^b University of Computer Science and Economics   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; QUERY LANGUAGES; SEMANTICS;

APPROXIMATE REASONING; BACKGROUND KNOWLEDGE; BASIC ROUGH SET FORMALISM; OPERATIONAL SEMANTICS;

ROUGH SET THEORY;

EID: 39149122220     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71200-8_11     Document Type: Conference Paper

References (28)

1. Pawlak, Z.: Information systems - theoretical foundations. Information Systems 6 (1981) 205-218
2. Belnap, N.: A useful four-valued logic. In Eptein, G., Dunn, J., eds.: Modern Uses of Many Valued Logic, Reidel (1977) 8-37
3. Belnap, N.: How a computer should think. In Ryle, G., ed.: Contemporary Aspects of Philosophy, Stocksfield, Oriel Press (1977) 30-55
4. Pawlak, Z.: Rough sets. International Journal of Computer and Information Sciences 11 (1982) 341-356
5. Pawlak, Z.: Rough logic. Bull. Polish Acad. Sci. Tech 35 (1987) 253-258
6. Pawlak, Z.: Rough Sets. Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht (1991)
7. Skowron, A., Stepaniuk, J.: Tolerance approximation spaces. Fundamenta Informaticae 27 (1996) 245-253
8. Słowiński, R., Vanderpooten, D.: Similarity relation as a basis for rough approximations. In Wang, P., ed.: Advances in Machine Intelligence & Soft Computing, Raleigh NC, Bookwrights(1997) 17-33
9. Słowinski, R., Vanderpooten, D.: A generalized definition of rough approximations based on similarity. IEEE Trans. on Data and Knowledge Engineering 12(2) (2000) 331-336
10. Doherty, P., Lukaszewicz, W., Szalas, A.: Tolerance spaces and approximative representational structures. In Günter, A., Kruse, R., Neumann, B., eds.: Proc. 26th German Conf. on AI, KI'2003. Volume 2821 of LNAI., Springer-Verlag (2003) 475-489
11. Doherty, P., Lukaszewicz, W., Szalas, A.: Approximate databases and query techniques for agents with heterogenous perceptual capabilities. In: Proceedings of the 7th Int. Conf. on Information Fusion, FUSION'2004. (2004) 175-182
12. Doherty, P., Szalas, A.: On the correspondence between approximations and similarity. In Tsumoto, S., Slowinski, R., Komorowski, J., Grzymala-Busse, J., eds.: Proceedings of 4th International Conference on Rough Sets and Current Trends in Computing, RSCTC'2004. Volume 3066 of LNAI., Springer-Verlag (2004) 143-152
13. Doherty, P., Lukaszewicz, W., Skowron, A., Szalas, A.: Knowledge Representation Techniques. A Rough Set Approach. Volume 202 of Studies in Fuziness and Soft Computing. Springer-Verlag (2006)
14. Andersson, R., Vitória, A., Maluszyñski, J., Komorowski, J.: Rosy: A rough knowledge base system. In: RSFDGrC (2). Volume 3642 of Lecture Notes in Computer Science., Springer (2005) 48-58
15. Vitoria, A.: A framework for reasoning with rough sets. Transactions on Rough Sets IV 3700 (2005)178-276
16. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley Pub. Co. (1996)
17. Doherty, P., Lukaszewicz, W., Szałas, A.: CAKE: A computer-aided knowledge engineering technique. In van Harmelen, F., ed.: Proc. 15th European Conference on Artificial Intelligence, ECAI'2002, Amsterdam, IOS Press (2002) 220-224
18. Doherty, P., Magnusson, M., Szałas, A.: Approximate databases: A support tool for approximate reasoning. Journal of Applied Non-Classical Logics 16 (2006) 87-118 Special issue on Implementation of logics.
19. Pawlak, Z.: A treatise on rough sets. Transactions on Rough Sets IV 3700 (2005) 1-17
20. Vitoria, A., Damásio, C., Maluszyński, J.: Query answering for rough knowledge bases. In Wang, G., Liu, Q., Yao, Y., Skowron, A., eds.: Proceedings of 9th Internatinal Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing. Volume 2639 of LNCS. Springer-Verlag (2003) 197-204
21. Ginsberg, M.: Multi-valued logics. In: Proceedings of AAAI-86, Fifth National Conference on Artificial Intelligence. (1986) 243-247
22. Ginsberg, M.: Multivalued logics: a uniform approach to reasoning in ai. Computational Intelligence 4 (1988) 256-316
23. Fitting, M.: Bilattices are nice things. In: Proc. PhiLog Conference on Self-Reference, Copenhagen, The Danish Network for Philosophical Logic and Its Applications (2002)
24. Deransart, P., Ed-Bali, A., Cervoni, L.: Prolog: The Standard Reference Manual. Springer-Verlag (1996)
25. : XSB system. (Available at http://xsb.sourceforge.net/)
26. Niemelä, I., Simons, P.: Smodels - an implementation of stable model and the well-founded semantics for normal logic programs. In Dix, J., Furbach, U., Nerode, A., eds.: Proc. of the 4th Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR'97). Volume 1265 of LNAL, Springer-Verlag (1997) 420-429
27. Simons, P.: Smodels system. (Available at http://www.tcs.hut.fi/Software/ smodels/)
28. Nilsson, U., Małuszynski, J.: Logic, Programming and Prolog, 2nd edition. John Wiley & Sons, http://www.ida.liu.se/~ulfni/lpp/copyright.html (1995)