Abstract
We describe deduction mechanisms for various types of data bases with incomplete information, in particular, relational attribute systems, which we have introduced earlier in [8].
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
References
Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), 832–843 (1983)
Bresolin, D., Golińska-Pilarek, J., Orłowska, E.: Relational dual tableaux for interval temporal logics. Journal of Applied Non-Classical Logics 16(3–4), 251–277 (2006)
Cottrell, R., Düntsch, I.: An implementation of multivalued information systems. In: Düntsch, I., Winter, M. (eds.) Proceedings of the 8th International Workshop on Relational Methods in Computer Science - RelMiCS’8, St Catharines, pp. 31–36 (2005)
Dallien, J.: RelDT: Relational dual tableaux automated theorem prover (2005), Available at http://logic.stfx.ca/reldt/index.html
Demri, S., Orłowska, E.: Incomplete Information: Structure, Inference, Complexity. EATCS Monographs in Theoretical Computer Science. Springer, Heidelberg (2002)
Düntsch, I.: Relation algebras and their application in temporal and spatial reasoning. Artificial Intelligence Review 23, 315–357 (2005)
Düntsch, I., Gediga, G.: Rough set data analysis. In: Encyclopedia of Computer Science and Technology, vol. 43, pp. 281–301. Marcel Dekker, New York (2000)
Düntsch, I., Gediga, G., Orłowska, E.: Relational attribute systems. International Journal of Human Computer Studies 55(3), 293–309 (2001)
Düntsch, I., Orłowska, E.: A proof system for contact relation algebras. Journal of Philosophical Logic 29, 241–262 (2000)
Formisano, A., Nicolosi, M.: An efficient relational deductive system for propositional nonclassical logics. Journal of Applied Non-Classical Logics 16(3–4), 367–408 (2006)
Frias, M., Orłowska, E.: A proof system for fork algebras and its applications to reasoning in logics based on intuitionism. Logique et Analyse, 150–152: 239–284 (1995)
Furusawa, H.: Algebraic formalisations of fuzzy relations and their representability. PhD thesis, Kyushu University, Fukuoka (1998)
Golińska-Pilarek, J., Orłowska, E.: Relational logics and their applications. In: de Swart, H., et al. (eds.) TARSKI 2006. LNCS (LNAI), vol. 4342, pp. 125–163. Springer, Heidelberg (2006)
Kawahara, Y., Furusawa, H.: An algebraic formalization of fuzzy relations. Fuzzy Sets and Systems 119, 125–135 (1999)
Lipski, W.: Informational systems with incomplete information. In: Michaelson, S., Milner, R. (eds.) Third International Colloquium on Automata, Languages and Programming, pp. 120–130. Edinburgh University Press, Edinburgh (1976)
Lipski, W.: On databases with incomplete information. Journal of the ACM 28, 41–70 (1981)
MacCaull, W.: Relational semantics and a relational proof system for the full Lambek calculus. Journal of Symbolic Logic 63(2), 623–637 (1998)
MacCaull, W., Orłowska, E.: Correspondence results for relational proof systems with application to the Lambek calculus. Studia Logica 71(3), 389–414 (2002)
MacCaull, W., Orłowska, E.: A logic of typed relations and its applications to relational databases. To appear in the Journal of Logic and Computation (2005), available at http://logic.stfx.ca/reldt/pubs.html
Maddux, R.: Relation algebras for reasoning about time and space. In: Nivat, M., et al. (eds.) Algebraic Methodology and Software Technology (AMAST ’93), Workshops in Computing, pp. 27–44. Springer, New York (1993)
Orłowska, E.: Relational interpretation of modal logics. In: Andréka, H., Nemeti, I., Monk, D. (eds.) Algebraic Logic. Colloquia mathematica Societatis Jǎnos Bolyai, vol. 54, pp. 443–471. North-Holland, Amsterdam (1991)
Orlowska, E.: Relational semantics for non-classical logics: Formulas are relations. In: Wolenski, J. (ed.) Philosophical Logic in Poland, pp. 167–186. Kluwer Academic Publishers, Dordrecht (1994)
Orlowska, E.: Relational proof systems for modal logics. In: Wansing, H. (ed.) Proof Theory of Modal Logic, pp. 55–77. Kluwer Academic Publishers, Dordrecht (1995)
Orłowska, E.: Relational formalisation of nonclassical logics. In: Relational Methods in Computer Science. Advances in Computing Science, pp. 90–105. Springer, Wien (1997)
Orłowska, E.: Studying incompleteness of information: A class of information logics. In: Kijania-Placek, K., Wolenski, J. (eds.) The Lvov-Warsaw School and Contemporary Philosophy, pp. 283–300. Kluwer, Dordrecht (1998)
Orłowska, E., Pawlak, Z.: Representation of nondeterministic information. Theoretical Computer Science 29, 27–39 (1984)
Orłowska, E., Radzikowska, A.: Double residuated lattices and their applications. In: de Swart, H. (ed.) RelMiCS 2001. LNCS, vol. 2561, pp. 177–198. Springer, Heidelberg (2002)
Pawlak, Z.: Information systems, theoretical foundations. Information Systems 6, 205–218 (1981)
Pawlak, Z.: Rough sets. Internat. J. Comput. Inform. Sci. 11, 341–356 (1982)
Radzikowska, A., Kerre, E.E.: On some classes of fuzzy information relations. In: IEEE International Symposium on Multiple-Valued Logic (ISMVL), IEEE Computer Society Press, Los Alamitos (2001)
Rasiowa, H., Sikorski, R.: The Mathematics of Metamathematics. Polska Akademia Nauk. Monografie matematyczne, vol. 41. Polish Scientific Publishers, Warsaw (1963)
Schmidt, G., Ströhlein, T.: Relationen und Graphen. Springer, Heidelberg (1989), English version: Relations and Graphs. In: Discrete Mathematics for Computer Scientists, EATCS Monographs on Comp. Sci., Springer (1993)
Tarski, A.: On the calculus of relations. Journal of Symbolic Logic 6, 73–89 (1941)
Tarski, A.: Introduction to Logic and the Methodology of Deductive Sciences. Oxford University Press, Oxford (1965)
Vakarelov, D.: Modal logics for knowledge representation systems. In: Meyer, A.R., Taitslin, M.A. (eds.) Logic at Botik 1989. LNCS, vol. 363, pp. 257–277. Springer, Heidelberg (1989)
Vakarelov, D.: A modal logic for set relations. In: 10th International Congress of Logic, Methodology and Philosophy of Science, Volume of abstracts, Florence (1995)
Vakarelov, D.: Information systems, similarity relations, and modal logics. In: Orłowska, E. (ed.) Incomplete Information – Rough Set Analysis, pp. 492–550. Physica, Heidelberg (1998)
Winter, M.: A new Algebraic Approach to L-Fuzzy Relations convenient to study Crispness. Information Sciences 139(3–4), 233–252 (2001)
Winter, M.: Representation Theory of Goguen Categories. Fuzzy Sets and Systems 138(1), 85–126 (2003)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this chapter
Cite this chapter
Düntsch, I., Gediga, G., Orłowska, E. (2007). Relational Attribute Systems II: Reasoning with Relations in Information Structures. In: Peters, J.F., Skowron, A., Marek, V.W., Orłowska, E., Słowiński, R., Ziarko, W. (eds) Transactions on Rough Sets VII. Lecture Notes in Computer Science, vol 4400. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71663-1_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-71663-1_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71662-4
Online ISBN: 978-3-540-71663-1
eBook Packages: Computer ScienceComputer Science (R0)