Logic for Artificial Intelligence: A Rasiowa–Pawlak School Perspective

The Rasiowa–Pawlak school was established during the second half of the twentieth century. The school concentrates on studies in logics, foundations of computer science and artificial intelligence (AI). Its formation has been greatly influenced by the logician Andrzej Mostowski, a professor at Warsaw University [110, 111], who, in particular, directed the doctoral dissertation of Helena Rasiowa. Nowadays, the disciples of the Rasiowa–Pawlak school are active in many research-development centres worldwide. The school founded its own journal, Fundamenta Informaticae. In this paper, we present selected trends in the studies of the school concerning applications of logic in AI. At the beginning, we briefly describe the genesis of the Rasiowa–Pawlak school. We then present the understanding, currently dominating within the school, on such basic concepts as AI and logic. Since the beginning of the 1950’s, the focus of the research by Helena Rasiowa and her associates has been the application of algebraic and topological methods to the investigation of crucial problems of logic from an AI perspective. Amongst them are the completeness theorem, construction of deduction systems, construction of models, especially models for constructive mathematics [136, 241, 67] and related logics such as intuitionistic, intermediate, modal, and approximation logics. In the paper, we discuss the fundamental, in our opinion, ideas underlying these roots of the Rasiowa–Pawlak school. A great importance in the studies of the school is assigned to the search for optimal tools for reasoning about complex vague concepts, construction of knowledge representation systems, reasoning about knowledge as well as for the application of logics in learning, communication, perception, planning, action, cooperation, and competition. It should be noted that as is the case with many other research centers, the Rasiowa–Pawlak school studies pertaining to the application of logics in AI have also undergone an evolution which we present in this paper. We include extensive references to the literature on the approach presented in this paper.

[1]  Andrzej Skowron,et al.  On-Line Elimination of Non-relevant Parts of Complex Objects in Behavioral Pattern Identification , 2005, PReMI.

[2]  E. Feigenbaum,et al.  Computers and Thought , 1963 .

[3]  A. E. Eiben,et al.  Introduction to Evolutionary Computing , 2003, Natural Computing Series.

[4]  Agostino Poggi,et al.  Multiagent Systems , 2006, Intelligenza Artificiale.

[5]  John H. Holland,et al.  Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence , 1992 .

[6]  Marek W. Zawadowski,et al.  Sheaves over Heyting lattices , 1985, Stud Logica.

[7]  Tomasz Imielinski,et al.  Incomplete Information in Relational Databases , 1984, JACM.

[8]  G. Leibniz,et al.  New Essays on Human Understanding. , 1981 .

[9]  Stephen Read,et al.  Thinking about logic : an introduction to the philosophy oflogic , 1995 .

[10]  C. J. Everett.  Closure operators and Galois theory in lattices , 1944 .

[11]  Ewa Orlowska.  Resolution systems and their applications II , 1980, Fundam. Informaticae.

[12]  Witold Lipski,et al.  Information Storage and Retrieval - Mathematical Foundations II (Combinatorial Problems) , 1976, Theor. Comput. Sci..

[13]  Andrzej Mostowski,et al.  On definable sets of positive integers , 1947 .

[14]  Karl Svozil,et al.  Quantum Logic , 1998, Discrete mathematics and theoretical computer science.

[15]  S. Lane.  Categories for the Working Mathematician , 1971 .

[16]  D. J. H. Garling,et al.  A Course in Galois Theory , 1987 .

[17]  A. Troelstra,et al.  Constructivism in Mathematics: An Introduction , 1988 .

[18]  Barbara Dunin-Keplicz,et al.  Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology , 2005 .

[19]  C. J. van Rijsbergen,et al.  The geometry of information retrieval , 2004 .

[20]  Gottlob Frege,et al.  Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens , 1879 .

[21]  James F. Peters,et al.  Biologically-inspired adaptive learning control strategies: A rough set approach , 2007, Int. J. Hybrid Intell. Syst..

[22]  Riccardo Poli,et al.  Foundations of Genetic Programming , 1999, Springer Berlin Heidelberg.

[23]  Gerhard Weiss,et al.  Multiagent Systems , 1999 .

[24]  Dov M. Gabbay,et al.  Handbook of the history of logic , 2004 .

[25]  Jon Barwise,et al.  Information Flow: The Logic of Distributed Systems , 1997 .

[26]  Xiaolong Jin,et al.  Autonomy Oriented Computing: From Problem Solving to Complex Systems Modeling (Multiagent Systems, Artificial Societies, and Simulated Organizations) , 2004 .

[27]  Zdzisław Pawlak,et al.  Dependency of attributes in information systems , 1985 .

[28]  Klaus Weihrauch,et al.  Computable Analysis: An Introduction , 2014, Texts in Theoretical Computer Science. An EATCS Series.

[29]  Victor W. Marek,et al.  File Organization, An Application of Graph Theory , 1974, ICALP.

[30]  Stephen Read,et al.  Thinking about logic , 1994 .

[31]  Jiming Liu.  Autonomous agents and multi-agent systems : explorations in learning, self-organization and adaptive computation , 2001 .

[32]  S. Parsons,et al.  Game Theory and Decision Theory in Agent-Based Systems , 2002, Multiagent Systems, Artificial Societies, and Simulated Organizations.

[33]  Michael O'Connor.  Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic , 2007, LFCS.

[34]  Ron Sun,et al.  Duality of the mind - a bottom-up approach toward cognition , 2001 .

[35]  A ZadehLotfi,et al.  Toward a generalized theory of uncertainty (GTU) , 2005 .

[36]  Andrzej Skowron,et al.  Rough Sets and Vague Concept Approximation: From Sample Approximation to Adaptive Learning , 2006, Trans. Rough Sets.

[37]  Andrzej Skowron,et al.  Approximation Spaces and Information Granulation , 2004, Trans. Rough Sets.

[38]  D. M. Kan,et al.  Adjoint Functors , 2022 .

[39]  Jan G. Bazan.  Behavioral Pattern Identification Through Rough Set Modeling , 2005, Fundam. Informaticae.

[40]  Tu Bao Ho,et al.  Nonhierarchical document clustering based on a tolerance rough set model , 2002, Int. J. Intell. Syst..

[41]  N. Rescher.  Many Valued Logic , 1969 .

[42]  Peter Jackson,et al.  Natural language processing for online applications : text retrieval, extraction and categorization , 2002 .

[43]  R. Keefe.  Theories of vagueness , 2000 .

[44]  C. I. Lewis,et al.  The Semantic Conception of Truth and the Foundations of Semantics , 1944 .

[45]  J. Hintikka.  The Principles of Mathematics Revisited: Introduction , 1996 .

[46]  Andrzej Skowron,et al.  A Wistech Paradigm for Intelligent Systems , 2007, Trans. Rough Sets.

[47]  Sndor Dominich.  Mathematical Foundations of Information Retrieval , 2002, Computational Linguistics.

[48]  Cecylia Rauszer.  Algebraic considerations of autoepistemic logic , 1992, Fundam. Informaticae.

[49]  Michael Luck,et al.  Agent technology: Enabling next generation computing , 2003 .

[50]  Z. Pawlak.  Classification of objects by means of attributes , 1981 .

[51]  Roger C. Lyndon,et al.  Notes on Logic , 1966 .

[52]  T. Poggio,et al.  The Mathematics of Learning: Dealing with Data , 2005, 2005 International Conference on Neural Networks and Brain.

[53]  A. Mazurkiewicz.  Concurrent Program Schemes and their Interpretations , 1977 .

[54]  E. H. Moore.  ON THE FOUNDATIONS OF MATHEMATICS. , 1903 .

[55]  David Corwin.  Galois Theory , 2009 .

[56]  Andrzej Skowron,et al.  Rough mereology: A new paradigm for approximate reasoning , 1996, Int. J. Approx. Reason..

[57]  Andrzej Skowron,et al.  Rough sets and Boolean reasoning , 2007, Inf. Sci..

[58]  Randolph M. Jones,et al.  Comparative Analysis of Frameworks for Knowledge-Intensive Intelligent Agents , 2006, AI Mag..

[59]  Roman Suszko,et al.  Ontology in the Tractatus of L. Wittgenstein , 1968, Notre Dame J. Formal Log..

[60]  A. Tarski.  Contributions to the theory of models. III , 1954 .

[61]  Claudio Carpineto,et al.  Concept data analysis - theory and applications , 2004 .

[62]  Lev Gordeev,et al.  Basic proof theory , 1998 .

[63]  Silvio Ghilardi,et al.  Sheaves, games, and model completions - a categorical approach to nonclassical propositional logics , 2011, Trends in logic.

[64]  John-Jules Ch. Meyer.  Agent Technology , 2008, Wiley Encyclopedia of Computer Science and Engineering.

[65]  J M Smith,et al.  Evolution and the theory of games , 1976 .

[66]  Lotfi A. Zadeh,et al.  Toward a generalized theory of uncertainty (GTU) - an outline , 2005, GrC.

[67]  Zdzisław Pawlak,et al.  Knowledge representation systems. definability of informations , 1981 .

[68]  Michael W. Berry,et al.  Survey of Text Mining: Clustering, Classification, and Retrieval , 2007 .

[69]  Roberto Giuntini,et al.  Reasoning in Quantum Theory: Sharp and Unsharp Quantum Logics , 2010 .

[70]  Munindar P. Singh,et al.  Readings in agents , 1997 .

[71]  R. Sun.  Cognition and Multi-Agent Interactions: From Cognitive Modeling to Social Simulation , 2005 .

[72]  Tomasz Maszczyk.  Galois structures , 2008 .

[73]  R. Sikorski,et al.  The mathematics of metamathematics , 1963 .

[74]  Antoni Kreczmar,et al.  LOGLAN '88 — Report on the Programming Language , 1990, Lecture Notes in Computer Science.

[75]  R. Goodstein.  Boolean algebra , 1963 .

[76]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[77]  Cecylia Rauszer,et al.  Dependencies in relational databases algebraic and logical approach , 1993 .

[78]  Martin Stacey,et al.  Scientific Discovery: Computational Explorations of the Creative Processes , 1988 .

[79]  René J. Jorna,et al.  Planning in intelligent systems : aspects, motivations, and methods , 2006 .

[80]  Andrzej Skowron,et al.  Tolerance Approximation Spaces , 1996, Fundam. Informaticae.

[81]  Ewa Orlowska,et al.  Kripke semantics for knowledge representation logics , 1990, Stud Logica.

[82]  Jeremy E. Oakley,et al.  Uncertain Judgements: Eliciting Experts' Probabilities , 2006 .

[83]  Andrzej Skowron,et al.  Rough-Neural Computing , 2004, Cognitive Technologies.

[84]  S. Ulam,et al.  Adventures of a Mathematician , 2019, Mathematics: People · Problems · Results.

[85]  Leo Breiman,et al.  Statistical Modeling: The Two Cultures (with comments and a rejoinder by the author) , 2001, Statistical Science.

[86]  Boris Hennig.  What is Formal Ontology , 2004 .

[87]  Victor W. Marek,et al.  Information Storage and Retrieval Systems: Mathematical Foundations , 1976, Theor. Comput. Sci..

[88]  Dominic Widdows,et al.  Geometry and Meaning , 2004, Computational Linguistics.

[89]  J. Grabowski,et al.  On partial languages , 1981, Fundam. Informaticae.

[90]  S. Leśniewski.  Grundzüge eines neuen Systems der Grundlagen der Mathematik , 1929 .

[91]  A. Tversky,et al.  Judgment under Uncertainty: Heuristics and Biases , 1974, Science.

[92]  Andrzhei︠a︡ Mostowski,et al.  Foundational studies : selected works , 1979 .

[93]  Philippe Balbiani,et al.  Formal Concept Analysis, Foundations and Applications , 2005 .

[94]  Andrzej Mostowski.  Proofs of Non-Deducibility in Intuitionistic Functional Calculus , 1948, J. Symb. Log..

[95]  Tsau Young Lin,et al.  Granular Computing , 2003, RSFDGrC.

[96]  D. Ruppert.  The Elements of Statistical Learning: Data Mining, Inference, and Prediction , 2004 .

[97]  Richard Zach,et al.  Leonard Bolc and Piotr Borowik: Many-valued logics: 1. Theoretical foundations, Berlin: Springer, 1991 , 1994 .

[98]  A. Tarski,et al.  Cylindric Algebras. Part II , 1988 .

[99]  Ewa Orlowska,et al.  Semantics of Vague Concepts , 1985 .

[100]  Andrzej Skowron,et al.  Complex Patterns , 2003, Fundam. Informaticae.

[101]  Cecylia Rauszer.  An algebraic approach to the Heyting-Brouwer predicate calculus , 1977 .

[102]  Vaughan R. Pratt,et al.  Transition and cancellation in concurrency and branching time , 2003, Mathematical Structures in Computer Science.

[103]  Janusz Zalewski,et al.  Rough sets: Theoretical aspects of reasoning about data , 1996 .

[104]  A. V. Napalkov,et al.  COMPUTERS AND THOUGHT, EDITED BY E. A. FEIGENBAUM AND J. FELDMAN, NEW YORK, MCGRAW-HILL, 1963: BOOK REVIEW, , 1967 .

[105]  Nicholas L. Cassimatis,et al.  A Cognitive Substrate for Achieving Human-Level Intelligence , 2006, AI Mag..

[106]  Andrzej Salwicki,et al.  Algorithmic Logic , 1987 .

[107]  Johan van Benthem,et al.  The Age of Alternative Logics , 2005 .

[108]  C. J. Everett,et al.  Projective Algebra I , 1946 .

[109]  Dieter Fensel,et al.  Ontologies: A silver bullet for knowledge management and electronic commerce , 2002 .

[110]  James F. Peters,et al.  Monocular Vision System that Learns with Approximation Spaces , 2008 .

[111]  Andrzej Skowron,et al.  Modelling Complex Patterns by Information Systems , 2005, Fundam. Informaticae.

[112]  James F. Peters,et al.  Near Sets. Special Theory about Nearness of Objects , 2007, Fundam. Informaticae.

[113]  H.C.M. de Swart,et al.  Different Approaches to Knowledge, Common Knowledge and Aumann's Theorem , 1995 .

[114]  I. Moerdijk,et al.  Sheaves in geometry and logic: a first introduction to topos theory , 1992 .

[115]  J. Fletcher.  Evolutionary Game Theory, Natural Selection, and Darwinian Dynamics , 2006, Journal of Mammalian Evolution.

[116]  P. Jorgensen,et al.  Analysis and Probability: Wavelets, Signals, Fractals , 2006 .

[117]  Cecylia Rauszer,et al.  Knowledge Representation Systems for Groups of Agents , 1994 .

[118]  H. Rasiowa,et al.  Approximating sets with equivalence relations , 1986, ISMIS '86.

[119]  Andrzej Jankowski,et al.  Logical Foundation Approach to Users' Domain Restriction in Data Bases , 1983, Theor. Comput. Sci..

[120]  N. Foo.  Conceptual Spaces—The Geometry of Thought , 2022 .

[121]  Emil Popescu,et al.  On Galois Connexions , 1994 .

[122]  Z. Pawlak.  Rough Sets: Theoretical Aspects of Reasoning about Data , 1991 .

[123]  Andrzej Skowron,et al.  Information granules: Towards foundations of granular computing , 2001, Int. J. Intell. Syst..

[124]  Andrzej Skowron,et al.  Layered Learning for Concept Synthesis , 2004, Trans. Rough Sets.

[125]  John F. Sowa,et al.  Knowledge Representation and Reasoning , 2000 .

[126]  C. Kuratowski,et al.  Les opérations logiques et les ensembles projectifs , 1931 .

[127]  Robert Tibshirani,et al.  The Elements of Statistical Learning: Data Mining, Inference, and Prediction, 2nd Edition , 2001, Springer Series in Statistics.

[128]  J. Lambek,et al.  Introduction to higher order categorical logic , 1986 .

[129]  Andrzej Skowron,et al.  Knowledge Representation Techniques - A Rough Set Approach , 2006, Studies in Fuzziness and Soft Computing.

[130]  Stefan Friedrich,et al.  Topology , 2019, Arch. Formal Proofs.

[131]  Majid Alizadeh,et al.  Boolean Algebras , 2022, Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic.

[132]  Roman Suszko,et al.  Investigations into the sentential calculus with identity , 1972, Notre Dame J. Formal Log..

[133]  Richard Granger,et al.  Engines of the Brain: The Computational Instruction Set of Human Cognition , 2006, AI Mag..

[134]  James F. Peters,et al.  Matching 2D Image Segments with Genetic Algorithms and Approximation Spaces , 2006, Trans. Rough Sets.

[135]  Ewa Orlowska,et al.  Representation of Nondeterministic Information , 1984, Theor. Comput. Sci..

[136]  G. Mann.  The Quark and the Jaguar: adventures in the simple and the complex , 1994 .

[137]  Andrzej Skowron,et al.  Rough sets: Some extensions , 2007, Inf. Sci..

[138]  D. Scott,et al.  Sheaves and logic , 1979 .

[139]  Patrick Henry Winston,et al.  Achieving human-level intelligence through integrated systems and research : papers from the 2004 AAAI Symposium, October 21-24, Arlington, Virginia , 2004 .

[140]  Vladimir Vapnik,et al.  Statistical learning theory , 1998 .

[141]  Leonard Bolc,et al.  Many-valued logics 2 - automated reasoning and practical applications , 2010 .

[142]  K. J. Barwise,et al.  Axioms for abstract model theory , 1974 .

[143]  Thomas G. Dietterich.  What is machine learning? , 2020, Archives of Disease in Childhood.

[144]  James F. Peters,et al.  Rough Ethology: Towards a Biologically-Inspired Study of Collective Behavior in Intelligent Systems with Approximation Spaces , 2005, Trans. Rough Sets.

[145]  L. Gottfredson.  Mainstream science on intelligence: An editorial with 52 signatories, history, and bibliography , 1997 .

[146]  Andrzej Skowron,et al.  The Discernibility Matrices and Functions in Information Systems , 1992, Intelligent Decision Support.

[147]  Hiroakira Ono,et al.  On an algebraic and Kripke semantics for intermediate logics , 1982 .

[148]  Christian Lebiere,et al.  Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation , 2006 .

[149]  John R. Koza,et al.  Hidden Order: How Adaptation Builds Complexity. , 1995, Artificial Life.

[150]  Laeeque K. Daneshmend,et al.  Spatial Reasoning and Planning: Geometry, Mechanism, and Motion (Advanced Information Processing) , 2003 .

[151]  Kenneth D. Forbus,et al.  Companion Cognitive Systems: A Step towards Human-Level AI , 2004, AI Mag..

[152]  Ronen Feldman,et al.  Book Reviews: The Text Mining Handbook: Advanced Approaches to Analyzing Unstructured Data by Ronen Feldman and James Sanger , 2008, CL.

[153]  Victor W. Marek,et al.  Contributions to the Theory of Rough Sets , 1999, Fundam. Informaticae.

[154]  Jeff Heaton,et al.  Programming Spiders, Bots, and Aggregators in Java , 2002 .

[155]  Elizabeth C. Hirschman,et al.  Judgment under Uncertainty: Heuristics and Biases , 1974, Science.

[156]  James F. Peters,et al.  Approximation spaces in off-policy Monte Carlo learning , 2007, Eng. Appl. Artif. Intell..

[157]  Shigeo Abe DrEng.  Pattern Classification , 2001, Springer London.

[158]  S. Tsumoto,et al.  Rough set methods and applications: new developments in knowledge discovery in information systems , 2000 .

[159]  A. M. Turing,et al.  Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.

[160]  Andrzej Skowron,et al.  Information Granules and Rough-Neural Computing , 2004 .

[161]  Witold Pedrycz,et al.  Granular computing: an introduction , 2001, Proceedings Joint 9th IFSA World Congress and 20th NAFIPS International Conference (Cat. No. 01TH8569).

[162]  John R. Anderson,et al.  MACHINE LEARNING An Artificial Intelligence Approach , 2009 .

[163]  David G. Stork,et al.  Pattern Classification , 1973 .

[164]  Per Lindström,et al.  On Extensions of Elementary Logic , 2008 .

[165]  J. Sutherland.  The Quark and the Jaguar , 1994 .

[166]  G. Leibniz.  Discourse on Metaphysics , 1902 .

[167]  Andrzej Skowron,et al.  Wisdom granual computing , 2008 .

[168]  A. Mostowski.  On a generalization of quantifiers , 1957 .

[169]  Martin Davis,et al.  A relativity principle in quantum mechanics , 1977 .

[170]  R. W. Marczynski.  The First Seven Years of Polish Digital Computers , 1980, Annals of the History of Computing.

[171]  Cecylia Rauszer,et al.  Notes on the Rasiowa-Sikorski lemma , 1975 .

[172]  Stefan Edelkamp,et al.  Automated Planning: Theory and Practice , 2007, Künstliche Intell..

[173]  Maciej Borkowski,et al.  Digital image processing in measurement of ice thickness on power transmission lines : a Rough Set approach , 2002 .

[174]  Hans Hermes,et al.  Introduction to mathematical logic , 1973, Universitext.

[175]  Petr Hájek,et al.  Review of Leonard Bolc and Piotr Borowik: Many-valued Logics: 1. Theoretical Foundations , 1994, J. Appl. Non Class. Logics.

[176]  S. Poirier.  Foundations of mathematics , 2007 .

[177]  M. Jackson.  What do you mean? , 1989, Geriatric nursing.

[178]  黃崇冀,et al.  Machine learning : an artificial intelligence approach , 1988 .

[179]  Vaughan Pratt.  Chu Spaces , 1999 .

[180]  Tong Zhang,et al.  Text Mining: Predictive Methods for Analyzing Unstructured Information , 2004 .

[181]  Witold Lipski,et al.  On Databases with Incomplete Information , 1981, JACM.

[182]  Tuan Trung Nguyen.  Eliciting Domain Knowledge in Handwritten Digit Recognition , 2005, PReMI.

[183]  Lotfi A. Zadeh,et al.  From Computing with Numbers to Computing with Words - from Manipulation of Measurements to Manipulation of Perceptions , 2005, Logic, Thought and Action.

[184]  Randall W. Hill,et al.  Towards Virtual Humans , 2004, AAAI Technical Report.

[185]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[186]  Andrzej Skowron,et al.  Classifiers Based on Approximate Reasoning Schemes , 2004, MSRAS.

[187]  Andrzej Skowron,et al.  Calculi of Approximation Spaces , 2006, Fundam. Informaticae.

[188]  P. J. Cohen.  Set Theory and the Continuum Hypothesis , 1966 .

[189]  J. Kacprzyk,et al.  Incomplete Information: Rough Set Analysis , 1997 .

[190]  Hung Son Nguyen,et al.  A method of Web search result clustering based on rough sets , 2005, The 2005 IEEE/WIC/ACM International Conference on Web Intelligence (WI'05).

[191]  A. Hughes.  Oxford English Dictionary. , 2008, Isis; an international review devoted to the history of science and its cultural influences.

[192]  John L. Bell,et al.  Set Theory: Boolean-Valued Models and Independence Proofs , 2005 .

[193]  James F. Peters,et al.  Reinforcement Learning with Approximation Spaces , 2006, Fundam. Informaticae.

[194]  Andrzej Skowron,et al.  Rough sets in perception-based computing (keynote talk) , 2005 .

[195]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[196]  A. Pitts.  INTRODUCTION TO HIGHER ORDER CATEGORICAL LOGIC (Cambridge Studies in Advanced Mathematics 7) , 1987 .

[197]  Dana S. Scott,et al.  A proof of the independence of the continuum hypothesis , 1967, Mathematical systems theory.

[198]  Frank van Harmelen,et al.  A semantic web primer , 2004 .

[199]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

[200]  Jean-Yves Béziau,et al.  Logica Universalis: Towards a General Theory of Logic , 2007 .

[201]  D. Prawitz.  Natural Deduction: A Proof-Theoretical Study , 1965 .

[202]  Helena Rasiowa,et al.  On reaching consensus by groups of intelligent agents , 2006 .

[203]  Ewa Orlowska,et al.  Expressive Power of Knowledge Representation Systems , 1984, Int. J. Man Mach. Stud..

[204]  Jan A. Plaza,et al.  Logics of public communications , 2007, Synthese.

[205]  James F. Peters,et al.  Near Sets. Toward Approximation Space-Based Object Recognition , 2007, RSKT.

[206]  Sergey Brin,et al.  The Anatomy of a Large-Scale Hypertextual Web Search Engine , 1998, Comput. Networks.

[207]  K. J. Barwise,et al.  Absolute logics and L∞ω☆ , 1972 .

[208]  Pei Wang,et al.  What Do You Mean by "AI"? , 2008, AGI.

[209]  Andrzej Skowron,et al.  Rudiments of rough sets , 2007, Inf. Sci..

[210]  Steve Lawrence,et al.  Extracting knowledge from the World Wide Web , 2004, Proceedings of the National Academy of Sciences of the United States of America.

[211]  Mika Hirvensalo.  Quantum Computing , 2001, Natural Computing Series.