Logic for artificial intelligence: A Rasiowa-Pawlak school perspective

Andrzej Mostowski and Foundational Studies

Volumn , Issue , 2008, Pages 106-143

  Jankowski, Andrzej ^a,b   Skowron, Andrzej ^c  

^a Instytut Wspomagania Procesow Decyzyjnych Sp z o o Warszawa   (Poland)

^b Institute of Decision Processes Support and AdgaM Solutions Sp Z Oo   (Poland)

^c UNIVERSITY OF WARSAW   (Poland)

Author keywords

Abstract logic; Adaptive rough granular computing; AI; Algebraic logic; Approximation; Logic; Mmachine learning; Rough sets; Wisdom technology

Indexed keywords

EID: 58149392163     PISSN: None     EISSN: None     Source Type: Book    
DOI: None     Document Type: Chapter

References (254)

1. G. Antoniou and F. van Harmelen, A Semantic Web Primer. Cooperative Information Systems, TheMIT Press, Massachusetts, 2004.
2. R. Axelrod, The Complexity of Cooperation, Princeton University Press, Princeton, NJ, 1997.
3. R. Baeza-Yates and B. Ribeiro-Neto, Modern Information Retrieval, ACM Press Series/Addison Wesley, New York, 1999.
4. L. Banachowski, A. Kreczmar, G. Mirkowska, H. Rasiowa and A. Salwicki, An introduction to Algorithmic Logic. Mathematical Investigations in the Theory of Programs, Mathematical Foundations of Computer Science, Banach Center Publications, PWN,Warszawa, 1977, pp. 7-99.
5. A. Bargiela andW. Pedrycz, Granular Computing: An Introduction, Kluwer Academic Publishers, Dordrecht, 2003.
6. J. Barwise, Absolute logics and L∞,ω, Annals of Mathematical Logic 4 (1972), 309-340.
7. J. Barwise, Axioms for abstract model theory, Annals of Mathematical Logic 7 (1974), 221-265.
8. J. Barwise and J. Seligman, Information Flow: The Logic of Distributed Systems, Cambridge University Press, Cambridge UK, 1997.
9. J.G. Bazan, J.F. Peters and A. Skowron, Behavioral pattern identification through rough set modelling, in: D. ' Sļezak et al. [231], pp. 688-697.
10. J. Bazan and A. Skowron, On-line elimination of non-relevant parts of complex objects in behavioral pattern identification, in: S.K. Pal et al. [163], pp. 720-725.
11. J. Bazan and A. Skowron, Classifiers based on approximate reasoning schemes, in: B. Dunin-Ķeplicz et al. [41], pp. 191-202.
12. J. Bazan, A. Skowron and R. Swiniarski, Rough sets and vague concept approximation: From sample approximation to adaptive learning, Transactions on Rough Sets V: Journal Subline, LNCS, vol. 3100, Springer, Heidelberg, 2006, pp. 39-63.
13. J.L. Bell, Set Theory, Boolean-Valued Models and Independence Proofs, Clarendon Press, Oxford, 2005.
14. J. Benthem, G. Heinmann, M. Rebuschi and H. Visser, The Age of Alternative Logic, Springer, Berlin, 2006.
15. M.W. Berry, Survey of Text Mining: Clustering, Classification, and Retrieval, Springer, Berlin, 2003.
16. J.Y. Béziau, Logica Universalis: Towards a General Theory of Logic, Birkhäuser Basel, 2005.
17. G. Birkhoff, Lattice Theory, AMS Colloquium Publications 25, (3rd ed.) American Mathematical Society, Providence, 1967.
18. W.S. Bloom, Investigations into the sentential calculus with identity, Notre Dame Journal of Formal Logic 13(3) (1972), 289-308.
19. L. Bolc and P. Borowik, Many-Valued Logics 1, Theoretical Foundations, Springer-Verlag, Berlin, 1992.
20. L. Bolc and P. Borowik, Many-Valued Logics 2, Automated Reasoning and Practical Applications, Springer, Berlin, 2003.
21. M. Borkowski, Digital Image Processing in Measurement of Ice Thickness on Power Transmission Lines: A Rough Set Approach, M.Sc. Thesis, Supervisor: J.F. Peters, Department of Electrical and Computer Engineering, University of Manitoba, 2002.
22. M. Borkowski and J.F. Peters, Matching 2D image segments with genetic algorithms and approximation spaces, Transactions on Rough Sets V, LNCS, vol. 4100, 2006, pp. 63-101.
23. L. Borkowski, ed., Jan Lukasiewicz - Selected Works, North Holland, PWN, Amsterdam,Warsaw, 1970.
24. R. Brachman and H. Levesque, Knowledge Representation and Reasoning, Morgan Kaufmann, Stanford, 2004.
25. O. Bratteli and P.E.T. Jorgensen, Wavelets Through a Looking Glass: The World of the Spectrum by Applied and Numerical Harmonic Analysis, Birkhäuser, Boston, 2002, see also http://www.cs.uiowa. edu/~jorgen/excerpt2.pdf.
26. L. Breiman, Statistical modeling: The two cultures, Statistical Science 16(3) (2001), 199-231.
27. S. Brin and L. Page, The Anatomy of a Large-Scale Hypertextual Web Search Engine, Stanford University, 1998.
28. D.J. Brown and R. Suszko, Abstract Logics, Dissertationes Mathematicae 102 (1973), 9-42.
29. C. Carpineto and G. Romano, Concept Data Analysis: Theory and Applications, JohnWiley, New York, 2004.
30. N.L. Cassimatis, A cognitive substrate for achieving human-level intelligence, AI Magazine 27(2) (2006), 45-56.
31. N.L. Cassimatis, E.T.Mueller and P.H.Winston, Achieving human-level intelligence through integrated systems and research, AI Magazine 27(2) (2006), 12-14.
32. S. Chakrabarti, Mining the Web: Analysis of Hypertext and Semi Structured Data, The Morgan Kaufmann Series in Data Management Systems, Morgan Kaufmann, San Francisco, 2002.
33. M.D. Chiara, R. Giuntini and R. Greechie, Reasoning in Quantum Theory, Sharp and Unsharp Quantum Logics, Kluwer Academic Publisher, Dordrecht, 2004.
34. A. Church, Introduction to Mathematical Logic, Princeton University Press, NJ, 1956.
35. P. Cohen, Set Theory and the Continuum Hypothesis, Benjamin, New York, 1966.
36. M. Davis, A relativity principle in quantum mechanics, Int. J. Theor. Phys. 16 (1977), 867-874.
37. S. Demri and E. Orlowska (Eds.), Incomplete Information: Structure, Inference, Complexity, Monographs in Theoretical Computer Science, Springer-Verlag, Heidelberg, 2002.
38. A. Desai, Adaptive complex enterprises, Communications ACM 48(5) (2005), 32-35.
39. P. Doherty, W. Lukaszewicz, A. Skowron and A. Szalas, Knowledge Representation Techniques: A Rough Set Approach, Studies in Fuzziness and Soft Computing 202, Springer, Heidelberg, 2006.
40. T. Calishain and R. Dornfest, Google Hacks, OReilly Media, Inc., 2004.
41. R. Duda, P. Hart and R. Stork, Pattern Classification, John Wiley, New York, 2002.
42. B. Dunin-Ķeplicz, A. Jankowski, A. Skowron and M. Szczuka, Monitoring, Security, and Rescue Tasks in Multiagent Systems (MSRAS2004), Series in Soft Computing, Springer, Heidelberg, 2005.
43. A.E. Eiben and J.E. Smith, Introduction to Evolutionary Computing, Natural Computing Series, Springer, Berlin, 2003.
44. C.J. Everett, Closure operations and Galois theory in lattices, Trans. AMS 55 (1944), 514-525.
45. C.J. Everett and S. Ulam, Projective Algebra, Amer. J. Math. 68 (1946), 77-88.
46. E. Feigenbaum and J. Feldman, eds, Computers and Thought, McGraw Hill, New York, 1963.
47. S. Feldman and J. Sanger, The Text Mining Handbook, Advanced Approaches in Analyzing Unstructured Data, Cambridge University Press, New York, 2006.
48. D. Fensel, Ontologies: A Silver Bullet for Knowledge Management and Electronic Commerce, Springer, Berlin, 2003.
49. K.D. Forbus and T.R. Hinrisch, Companion cognitive systems: A step toward human-level AI, AI Magazine 27(2) (2006), 83-95.
50. M.P. Fourman and D.S. Scott, Sheaves and logic, in:M.P. Fourman, C.J. Mulvey and D.S. Scott, eds, Applications of Sheaves. Proceedings L.M.S. Durham Symposium 1977, Springer Lecture Notes in Mathematics, vol. 753, Springer-Verlag, Berlin, 1999, pp. 302-401.
51. G. Frege, Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, Halle, 1879.
52. J.H. Friedman, T. Hastie and R. Tibshirani, The Elements of Statistical Learning: Data Mining, Inference, and Prediction, Springer, Heidelberg, 2001.
53. D.M. Gabbay and J.Woods, Handbook of The History of Logic, Volume 7, Logic and The Modalities In The Twentieth Century, Elsevier North Holland, 2006.
54. P. Gärdenfors, Conceptual Spaces, The Geometry of Thought, The MIT Press, 2000.
55. B. Ganter, G. Stumme and R. Wille, eds, Formal Concept Analysis, Foundations and Applications, LNCS, vol. 3626, Springer, Heidelberg, 2005.
56. D.J.H. Garling, A Course in Galois Theory, Cambridge University Press, New York, 1987.
57. M. Gell-Mann, The Quark and the Jaguar - Adventures in the Simple and the Complex, Brown and Co., London, 1994.
58. M. Ghallab, D. Nau and P. Traverso, Automated Planning: Theory and Practice, Elsevier, Morgan Kaufmann, San Francisco, 2004.
59. S. Ghemawat, H. Gobioff, Shun-Tak Leung, TheWistech Network File System,Wistech Network, 2005.
60. S. Ghilardi and M. Zawadowski, Sheaves, Games, and Model Completions, A Categorical Approach to Nonclassical Propositional Logics, Trends in Logic 14, Kluwer, Dordrecht, 2002.
61. V. Glivenko, Sur quelques points de la logique de M. Brouwer, Academie Royale de Belgique, Bulletins de la classe des sciences 5(15) (1929), 183-188.
62. K. Gödel, Zur intuitionistischen Arithmetik und Zahlentheorie, Ergebnisse eines mathematischen Kolloquiums 4 (1933), 34-38.
63. J. Grabowski. On partial languages, Fundamenta Informaticae 4(2) (1981), 427-498.
64. L.S. Gottfredson, Editorial: Mainstream science on intelligence. An editorial with 52 signatories, history, and bibliography, Intelligence 24(1) (1997), 13-24.
65. R. Granger, Engines of the brain: The computational instruction set of human cognition, AI Magazine 27(2) (2006), 15-31.
66. S. Grimes, The developing text mining market, A white paper prepared for Text Mining Summit 2005, Boston, June 7-8, 2005. Alta Plana Corporation, 2005.
67. A. Grzegorczyk, Some approaches to constructive analysis, in: A. Heyting, ed., Constructivity in Mathematics, Studies in Logic and the Foundations of Mathematics, Colloquium at Amsterdam 1957, North- Holland, Amsterdam, 1959, pp. 43-61.
68. A.O. Hagan, C.E. Buck, A. Daneshkhah, J.R. Eiser, P.H. Garthwaite, D.J. Jenkinson, J.E. Oakley and T. Rakow, Uncertain Judgements: Eliciting Expert Probabilities, Wiley, New York, 2006.
69. J. Heaton, Programming Spiders, Bots, and Aggregators in Java, Sybex, 2002.
70. L. Henkin, J.D. Monk and A. Tarski, Cylindric Algebras, part I, North-Holland, Amsterdam, 1971.
71. C. Henry and J.F. Peters, Image Pattern Recognition Using Approximation Spaces and Near Sets, Proc. 2007 Joint Rough Set Symposium (JRS07), Toronto, Canada, 14-16 May, 2007.
72. M. Henzinger and S. Lawrence, Extracting knowledge from the World Wide Web, Wistech Network, 2004.
73. D. Higgs, A category approach to Boolean-valued set theory, University of Waterloo, Canada, 1973.
74. J. Hintikka, The Principles of Mathematics Revisited, Cambridge University Press, Cambridge, UK, 1996.
75. M. Hirvensalo, Quantum Computing, Springer-Verlag, Heidelberg 2001.
76. T.B. Ho and N.B. Nguyen, Nonhierarchical document clustering based on a tolerance rough set model and its application to information retrieval, International Journal of Intelligent Systems 17 (2002), 199- 212.
77. J.H. Holland, Adaptation in Natural and Artificial Systems, An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence, The University of Michigan Press, 1975.
78. J.H. Holland, Hidden Order, How Adaptation Builds Complexity, Addison Wesley, Reading, MA, 1995.
79. J.H. Holland, Emergence from Chaos to Order, Oxford University Press, 1998.
80. M.N. Huhns and M.P. Singh, Readings in Agents, Morgan Kaufmann, 1998.
81. T. Imieli'nski andW. Lipski, Incomplete information in relational databases, Journal ACM 31(4) (1984), 761-791.
82. P. Jackson and I. Moulinier, Natural Language Processing for Online Applications: Text Retrieval, Extraction, and Categorization, Natural Language Processing 5, John Benjamins Publishing Co, 2002.
83. Z. Janiszewski, On needs of mathematics in Poland (O potrzebach matematyki w Polsce) (in Polish), in: Nauka Polska, Jej Potrzeby, Organizacja i Rozwój, Warszawa, 1918; see also reprint in Wiadomo'sci Matematyczne VII (1963), 3-8.
84. A. Jankowski, An alternative characterization of elementary logic, Bull. Acad. Pol. Sci., Ser. Math. Astr. Phys. XXX(1-2) (1982), 9-13.
85. A. Jankowski, Galois structures, Studia Logica 44(2) (1985), 109-124.
86. A. Jankowski, Proposal of Evolution Programming Methodology for Learning in an Uncertain Environment, Research & Development Technical Report, Department of Computer Science, University of North Carolina, Charlotte, 1986.
87. A. Jankowski and C. Rauszer, Logical foundation approach to users' domain restriction in data bases, Theoretical Computer Science 23 (1983), 11-36.
88. A. Jankowski and M. Zawadowski, Sheaves over Heyting Lattices, Studia Logica 44(3) (1985), 237- 356.
89. A. Jankowski, Z. Michalewicz, Z.W. Ras and D. Shoff, Evolution Programming as a Programming Methodology for Learning in an Uncertain Environment, Department of Computer Science, University of North Carolina, Charlotte, 1988.
90. A. Jankowski and A. Skowron, A wistech paradigm for intelligent systems, Transactions on Rough Sets VI: Journal Subline, LNCS, vol. 4374, Springer, Heidelberg, 2007, pp. 94-132.
91. A. Jankowski and A. Skowron, Wisdom granual computing, In Handbook of Granular Computing, John Wiley & Sons, New York, 2007 (to appear).
92. A. Jankowski and J. Żytkow, Hierarchical control and heuristics in multisearch systems, Proceedings of the Fourth International Symposium (ISMIS 1989), Charlotte, NC, USA, 11-14 October 1989, North Holland, 1989.
93. P. Johnstone, Stone Spaces, Cambridge University Press, Cambridge UK, 1986.
94. R.M. Jones and R.E. Wray, Comparative analysis of frameworks for knowledge intensive intelligent agents, AI Magazine 27(2) (2006), 57-70.
95. P.E.T. Jorgensen, Analysis and Probability: Wavelets, Signals, Fractals, Graduate Texts in Mathematics 234, Springer, Berlin, 2006.
96. D. Kahneman, P. Slovic and A. Tversky, eds, Judgement under Uncertainty: Heuristics and Biases, Cambridge University Press, New York, 1982.
97. D.M. Kan, Adjoint functors. Trans. Am. Math. Soc., Soc. 87 (1958), 294-329.
98. R. Keefe, Theories of Vagueness, Cambridge Studies in Philosophy, Cambridge, UK, 2000.
99. S.C. Kleene, Introduction to Metamathematics, Van Nostrand, Princeton, 1952.
100. W. Kloesgen and J. Żytkow, Handbook of Knowledge Discovery and Data Mining, Oxford University Press, New York, 2002.
101. Y. Kodratoff and R.S. Michalski, eds, Machine Learning: An Artificial Intelligence Approach, Vol. III, Morgan Kaufmann, San Mateo, CA, 1990.
102. E. Konrad, E. Orlowska and Z. Pawlak, Knowledge Representation Systems. Definability of Information, Research Report PAS 433, Institute of Computer Science, Polish Academy of Sciences, 1981.
103. E. Konrad, E. Orlowska and Z. Pawlak, On Approximate Concept Learning, Report 81-07, Fachbereich Informatik, TU Berlin, Berlin 1981; short version in: Collected Talks, European Conference on Artificial Intelligence 11/5, Orsay/Paris, 1982, pp. 17-19.
104. S. Kraus, Strategic Negotiations in Multiagent Environments, The MIT Press, Massachusetts, 2001.
105. A. Kreczmar, A. Salwicki and M. Warpechowski, Loglan'88 - Report on the Programming Language, LNCS, vol. 414, Springer-Verlag, Heidelberg, 1990.
106. K. Kuratowski and A. Tarski, Les opérations logiques et les ensembles projectifs, Fundamenta Mathematicae 17 (1931), 240-248.
107. K. Kuratowski, Topology, Vol. I, Academic Press, New York-London, 1966.
108. K. Kuratowski, Topology, Vol. II, Academic Press, New York-London, 1968.
109. K. Kuratowski, Pól Wieku Matematyki Polskiej 1920-1970, Wspomnienia i refleksje, Wiedza Powszechna, Warszawa, 1973 (in Polish).
110. K. Kuratowski, W. Marek, L. Pacholski, H. Rasiowa, C. Ryll-Nardzewski and P. Zbierski, eds, A. Mostowski, Foundational Studies, Selected Works Vol. I, North-Holland, Amsterdam-New York; PWN-Polish Scientific Publishers, Warsaw, 1979.
111. K. Kuratowski, W. Marek, L. Pacholski, H. Rasiowa, C. Ryll-Nardzewski and P. Zbierski, eds, A. Mostowski, Foundational Studies. Selected Works Vol. II, North-Holland, Amsterdam-New York, PWN-Polish Scientific Publishers, Warsaw, 1979.
112. J. Lambek and P.J. Scott, Introduction to Higher-Order Categorical Logic, Cambridge Studies in Advanced Mathematics 7, Cambridge University Press, 1986.
113. W.B. Langdon and R. Poli, Foundations of Genetic Programming, Springer, Berlin, 2002.
114. P. Langley, H.A. Simon, G.L. Bradshaw and J.M. Żytkow, Scientific Discovery: Computational Explorations of the Creative Processes, The MIT Press, 1987.
115. G.W. Leibniz, Dissertio de Arte Combinatoria, Leipzig, 1666.
116. G.W. Leibniz, New Essays on Human Understanding (1705), Translated and edited by Peter Remnant and Jonathan Bennett, Cambridge UK, Cambridge, 1982.
117. G.W. Leibniz, Discourse on metaphysics, in: R. Ariew, D. Garber, eds, Leibniz, G.W., Philosophical Essays, Hackett Publishing Company, Indianapolis, 1989, pp. 35-68.
118. S. Le'sniewski, Grundzüge eines neuen Systems der Grundlagen der Mathematik, Fundamenta Mathematicae 14 (1929), 1-81.
119. S. Le'sniewski, On the foundations of mathematics, Topoi 2 (1982), 7-52.
120. P. Lindström, On extensions of elementary logic, Theoria 35 (1969), 1-11.
121. W. Lipski, Information storage and retrieval - Mathematical foundations II (combinatorial problems), Theoretical Computer Science 3(2) (1976), 183-211.
122. W. Lipski and V.W. Marek, File organization: An application of graph theory, in: J. Loeckx, ed., Proceedings of the Second Colloquium on Automata, Languages and Programming, University of Saarbrücken, July 29 - August 2, 1974 (ICALP 1974), LNCS, vol. 14, Springer, Heidelberg, 1974, pp. 270- 279.
123. W. Lipski, On databases with incomplete information, Journal ACM 28(1) (1981), 41-70.
124. J. Liu, Autonomous Agents and Multi-Agent Systems: Explorations in Learning, Self-Organization and Adaptive Computation, World Scientific Publishing, Singapore, 2001.
125. J. Liu and L.K. Daneshmend, Spatial Reasoning and Planning: Geometry, Mechanism, and Motion, Springer, Berlin, 2003.
126. J. Liu, X. Jin and K.C. Tsui, Autonomy Oriented Computing: From Problem Solving to Complex Systems Modeling, Kluwer/Springer, Heidelberg, 2005.
127. M. Luck, P. McBurney and C. Preist, Agent Technology. Enabling Next Generation Computing: A Roadmap for Agent Based Computing, AgentLink, 2003.
128. R.C. Lyndon, Notes on Logic, D. Van Nostrand Company, Inc., 1967.
129. S. MacLane, Categories for the Working Mathematicians. Graduate Texts in Mathematics, Springer, Berlin, 1997.
130. S. MacLane and I. Moerdijk, Sheaves in Geometry and Logic: A First Introduction to Topos Theory, Universitext, Springer, Berlin, 1994.
131. R.W. Marczy'nski, The first seven years of Polish digital computers, Annals of the History of Computing 2(1) (1980), 37-48.
132. V. Marek and Z. Pawlak, Information storage and retrieval systems: Mathematical foundations, Theoretical Computer Science 1 (1976), 331-354.
133. V. Marek and H. Rasiowa, Approximating sets with equivalence relations, Theoretical Computer Science 48(3) (1986), 145-152.
134. V. Marek and C. Rauszer, Query optimization in the databases distributed by means of product equivalence relations, Fundamenta Informaticae 11 (1988), 241-266.
135. V. Marek and M. Truszczy'nski, Contributions to the theory of rough sets, Fundamenta Informaticae 39(4) (1999), 389-409.
136. S. Mazur, Computable Analysis (edited by A. Grzegorczyk, H. Rasiowa), Rozprawy Matematyczne 33, Warsaw, 1963.
137. A. Mazurkiewicz, Concurrent program schemes and their interpretations, Technical Report, DAIMI Report PB-78, Aarhus University, Aarhus, 1977.
138. M.J. M̧aczy'nski, Non-classical logics in quantum mechanics and physics, Bulletin of the Section of Logic 25(3/4), University of Lód'z, Department of Logic, 1996, 161-165.
139. R.S. Michalski, T.J. Carbonell and T.M. Mitchell, eds, Machine Learning: An Artificial Intelligence Approach, Palo Alto, TIOGA Publishing Co., Palo Alto, CA, 1983.
140. R.S. Michalski, T.J. Carbonell and T.M. Mitchell, eds, Machine Learning: An Artificial Intelligence Approach. Vol. II, Morgan Kaufmann, Los Altos, CA, 1986.
141. R.S. Michalski and G. Tecuci, eds, Machine Learning - A Multistrategy Approach. Vol. IV, Morgan Kaufmann, San Mateo, CA, 1994.
142. G. Mirkowska and A. Salwicki, Algorithmic Logic, PWN & D. Reidel Publ., Warsaw & Dordrecht, 1987.
143. T.M. Mitchell, Machine Learning, Mc Graw-Hill, Portland, 1997.
144. E.H. Moore, Introduction to a form of general analysis, AMS Colloquium 2, New Haven, 1910.
145. A. Mostowski, On definable sets of positive integers, Fundamenta Mathematicae 34 (1947), 81-112.
146. A. Mostowski, Logika matematyczna, Kurs uniwersytecki, Monografie matematyczne, 1948 (in Polish).
147. A. Mostowski, Proof of non-deducibility in intuitionistic functional calculus, The Journal of Symbolic Logic 13 (1948), 204-207.
148. A. Mostowski, On a generalization of quantifiers, Fundamenta Mathematicae 44 (1957), 12-36.
149. H.S. Nguyen, J. Bazan, A. Skowron, and S.H. Nguyen, Layered learning for concept synthesis, Transactions on Rough Sets I: Journal Subline, LNCS, vol. 3100, Springer, Heidelberg, 2006, pp. 187-208.
150. Ch.L. Ngo and H.S. Nguyen, A method of Web search result clustering based on rough sets, in: A. Skowron et al. [215], pp. 673-679.
151. T.T. Nguyen, Eliciting domain knowledge in handwritten digit recognition, in: S. Pal et al. [163], pp. 762-767.
152. M. O'Connor, Embeddings into free Heyting algebras and translations into intuitionistic propositional logic, Proceedings of Logical Foundations of Computer Science, 2007 (to appear), see http://arxiv.org/ abs/math.LO/0702651.
153. O. Ore, Galois connexions, Trans. AMS 55 (1944), 494-513.
154. E. Orlowska, Resolution systems and their applications II, Fundamenta Informaticae 3 (1980), 333- 362.
155. E. Orlowska, Kripke semantics for knowledge representation logics, Studia Logica 49(2) (1990), 255- 272.
156. E. Orlowska (Ed.), Incomplete Information: Rough Set Analysis, Studies in Fuzziness and Soft Computing 13, Springer-Verlag/Physica-Verlag, Heidelberg, 1997.
157. E. Orlowska and Z. Pawlak, Expressive Power of Knowledge Representation Systems, Research Report PAS 432, Institute of Computer Science, Polish Academy of Sciences, April (1981).
158. E. Orlowska, Semantics of Vague Concepts. Applications of Rough Sets, Institute for Computer Science, Polish Academy of Sciences, Report 469, March 1982.
159. E. Orlowska and Z. Pawlak, Expressive power of knowledge representation systems, International Journal of Man-Machine Studies 20(5) (1984), 485-500.
160. E. Orlowska and Z. Pawlak, Representation of non-deterministic information, Theoretical Computer Science 29 (1984), 27-39.
161. The Oxford English Dictionary, Oxford University Press, London, 1933.
162. S.K. Pal, L. Polkowski and A. Skowron, eds, Rough-Neural Computing: Techniques for Computing with Words, Cognitive Technologies, Springer, Heidelberg, 2004.
163. S.K. Pal, S. Bandoyopadhay and S. Biswas, eds, Proceedings of the First International Conference on Pattern Recognition and Machine Intelligence (PReMI'05), December 18-22, 2005, Indian Statistical Institute, Kolkata, LNCS, vol. 3776, Springer, Heidelberg, 2005.
164. S. Parsons, P. Gmytrasiewicz and M. Wooldridge, Game Theory and Decision Theory in Agent-based Systems, Kluwer, Dordrecht, 2002.
165. T.B. Passin, Explorers Guide to the Semantic Web Mining Publications, 2004.
166. Z. Pawlak, Mathematical foundations of information retrieval, Proceedings of Symposium of Mathematical Foundations of Computer Science, September 3-8, 1973, High Tatras, pp. 135-136; see also: Mathematical Foundations of Information Retrieval. Computation Center, Polish Academy of Sciences, Research Report CC PAS 101, 1973.
167. Z. Pawlak, Classification of Objects by Means of Attributes, Research Report CC PAS 429, Institute of Computer Science, Polish Academy of Sciences, 1981.
168. Z. Pawlak, Rough Sets, Research Report CC PAS 431, Institute of Computer Science, Polish Academy of Sciences, January 1981.
169. Z. Pawlak, Rough sets, International Journal of Computer and Information Sciences 11 (1982), 341- 356.
170. Z. Pawlak, Rough Sets: Theoretical Aspects of Reasoning about Data. System Theory, Knowledge Engineering and Problem Solving 9, Kluwer, Dordrecht, 1991.
171. Z. Pawlak and C. Rauszer, Dependency of attributes in information systems, Bull. Polish Acad. Sci. Math. 33 (1985), 551-559.
172. Z. Pawlak and A. Skowron, Rudiments of rough sets. Information Sciences, An International Journal 177(1) (2007), 3-27.
173. Z. Pawlak and A. Skowron, Rough sets: Some extensions. Information Sciences, An International Journal 177(1) (2007), 28-40.
174. Z. Pawlak and A. Skowron, Rough sets and Boolean reasoning. Information Sciences, An International Journal 177(1) (2007), 41-73.
175. J.F. Peters, Rough ethology: Towards a biologically-inspired study of collective behaviour in intelligent systems with approximation spaces, Transactions on Rough Sets III: Journal Subline, LNCS, vol. 3400, Springer, Heidelberg, 2005, pp. 153-174.
176. J.F. Peters and C. Henry, Reinforcement learning with approximation spaces, Fundamenta Informaticae 71(2-3) (2006), 323-349.
177. J.F. Peters and C. Henry, Approximation spaces in off-policy Monte Carlo learning, Engineering Applications of Artificial Intelligence 20(5) (2007), 667-675.
178. J.F. Peters, C. Henry and D. Gunderson, Biologically-Inspired Adaptive Learning Control Strategies: A Rough Set Approach. International Journal of Hybrid Intelligent Systems (2007), in press.
179. J.F. Peters, Near sets. Special theory about nearness of objects, Fundamenta Informaticae 75(1-4) (2007), 407-433.
180. J.F. Peters, M. Borkowski, C. Henry and D. Lockery, Monocular vision system that learns with approximation spaces, in: A. Ella, P. Lingras, D. 'Slezak, Z. Suraj, eds, Rough Set Computing: Toward Perception Based Computing, Idea Group Publishing, Hershey, PA, 2006, pp. 1-22.
181. J.F. Peters, Near Sets. Toward Approximation Space-Based Object Recognition, Proc. 2007 Joint Rough Set Symposium (JRS07), Toronto, Canada, 14-16 May, 2007.
182. J.F. Peters, Classification of objects by means of features, in: D. Fogel, J. Mendel, X. Yao and T. Omori, eds, Proc. First IEEE Symposium on Foundations of Computational Intelligence (FOCI'07), 1-5 April, 2007, pp. 1-8.
183. J.A. Plaza, Logics of public communications, in: M.L. Emrich, M.S. Pfeifer, M. Hadzikadic and Z.W. Ras, eds, Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems held in Charlotte, NC, North-Holland, New York, 1989, pp. 201-216.
184. S. Plous, The Psychology of Judgement and Decision Making, McGraw-Hill, New York, 1993.
185. T. Poggio and S. Smale, The mathematics of learning: Dealing with data, Notices of the AMS 50(5) (2003), 537-544.
186. R. Poli and P. Simons, Formal Ontology, Kluwer, Dordrecht, 1996.
187. L. Polkowski and A. Skowron, Rough mereology: A new paradigm for approximate reasoning, International Journal of Approximate Reasoning 15(4) (1996), 333-365.
188. L. Polkowski, Rough Sets: Mathematical Foundations. Advances in Soft Computing, Physica-Verlag, Heidelberg, 2002.
189. L. Polkowski, S. Tsumoto and T.Y. Lin, eds, Rough Set Methods and Applications: New Developments in Knowledge Discovery in Information Systems, Studies in Fuzziness and Soft Computing 56, Physica- Verlag, Heidelberg, 2000.
190. V. Pratt, Chu Spaces, Notes for the School on Category Theory and Applications. University of Coimbra, July 13-17, 1999.
191. V.R. Pratt, Transition and cancellation in concurrency and branching time, Math. Struct. in Comp. Science 13(4) (2003), 485-529.
192. D. Prawitz, Natural Deduction, A Proof-Theoretical Study, Mineola, New York, Dover Publications, Inc., 2006.
193. H. Rasiowa, An Algebraic Approach to Non-Classical Logics, PWN Warsaw, 1974.
194. H. Rasiowa, Algebraic Models of Logics, Warsaw University, 2001.
195. H. Rasiowa and W. Marek, On reaching consensus by groups of intelligent agents, in: Z.W. Ras, ed., Methodologies for Intelligent Systems, North-Holland, Amsterdam, 1989, pp. 234-243.
196. H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, Monografie Matematyczne 41, PWN Warsaw, 1963.
197. C. Rauszer, Notes on the Rasiowa-Sikorski lemma, Studia Logica 34 (1975), 265-268.
198. C. Rauszer, An algebraic approach to the Heyting-Brouwer predicate calculus, Fundamenta Mathematicae 96 (1977), 127-135.
199. C. Rauszer and H. Ono, On algebraic and Kripke semantics for intermediate logicism, in: Universal Algebra and Applications, Series of Banach Center Publications 9, PWN,Warszawa, 1982, pp. 431-438.
200. C. Rauszer, Algebraic considerations of autoepistemic logic, Fundamenta Informaticae 15 (1991), 168- 169.
201. C. Rauszer, Dependencies in relational databases: Algebraic and logical approach, Fundamenta Informaticae 19(3/4) (1993), 235-274.
202. C. Rauszer, Knowledge representation systems for groups of agents, in: J. Woleński, ed., Philosophical Logic in Poland, Kluwer, Dordrecht, 1994, pp. 217-238.
203. C. Rauszer and H. de Swart, Different approaches to knowledge, common knowledge and Aumann's theorem, in: A. Lanux, H.Wansing, eds, Knowledge and Belief in Philosophy and Artificial Intelligence, Akademie Verlag, Berlin, 1995, pp. 87-101.
204. S. Read, Thinking About Logic. An Introduction to the Philosophy of Logic, Oxford University Press, Oxford, New York, 1995.
205. K. van Rijsbergen, The Geometry of Information Retrieval, Cambridge University Press, 2006.
206. G.-C. Rota, Indiscrete Thoughts (edited by Fabrizio Palombi, reviewed by Andrew Leah), Birkhäuser, Boston, 1997.
207. S. Russel and P. Norvig, Artificial Intelligence: A Modern Approach, Prentice Hall, 2002.
208. D. Scott and R. Solovay, Boolean-valued models for set theory, Proceedings of UCLA Set Theory Conference, 1967.
209. D. Scott, A proof of independence of continuum hypothesis, Mathematical Systems Theory 1 (1967), 89-111.
210. S. Shanker, Wittgenstein's Remarks on the Foundations of AI, Routledge, London, 2006.
211. R. Sikorski, Boolean Algebras, Springer-Verlag, Berlin, 1964.
212. A. Skowron, Perception logic in intelligent systems, in: S. Blair et al., eds, Proceedings of the 8th Joint Conference on Information Sciences (JCIS 2005), July 21-26, 2005, Salt Lake City, Utah, USA, pp. 1-5. X-CD Technologies: A Conference & Management Company, ISBN 0-9707890-3-3, Toronto, Ontario, Canada, 2005.
213. A. Skowron, Rough sets in perception-based computing (keynote talk), in: S.K. Pal et al. [163], pp. 21- 29.
214. A. Skowron, ed., Logic, Algebra and Computer Science: H. Rasiowa and Cecylia Rauszer in Memoriam, Warsaw, June 1994. Bulletin of the Section of Logic 25(3/4), Department of Logic of the University of Lód'z, October - December 1996.
215. A. Skowron, R. Agrawal, M. Luck, T. Yamaguchi, O. Morizet-Mahoudeaux, J. Liu and N. Zhong, eds, Proceedings of the 2005 IEEE/WIC/ACM International Conference on WEB Intelligence, Compiegne, France, September 19-22, 2005, IEEE Computer Society Press, Los Alamitos, CA, 2005, pp. 1-819.
216. A. Skowron, J.-P. Barthes, L. Jain, R. Sun, P. Morizet-Mahoudeaux, J. Liu and N. Zhong, eds, Proceedings of the 2005 IEEE/WIC/ACMInternational Conference on Intelligent Agent Technology, Compiegne, France, September 19-22, 2005, IEEE Computer Society Press, Los Alamitos, CA, 2005, pp. 1-766.
217. A. Skowron and C. Rauszer, The discernibility matrices and functions in information systems, in: R. Slowi'nski, ed., Intelligent Decision Support - Handbook of Applications and Advances of the Rough Sets Theory, System Theory, Knowledge Engineering and Problem Solving 11, Kluwer, Dordrecht, 331-362, 1992.
218. A. Skowron and J. Stepaniuk, Tolerance approximation spaces, Fundamenta Informaticae 27 (1996), 245-253.
219. A. Skowron and J. Stepaniuk, Information granules: Towards foundations of granular computing, International Journal of Intelligent Systems 16(1) (2001), 57-86.
220. A. Skowron and J. Stepaniuk, Information granules and rough-neural computing, in: S.K. Pal et al. [162], pp. 43-84.
221. A. Skowron and P. Synak, Complex patterns, Fundamenta Informaticae 60(1-4) (2004), 351-366.
222. A. Skowron, R. Swiniarski and P. Synak, Approximation spaces and information granulation, Transactions on Rough Sets III: Journal Subline, LNCS, vol. 3400, Springer, Heidelberg, 2005, pp. 175-189.
223. J.M. Smith, Evolution and the Theory of Games, Cambridge University Press, 2006.
224. J. Stepaniuk, J. Bazan and A. Skowron, Modelling complex patterns by information systems, Fundamenta Informaticae 67(1-3) (2005), 203-217.
225. J. Stepaniuk, A. Skowron, J. Peters and R. Swiniarski, Calculi of approximation spaces, Fundamenta Informaticae 72(1-3) (2006), 363-378.
226. R. Sun, Duality of the Mind: A Bottom-up Approach Toward Cognition, Lawrence Erlbaum Associates, 2001.
227. R. Sun (Ed.), Cognition and Multi-Agent Interaction. From Cognitive Modeling to Social Simulation, Cambridge University Press, New York, NY, 2006.
228. K. Svozil, Quantum Logic, Springer, Heidelberg, 1998.
229. W. Swartout, J. Gratch, R.W. Hill, E. Hovy, S. Marsella, J. Rickel and D. Traum, Towards virtual humans, AI Magazine 27(2) (2006), 96-108.
230. K. Sycara, Multiagent systems, AI Magazine (Summer 1998), 79-92.
231. D. ' Sļezak, J.T. Yao, J.F. Peters, W. Ziarko and X. Hu, eds, Proceedings of the 10th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (RSFDGrC'2005), Regina, Canada, August 31 - September 3, 2005, Part II, LNAI 3642, Springer, Heidelberg, 2005.
232. R. Suszko, Ontology in the Tractatus of L.Wittgenstein, Notre Dame Journal of Formal Logic 9 (1968), 7-33.
233. A. Tarski, Fundamental concepts of the methodology of deductive science (1930), in: S.R. Givant, R.N. McKenzie [237].
234. A. Tarski, Grundlegung der wissenschaftlichen Semantik. Actes du Congrès International de Philosophie Scientifique, vol. III, Paris, 1936, pp. 1-8.
235. A. Tarski, The semantical concept of truth and the foundations of semantics, Philosophy and Phenomenological Research 4 (1944), 341-375.
236. A. Tarski, Contributions to the theory of models, I and II, Indag. Math. 16 (1954), 572-588.
237. A. Tarski, Contributions to the theory of models, III, Indag. Math. 17 (1954), 56-64.
238. A. Tarski, The Collected Papers of Alfred Tarski, 4 vols. S.R. Givant and R.N. McKenzie, eds, Birkhäuser, 1986.
239. A. Tarski, Introduction to Logic and to the Methodology of Deductive Sciences, Oxford University Press, UK, 1963.
240. A.S. Troelstra and H. Schwichtenberg, Basic Proof Theory, Cambridge University Press, 2000.
241. A.S. Troelstra and D. Van Dalen, Constructivism in Mathematics: An Introduction, Studies in Logic and the Foundations of Mathematics Vol. 1 & 2, Elsevier Science Publishing Company, 1988.
242. A. Turing, Computing machinery and intelligence, Mind LIX(236) (October 1950), 433-460.
243. W. Van Wezel, R. Jorna and A. Meystel, Planning in Intelligent Systems: Aspects, Motivations, and Methods, Wiley, Hoboken, New Jersey, 2006.
244. S.M. Ulam, Adventures of a Mathematician, University of California Press (reprint edition), 1991.
245. V. Vapnik, Statistical Learning Theory, Wiley, New York, 1998.
246. T.L. Vincent and J.S. Brown, Evolutionary Game Theory, Natural Selection, and Darwinian Dynamics, Cambridge University Press, 2005.
247. P. Wang, What do you mean by "AI"?, http://nars.wang.googlepages.com/home.
248. L. Wantzel, Recherches sur les moyens de reconnaître si un Problème de Géométrie peut se résoudre avec la règle et le compas, Journal de Mathématiques Pures et Appliquées 1(2) (1837), 366-372.
249. S. Weiss, N. Indurkhya, T. Zhang and F. Damerau, Text Mining: Predictive Methods for Analyzing Unstructured Information, Springer, Heidelberg, 2004.
250. D. Widdows, Geometry and Meaning, CSLI Publications, 2004.
251. L. Wittgenstein, Philosophical Investigations, Cambridge University Press, Cambridge, UK, 2004.
252. L.A. Zadeh, Fuzzy sets, Information and Control 8 (1965), 333-353.
253. L.A. Zadeh, From computing with numbers to computing with words - from manipulation of measurements to manipulation of perceptions, IEEE Transactions on Circuits and Systems - I: Fundamental Theory and Applications 45(1) (1999), 105-119.
254. L.A. Zadeh, Toward a generalized theory of uncertainty (GTU) - An outline, Information Sciences 171 (2005), 1-40.