On the correspondence between approximations and similarity

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3066, Issue , 2004, Pages 143-152

  Doherty, Patrick ^a   Szałas, Andrzej ^b  

^a LINKÖPING UNIVERSITY   (Sweden)

^b TWP   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; CONSTRAINT THEORY; FORMAL LANGUAGES; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; SET THEORY; COMPUTATION THEORY; DATABASE SYSTEMS;

AUTOMATIC TRANSLATION; INDISCERNIBILITY PARTITIONS; MODAL CORRESPONDENCE THEORY; ROUGH SETS; APPROXIMATE SETS; INDISCERNIBILITY; QUANTIFIER ELIMINATION; SIMILARITY RELATIONS; SIMILARITY SPACES; WIDE SPECTRUM;

DATABASE SYSTEMS; ROUGH SET THEORY;

EID: 9444268140     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-25929-9_16     Document Type: Conference Paper

References (19)

1. W. Ackermann. Untersuchungen über das eliminationsproblem der mathematischen logik. Mathematische Annalen, 110:390-413, 1935.
2. R. A. Bull and K. Segerberg. Basic modal logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 2, pages 1-88. D. Reidel Pub. Co., 20198402.
3. B. F. Chellas. Modal Logic - an Introduction. Cambridge University Press, 1980.
4. P. Doherty, J. Kachniarz, and A. Szałas. Using contextually closed queries for local closed-world reasoning in rough knowledge databases. In [13], 2003.
5. P. Doherty, W. Łukaszewicz, A. Skowron, and A. Szałas. Approximation transducers and trees: A technique for combining rough and crisp knowledge. In S. K. Pal, L. Polkowski, and A. Skowron, editors, Rough-Neuro Computing: Techniques for Computing with Words, Heidelberg, 2003. Springer-Verlag.
6. P. Doherty, W. Łukaszewicz, and A. Szałas. Computing circumscription revisited. Journal of Automated Reasoning, 18(3):297-336, 1997.
7. P. Doherty, W. Łukaszewicz, and A Szałas. Information granules for intelligent knowledge structures. In Proc. 9th International Conference on rough sets, fuzzy sets, data mining and granular computing, LNCS. Springer-Verlag, 2003.
8. P. Doherty, W. Łukaszewicz, and A Szałas. Tolerance spaces and approximative representational structures. In Proceedings of 26th German Conference on Artificial Intelligence. Springer-Verlag, 2003.
9. G. E. Hughes and M. J. Cresswell. An Introduction to Modal Logic. Methuen and Co. Ltd., London, New York, 1968.
10. J. Kachniarz and A. Szałas. On a static approach to verification of integrity constraints in relational databases. In E. Orłowska and A. Szałas, editors, Relational Methods for Computer Science Applications, pages 97-109. Springer Physica-Verlag, 2001.
11. C-J Liau. An overview of rough set semantics for modal and quantifier logics. Int. Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 8(1):93-118, 2000.
12. A. Nonnengart, H.J. Ohlbach, and A. Szałas. Elimination of predicate quantifiers. In H.J. Ohlbach and U. Reyle, editors, Logic, Language and Reasoning. Essays in Honor of Dov Gabbay, Part I, pages 159-181. Kluwer, 1999.
13. S. K. Pal, L. Polkowski, and A. Skowron, editors. Rough-Neuro Computing: Techniques for Computing with Words. Springer-Verlag, Heidelberg, 2003.
14. Z. Pawlak. Rough Sets. Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht, 1991.
15. A. Skowron and J. Stepaniuk. Tolerance approximation spaces. Fundamenta Informaticae, 27:245-253, 1996.
16. R. Słowiński and D. Vanderpooten. Similarity relation as a basis for rough approximations. In P. Wang, editor, Advances in Machine Intelligence & Soft Computing, pages 17-33, Raleigh NC, 1997. Bookwrights.
17. R. Słowiński and D. Vanderpooten. A generalized definition of rough approximations based on similarity. IEEE Trans. on Data and Knowledge Engineering, 12(2):331-336, 2000.
18. A. Szałas. On the correspondence between modal and classical logic: An automated approach. Journal of Logic and Computation, 3:605-620, 1993.
19. J. Van Benthem. Correspondence theory. In D. Gabbay and P. Guenthner, editors, Handbook of Philosophical Logic, volume 2, pages 167-247. D. Reidel Pub. Co., 1984.