A Logic Programming Framework for Rough Sets

  • Aida Vitória
  • Jan Maflluszyński
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2475)


We propose a framework for defining and reasoning about rough sets based on definite extended logic programs. Moreover, we introduce a rough-set-specific query language. Several motivating examples are also presented. Thus, we establish a link between rough set theory and logic programming that makes possible transfer of expertise between these fields and combination of the techniques originating from both fields.


Logic Program Logic Programming Query Language Decision Table Predicate Symbol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Pawlak, Z.: Rough sets. Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht (1991)Google Scholar
  2. 2.
    Pagliani, P.: Rough set theory and logic-algebraic structures. In Incomplete Information. Rough Set Analysis. Springer Physica-Verlag (1998)Google Scholar
  3. 3.
    Pawlak, Z., Slowinski, K., Slowinski. R.: Rough classification of patients after highly selective vagotomy for duodenal ulcer. International Journal of Man-Machine Studies (1998) 413–433Google Scholar
  4. 4.
    Maluszyński, J., Vitória, A.: Towards rough datalog: Embedding rough sets in Prolog. In Pal, S. K., Polkowski, L., eds.: Rough-Neuro Computing, AI, (Springer-Verlag) To appear.Google Scholar
  5. 5.
    Damásio, C. V., Pereira, L.M.: A survey of paraconsistent semantics for logic programs. In Gabbay, D. M., Smets, Ph., eds.: Handbook of Defeasible Reasoning and Uncertainty Management Systems. Volume 2, Kluwer Academic Publishers (1998) 241–320Google Scholar
  6. 6.
    Komorowski, J., Pawlak, Z., Polkowski, L., Skowron, A.: Rough sets: A tutorial. In: Rough Fuzzy Hybridization. A New Trend in Decision-Making. Springer-Verlag (1999)Google Scholar
  7. 7.
    Lloyd, J.W.: Foundations of Logic Programming. Springer-Verlag (1987)Google Scholar
  8. 8.
    Deransart, P., Ed-Bali, A., Cervoni, L.: Prolog: The Standard Reference Manual. Springer-Verlag (1996)Google Scholar
  9. 9.
    Ma5luszyński, J., Vitória, A.: Defining rough sets by extended logic programs. In: Paraconsistent Computational Logic Workshop (PCL’02). (2002) To appear.Google Scholar
  10. 10.
    Øhrn, A., Komorowski, J.: ROSETTA: A rough set toolkit for analysis of data. In: Proc. of Third International Joint Conference on Information Sciences, Fifth International Workshop on Rough Sets and Soft Computing (RSSC’97). Volume 3, Durham, NC, USA (1997) 403–407Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Aida Vitória
    • 1
  • Jan Maflluszyński
    • 2
  1. 1.Dept. of Science and TechnologyLinköping UniversityNorrköpingSweden
  2. 2.Dept. of Computer and Information ScienceLinköping UniversityLinköpingSweden

Personalised recommendations