From Rough Sets to Rough Knowledge Bases

Fundamenta Informaticae

Volumn 57, Issue 2-4, 2003, Pages 215-246

  Vitória, Aida ^a   Damásio, Carlos Viegas ^b   Małuszyński, Jan ^a  

^a LINKÖPING UNIVERSITY   (Sweden)

^b UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

Incomplete reasoning; Logic programming; Rough sets; Stable models; Uncertain reasoning

Indexed keywords

INFORMATION RETRIEVAL; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING; QUERY LANGUAGES; ROUGH SET THEORY; SEMANTICS;

STABLE MODELS; UNCERTAIN REASONING;

KNOWLEDGE REPRESENTATION;

EID: 1642526695     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (21)

1. Alferes, J. J., Leite, J. A., Pereira, L. M., Przymusinska, H., Przymusiski, T. C.: Dynamic Updates of Non-monotonic Knowledge Bases, Journal of Logic Programming, number 45, Elsevier, 2000.
2. Almukdad, A., Nelson, D.: Constructible Falsity and Inexact Predicates, Journal of Symbolic Logic, 49, 1984, 231-233.
3. Apt, K., Bol, R.: Logic Programming and Negation: A Survey, Journal of Logic Programming, 19/20, Elsevier, May/July 1994.
4. Doherty, P., Lukaszewicz, W., Szalas, A.: ,GAKE: A Computer Aided Knowledge Engineering Technique, Proc. of the 15th European Conference on Artificial Intelligence, (ECAI'02), IOS Press, Amsterdam, 2002.
5. Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Soarcello, F.: The KR System dlv: Progress Report, Comparisons and Benchmarks, KR'98: Principles of Knowledge-Representation and Reasoning (A. G. Cohn, L. Schubert, S. C. Shapiro, Eds.), Morgan Kaufmann, San Francisco, California, 1998.
6. Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming, Proc. of the 5th International Conference on Logic Programming (R. A. Kowalski, K. Bowen, Eds.), MIT Press, Seattle, USA, 1988.
7. Gelfond, M., Lifschitz, V.: Logic programs with Classical Negation, Proc. of the 7th International Conference on Logic Programming (Warren, Szeredi, Eds.), MIT Press, 1990.
8. Inoue, K., Sakama, C.: Negation as Failure in the Head, Journal of Logic Programming, 35(1), 1998, 39-78.
9. Komorowski, J., & Oslash;hrn, A.: Modelling Prognostic Power of Cardiac Tests using Rough Sets, Journal of Artificial Intelligence in Medicine, 15(2), 1999, 167-191.
10. Komorowski, J., Pawlak, Z., Polkowski, L., Skowron, A.: Rough Sets: A Tutorial, Rough Fuzzy Hybridization. A New Trend in Decision-Making, Springer-Verlag, 1999.
11. Niemelä, I., Simons, P.: Efficient Implementation of the Well-founded and Stable Model Semantics, Proc. of the Joint International Conference and Symposium on Logic Programming (M. Maher, Ed.), MIT Press, Bonn, Germany, 1996.
12. Pawlak, Z.: Rough Sets, International Journal of Information and Computer Science, 11(5), 1982, 341-356.
13. Pawlak, Z.: Rough sets. Theoretical Aspects of Reasoning about Data, Kluwer Academic Publishers, Dordrecht, 1991.
14. Pearce, D.: Answer sets and constructive logic, II: Extended logic programs and related non-monotonic formalisms, Logic Programming and Nonmonotonic Reasoning - Proc. of the 2nd International Workshop (L. Pereira, A. Nerode, Eds.), MIT Press, 1993.
15. Reiter, R.: A Logic for Deafult Reasoning, Journal of Artificial Intelligence, 13, 1980, 81-132.
16. Sakama, C., Inoue, K.: Paraconsistent Stable Semantics for Extended Disjunctive Programs, Journal of Logic and Computation, 5(3), 1995, 265-285.
17. Vitoria, A., Damásio, C. V., Maluszyński, J.: Query Answering for Rough Knowledge Bases, Proc. of the 9th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, RSFDGrC'03, Chongqing, China (G. Wang, Q. Liu, Y. Yao, A. Skowron, Eds.), 2639, Springer, 2003, ISBN 3-540-14040-9.
18. Vitoria, A., Maluszynski, J.: A Logic Programming Farmework for Rough Sets, Proc. of the 3rd International Conference on Rough Sets and Current Trends in Computing, RSCTC'02 (J. Alpigini, J. Peters, A. Skowron, N. Zhong, Eds.), number 2475 in LNCS/LNAI, Springer-Verlag, 2002.
19. Ziarko, W: Variable Precision Rough Set Model, Journal of Computer and Systems Science, 46(1), 1993, 39-59.
20. Ziarko, W.: Acquisition of Hierarchy-Structured Probabilistic Decision Tables and Rules from Data, Proc. of the World Congress on Computational Intelligence, Honolulu, 2002.
21. Ziarko, W., Fei, X.: VPRSM Approach to WEB Searching, Proc. of the 3rd International Conference on Rough Sets and Current Trends in Computing, RSCTC'02 (J. Alpigini, J. Peters, A. Skowron, N. Zhong, Eds.), number 2475 in LNCS/LNAI, Springer-Verlag, 2002.