Theories of Semantics on the Web

In this chapter, we explore theories of semantics for the Web. In particular, we first inspect the source of the fission, what is known as the ‘Identity Crisis’ of the Semantic Web, which first became visible as an argument between Hayes and Berners-Lee. This problem has as its root the issue of how to determine what a URI means or refers to. We inspect the original theory of meaning, the theory of sense and reference by Frege. Then we move to theories of semantics that attempted to get rid of the notion of sense, namely logical atomism, and notice its similarity with certain interpretations of the formal semantics of the Semantic Web, even though the formal semantics of the Semantic Web makes no appeal to ‘sense-data.’ Then the famous counter-argument, the causal theory of reference of Kripke and its extension to natural kinds by Putnam is introduced. An extended parallel is shown between this Kripkean theory of the Web and Berners-Lee’s position is elaborated. Finally, we return to Frege’s notion of sense in search of a third tenable position.

[1]  Hinrich Schütze,et al.  Book Reviews: Foundations of Statistical Natural Language Processing , 1999, CL.

[2]  Stephen E. Robertson,et al.  Relevance weighting of search terms , 1976, J. Am. Soc. Inf. Sci..

[3]  Ron Daniel,et al.  URI Resolution Services Necessary for URN Resolution , 1999, RFC.

[4]  Tom Heath,et al.  How to Publish Linked Data on the Web - Proposal for a Half-day Tutorial at ISWC2008 , 2008 .

[5]  Robert B. Ash,et al.  Information Theory , 2020, The SAGE International Encyclopedia of Mass Media and Society.

[6]  Patrick J. Hayes,et al.  The Naive Physics Manifesto , 1990, The Philosophy of Artificial Intelligence.

[7]  Raymond Reiter On Closed World Data Bases , 1977, Logic and Data Bases.

[8]  Aldo Gangemi,et al.  Ontology Design Patterns , 2005 .

[9]  John Riedl,et al.  Item-based collaborative filtering recommendation algorithms , 2001, WWW '01.

[10]  Marvin Minsky,et al.  A framework for representing knowledge" in the psychology of computer vision , 1975 .

[11]  B. F. Miller,et al.  Tolerance to Maternal Skin Grafts in Rabbits induced by Hyaluronidase , 1960, Nature.

[12]  Yorick Wilks Karen Spärck Jones (1935-2007) , 2007, IEEE Intell. Syst..

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

[14]  G. Simondon Du mode d'existence des objets techniques , 1989 .

[15]  Jack Minker,et al.  Logic and Data Bases , 1978, Springer US.

[16]  Michael Wheeler The Fourth Way: A Comment on Halpin's "Philosophical Engineering" , 2008 .

[17]  Duncan J. Watts,et al.  Collective dynamics of ‘small-world’ networks , 1998, Nature.

[18]  J. Searle The Construction of Social Reality , 1997 .

[19]  Lide Wu,et al.  Folksonomy as a Complex Network , 2005, ArXiv.

[20]  J. Baudrillard Simulacra and Simulation , 1981 .

[21]  Tim Berners-Lee,et al.  Linked Data on the Web , 2008, LDOW.

[22]  Roger M. Needham,et al.  A Method for Using Computers in Information Classification , 1962, IFIP Congress.

[23]  Douglas B. Lenat,et al.  Language, representation and contexts , 1992 .

[24]  Roi Blanco,et al.  Repeatable and reliable search system evaluation using crowdsourcing , 2011, SIGIR.

[25]  Christoph Mangold,et al.  A survey and classification of semantic search approaches , 2007, Int. J. Metadata Semant. Ontologies.

[26]  N. Goodman,et al.  Languages of art : an approach to a theory of symbols , 1979 .

[27]  Brian Cantwell Smith,et al.  Reflection and semantics in LISP , 1984, POPL.

[28]  D. Rumelhart,et al.  Philosophy and Connectionist Theory , 1991 .

[29]  L. Wittgenstein A certainty , 2001, BMJ : British Medical Journal.

[30]  Valentin Robu,et al.  The complex dynamics of collaborative tagging , 2007, WWW '07.

[31]  Yorick Wilks,et al.  A Preferential, Pattern-Seeking, Semantics for Natural Language Inference , 1975, Artif. Intell..

[32]  Saul A. Kripke,et al.  Naming and Necessity , 1980 .

[33]  B. Russell II.—On Denoting , 1905 .

[34]  John McCarthy,et al.  A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, August 31, 1955 , 2006, AI Mag..

[35]  Marc Moens,et al.  Description of the LTG System Used for MUC-7 , 1998, MUC.

[36]  Marvin Minsky,et al.  Semantic Information Processing , 1968 .

[37]  John A. Barnden,et al.  Semantic Networks , 1998, Encyclopedia of Social Network Analysis and Mining.

[38]  R. Millikan Varieties of Meaning: The 2002 Jean Nicod Lectures , 2004 .

[39]  Terry Winograd,et al.  Towards a procedural understanding of semantics , 1976 .

[40]  Manfred Schmidt-Schaubß,et al.  Subsumption in KL-ONE is undecidable , 1989, KR 1989.

[41]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[42]  Hermann A. Maurer,et al.  The Hyper-G Network Information System , 1996 .

[43]  Aldo Gangemi,et al.  Identity of Resources and Entities on the Web , 2008, Int. J. Semantic Web Inf. Syst..

[44]  Stuart C. Shapiro,et al.  Encyclopedia of artificial intelligence, vols. 1 and 2 (2nd ed.) , 1992 .

[45]  Vinton G. Cerf,et al.  A brief history of the internet , 1999, CCRV.

[46]  P. Hanson Information, language, and cognition , 1993 .

[47]  T. Hofmann Varieties of Meaning. , 1976 .

[48]  Elin K. Jacob,et al.  Classification and Categorization: A Difference that Makes a Difference , 2004, Libr. Trends.

[49]  Ronald J. Brachman,et al.  What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks , 1983, Computer.

[50]  Stephen E. Robertson,et al.  Microsoft Cambridge at TREC 14: Enterprise Track , 2005, TREC.

[51]  R. Cummins Representations, targets, and attitudes , 1996 .

[52]  Donald Michie,et al.  Expert systems in the micro-electronic age , 1979 .

[53]  Hector J. Levesque,et al.  Expressiveness and tractability in knowledge representation and reasoning 1 , 1987, Comput. Intell..

[54]  Ronald J. Brachman,et al.  Special issue on knowledge representation , 1980, SGAR.

[55]  Dinan Gunawardena,et al.  Social tags: meaning and suggestions , 2008, CIKM '08.

[56]  Douglas C. Engelbart,et al.  Knowledge-domain interoperability and an open hyperdocument system , 1990, CSCW '90.

[57]  A. Clark Being There: Putting Brain, Body, and World Together Again , 1996 .

[58]  Alta van der Merwe,et al.  A Functional Semantic Web Architecture , 2008, ESWC.

[59]  Roy Fielding,et al.  Architectural Styles and the Design of Network-based Software Architectures"; Doctoral dissertation , 2000 .

[60]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[61]  Brian Cantwell Smith,et al.  The Owl and the Electric Encyclopedia , 1991, Artif. Intell..

[62]  Douglas C. Engelbart,et al.  Bootstrapping our collective intelligence , 1999, CSUR.

[63]  A. Clark,et al.  The Extended Mind , 1998, Analysis.

[64]  Aldo Gangemi,et al.  RDF/OWL Representation of WordNet , 2006 .

[65]  Peter Mika Ontologies Are Us: A Unified Model of Social Networks and Semantics , 2005, International Semantic Web Conference.

[66]  J. Fodor The Language of Thought , 1980 .

[67]  Penelope Maddy,et al.  The logical structure of the world , 2007 .

[68]  W. Bechtel Representations and cognitive explanations: Assessing the dynamicist's challenge in cognitive scienc , 1998 .

[69]  E. Prud hommeaux,et al.  SPARQL query language for RDF , 2011 .

[70]  N. Katherine Hayles My Mother Was a Computer: Digital Subjects and Literary Texts , 2005 .

[71]  H. Simon,et al.  ON A CLASS OF SKEW DISTRIBUTION FUNCTIONS , 1955 .

[72]  John F. Sowa,et al.  Conceptual Graphs for a Data Base Interface , 1976, IBM J. Res. Dev..

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

[74]  Daniel T. Connolly,et al.  The XML revolution , 1998 .

[75]  Jens Lehmann,et al.  DBpedia: A Nucleus for a Web of Open Data , 2007, ISWC/ASWC.

[76]  Valentin Robu,et al.  Emergence of consensus and shared vocabularies in collaborative tagging systems , 2009, TWEB.

[77]  Brian Cantwell Smith,et al.  On the origin of objects , 1997, Trends in Cognitive Sciences.

[78]  Douglas C. Engelbart,et al.  Augmenting human intellect: a conceptual framework , 1962 .

[79]  Harry Halpin,et al.  Sense and Reference on the Web , 2011, Minds and Machines.

[80]  Pierre Lévy,et al.  Collective Intelligence: Mankind's Emerging World in Cyberspace , 1997 .

[81]  Donald M MacKay The Place of ‘Meaning’ in the Theory of Information , 1969 .

[82]  L. Floridi OPEN PROBLEMS IN THE PHILOSOPHY OF INFORMATION , 2004 .

[83]  David J. Chalmers,et al.  Two-dimensional semantics , 2008 .

[84]  Patrick J. Hayes,et al.  In Defense of Logic , 1977, IJCAI.

[85]  Ray Monk,et al.  Ludwig Wittgenstein: The Duty of Genius , 1991 .

[86]  Peter Nijkamp,et al.  Accessibility of Cities in the Digital Economy , 2004, cond-mat/0412004.

[87]  M E J Newman,et al.  Finding and evaluating community structure in networks. , 2003, Physical review. E, Statistical, nonlinear, and soft matter physics.

[88]  Harry Halpin,et al.  Foundations of a Philosophy of Collective Intelligence , 2008, AISB Convention.

[89]  Karen Spärck Jones,et al.  Information Retrieval and Artificial Intelligence , 1999, Artif. Intell..

[90]  Peter Bailey,et al.  Overview of the TREC-8 Web Track , 2000, TREC.

[91]  J. J. Rocchio,et al.  Relevance feedback in information retrieval , 1971 .

[92]  J. Biro,et al.  Mind, Brain and Function , 1982 .

[93]  Harry Halpin,et al.  Architecture of the World Wide Web , 2013 .

[94]  M. E. J. Newman,et al.  Power laws, Pareto distributions and Zipf's law , 2005 .

[95]  Jeffrey C. Mogul Clarifying the fundamentals of HTTP , 2002, WWW '02.

[96]  J. C. R. Licklider,et al.  Man-Computer Symbiosis , 1960 .

[97]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[98]  M. Dummett Frege: Philosophy of Language , 1973 .

[99]  Alex S. Taylor,et al.  Machine intelligence , 2009, CHI.

[100]  Hugh C. Davis,et al.  MICROCOSM: An Open Model for Hypermedia with Dynamic Linking , 1990, ECHT.

[101]  C. Cattuto Semiotic dynamics in online social communities , 2006 .

[102]  Dan Connolly,et al.  A Pragmatic Theory of Reference for the Web , 2006 .

[103]  Li Ding,et al.  Characterizing the Semantic Web on the Web , 2006, SEMWEB.

[104]  Arthur L. Norberg,et al.  Credits for the Information Highway. (Book Reviews: Transforming Computer Technology. Information Processing for the Pentagon, 1962-1986.; Where Wizards Stay Up Late. The Origins of the Internet.) , 1996 .

[105]  R. A. Brooks,et al.  Intelligence without Representation , 1991, Artif. Intell..

[106]  Steffen Staab,et al.  International Handbooks on Information Systems , 2013 .

[107]  Vincent C. Müller,et al.  Representation in Digital Systems , 2008 .

[108]  Alexander Galloway,et al.  Protocol, or, How Control Exists after Decentralization , 2001 .

[109]  Frank van Harmelen,et al.  Using Google distance to weight approximate ontology matches , 2007, WWW '07.

[110]  Ricardo Baeza-Yates,et al.  Query-sets: using implicit feedback and query patterns to organize web documents , 2008, WWW.

[111]  William P. Alston,et al.  Knowledge and the Flow of Information , 1985 .

[112]  James A. Hendler,et al.  Metcalfe's law, Web 2.0, and the Semantic Web , 2008, J. Web Semant..

[113]  D. Parkes,et al.  Analysis of Bidding Networks in eBay: Aggregate Preference Identification through Community Detection , 2007 .

[114]  M. Foucault,et al.  The Order of Things , 2017 .

[115]  A. Clark Mindware: An Introduction to the Philosophy of Cognitive Science (Second Edition) , 2000 .

[116]  Harry Halpin,et al.  Relevance Feedback between Web Search and the Semantic Web , 2011, IJCAI.

[117]  David Lewis,et al.  Papers in Philosophical Logic: Analog and digital , 1971 .

[118]  Karen Spärck Jones What's new about the Semantic Web?: some questions , 2004, SIGF.

[119]  Wendy Hall,et al.  Creating a Science of the Web , 2006, Science.

[120]  Michael Merritt,et al.  Plenary Talk , 2004, Proceedings of the IEEE International Conference on Mechatronics, 2004. ICM '04..

[121]  R. Carnap Meaning and necessity : a study in semantics and modal logic , 1948 .

[122]  John F. Sowa Language, Cohesion and Form Margaret Masterman (19101986) (Edited by Yorick Wilks, University of Sheffield), Cambridge University Press (Studies in natural language processing, edited by Steven Bird and Branimir Boguraev), 2005, x+312 pp; hardbound, ISBN 0-521-45489-1, $95.00, 55.00; eBook, ISBN 0-5 , 2006, Computational Linguistics.

[123]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[124]  Graeme Hirst,et al.  Context as a Spurious Concept , 1997, ArXiv.

[125]  Fredric Jameson,et al.  The Political Unconscious , 1981 .

[126]  T. H. Nelson,et al.  Complex information processing: a file structure for the complex, the changing and the indeterminate , 1965, ACM '65.

[127]  Michael Batty The Database of Intentions , 2013 .

[128]  Roy T. Fielding,et al.  Uniform Resource Identifiers (URI): Generic Syntax , 1998, RFC.

[129]  S. Bornholdt,et al.  World Wide Web scaling exponent from Simon's 1955 model. , 2000, Physical review. E, Statistical, nonlinear, and soft matter physics.

[130]  M E J Newman,et al.  Fast algorithm for detecting community structure in networks. , 2003, Physical review. E, Statistical, nonlinear, and soft matter physics.

[131]  Mayer D. Schwartz,et al.  The Dexter Hypertext Reference Model , 1994, CACM.

[132]  J. Tambling How We Became Posthuman: Virtual Bodies in Cybernetics, Literature and Informatics by N. Katherine Hayles (review) , 2001, Modern Language Review.

[133]  Steffen Staab,et al.  An epistemic dynamic model for tagging systems , 2008, Hypertext.

[134]  Tim Berners-Lee,et al.  Linked data on the web (LDOW2008) , 2008, WWW.

[135]  R. Carnap Empiricism, semantics and ontology , 1984 .

[136]  Robert E. Kahn,et al.  A Protocol for Packet Network Intercommunication , 1974 .

[137]  Harry Halpin,et al.  Relevance feedback between hypertext and Semantic Web search: Frameworks and evaluation , 2011, J. Web Semant..

[138]  Harry Halpin,et al.  Social Meaning on the Web: From Wittgenstein to Search Engines , 2009, IEEE Intelligent Systems.

[139]  Gerard Salton,et al.  The SMART Retrieval System—Experiments in Automatic Document Processing , 1971 .

[140]  G. Frege Über Sinn und Bedeutung , 1892 .

[141]  M. Mitchell Waldrop,et al.  The Dream Machine: J.C.R. Licklider and the Revolution That Made Computing Personal , 2001 .

[142]  Mor Naaman,et al.  Towards automatic extraction of event and place semantics from flickr tags , 2007, SIGIR.

[143]  Johann Eder,et al.  Logic and Databases , 1992, Advanced Topics in Artificial Intelligence.

[144]  Harry Halpin A Query-Driven Characterization of Linked Data , 2009, LDOW.

[145]  Peter Norvig,et al.  The Unreasonable Effectiveness of Data , 2009, IEEE Intelligent Systems.

[146]  C. K. Ogden,et al.  The Meaning of Meaning , 1923 .

[147]  Avi Pfeffer,et al.  Probabilistic Frame-Based Systems , 1998, AAAI/IAAI.

[148]  S. Kraemer Steps to an Ecology of Mind: Gregory Bateson , 1993, British Journal of Psychiatry.

[149]  M. Wheeler Reconstructing the Cognitive World: The Next Step , 2005 .

[150]  Peter Mika,et al.  Entity Search Evaluation over Structured Web Data , 2011 .

[151]  Mark E. J. Newman,et al.  Power-Law Distributions in Empirical Data , 2007, SIAM Rev..

[152]  Frank Keller,et al.  Using the Web to Obtain Frequencies for Unseen Bigrams , 2003, CL.

[153]  Rachel Bowlby,et al.  The Inhuman: Reflections on Time , 1991 .

[154]  Matthias Scheutz,et al.  Computationalism: New Directions , 2003 .

[155]  Stevan Harnad,et al.  Symbol grounding problem , 1990, Scholarpedia.

[156]  William A. Woods,et al.  What's in a Link: Foundations for Semantic Networks , 1975 .

[157]  Yuzhong Qu,et al.  Falcons: searching and browsing entities on the semantic web , 2008, WWW.

[158]  Daniel C. Dennett,et al.  Brainstorms: Philosophical Essays on Mind and Psychology , 1981 .

[159]  Richard Fikes,et al.  REF-ARF: A System for Solving Problems Stated as Procedures , 1970, Artif. Intell..

[160]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[161]  Harry Halpin The Semantic Web: The Origins of Artificial Intelligence Redux , 2005 .

[162]  Victor Lavrenko,et al.  A Generative Theory of Relevance , 2008, The Information Retrieval Series.

[163]  Margaret Masterman,et al.  Language, Cohesion And Form , 2005 .

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

[165]  Valentina Presutti,et al.  The identity of resources on the Web: An ontology for Web architecture , 2011, Appl. Ontology.

[166]  Ricardo A. Baeza-Yates,et al.  Extracting semantic relations from query logs , 2007, KDD '07.

[167]  Harry Halpin,et al.  An Experimental Analysis of Suggestions in Collaborative Tagging , 2009, 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology.

[168]  C. M. Sperberg-McQueen,et al.  Extensible Markup Language (XML) , 1997, World Wide Web J..

[169]  Tim Berners-Lee,et al.  Weaving The Web: The Original Design And Ultimate Destiny of the World Wide Web , 1999 .

[170]  Willard Van Orman Quine,et al.  Word and Object , 1960 .

[171]  Rudolf Carnap,et al.  An outline of a theory of semantic information , 1952 .

[172]  Hubert L. Dreyfus,et al.  What computers still can't do - a critique of artificial reason , 1992 .

[173]  W. Quine The two dogmas of empiricism , 1951 .

[174]  Stephen E. Robertson,et al.  Simple BM25 extension to multiple weighted fields , 2004, CIKM '04.

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

[176]  Philip Wadler The Girard-Reynolds isomorphism , 2003, Inf. Comput..

[177]  Wei-Ying Ma,et al.  Probabilistic query expansion using query logs , 2002, WWW '02.

[178]  W. Quine Main trends in recent philosophy: two dogmas of empiricism. , 1951 .

[179]  Ziqi Zhang,et al.  Dynamic iterative ontology learning , 2007 .

[180]  Allen Newell,et al.  Physical Symbol Systems , 1980, Cogn. Sci..

[181]  Brian Cantwell Smith,et al.  The Foundations of Computing , 1996 .

[182]  John Haugeland,et al.  Analog and Analog , 1981 .

[183]  John McCarthy,et al.  1959 Memorandum , 1992 .

[184]  Bernardo A. Huberman,et al.  Usage patterns of collaborative tagging systems , 2006, J. Inf. Sci..

[185]  Patrick J. Hayes,et al.  In Defense of Ambiguity , 2008, Int. J. Semantic Web Inf. Syst..

[186]  Tim Berners-Lee,et al.  Information Management: A Proposal , 1990 .

[187]  Andy Clark,et al.  Towards a Philosophy of the Web: Representation, Enaction, Collective Intelligence , 2013 .

[188]  Claude E. Shannon,et al.  The Mathematical Theory of Communication , 1950 .

[189]  D. Chalmers Facing Up to the Problem of Consciousness , 1995 .

[190]  Alan Bundy,et al.  Harnessing the power of folksonomies for formal ontology matching on-the-fly , 2010, OM.

[191]  Yorick Wilks,et al.  What would a Wittgensteinian computational linguistics be like , 2008, AISB Convention.

[192]  Mor Naaman,et al.  HT06, tagging paper, taxonomy, Flickr, academic article, to read , 2006, HYPERTEXT '06.

[193]  Ricardo Baeza-Yates From Capturing Semantics to Semantic Search: A Virtuous Cycle , 2008, ESWC.

[194]  Paul M. B. Vitányi,et al.  The Google Similarity Distance , 2004, IEEE Transactions on Knowledge and Data Engineering.

[195]  Tim Berners-Lee,et al.  World-Wide Web: The Information Universe , 1992, Electron. Netw. Res. Appl. Policy.

[196]  Ramanathan V. Guha,et al.  Semantic search , 2003, WWW '03.

[197]  J. Fleiss Measuring nominal scale agreement among many raters. , 1971 .

[198]  Fabien L. Gandon,et al.  Speech acts meet tagging: NiceTag ontology , 2010, I-SEMANTICS '10.

[199]  James Allan,et al.  INQUERY and TREC-8 , 1998, TREC.

[200]  Jay F. Rosenberg,et al.  Language, thought and other Biological Categories: New Foundations for Realism , 1987 .

[201]  Yorick Wilks,et al.  The Semantic Web: Apotheosis of Annotation, but What Are Its Semantics? , 2008, IEEE Intelligent Systems.

[202]  Vannevar Bush,et al.  As we may think , 1945, INTR.

[203]  Aldo Gangemi,et al.  Norms and plans as unification criteria for social collectives , 2008, Autonomous Agents and Multi-Agent Systems.

[204]  Norbert Wiener,et al.  Cybernetics: Control and Communication in the Animal and the Machine. , 1949 .

[205]  Stephen E. Robertson,et al.  Okapi at TREC-3 , 1994, TREC.

[206]  Valentina Presutti,et al.  An Ontology of Resources: Solving the Identity Crisis , 2009, ESWC.

[207]  Monika Henzinger,et al.  Analysis of a very large web search engine query log , 1999, SIGF.

[208]  H. Zimmermann,et al.  OSI Reference Model - The ISO Model of Architecture for Open Systems Interconnection , 1980, IEEE Transactions on Communications.

[209]  Roger C. Schank,et al.  Conceptual dependency: A theory of natural language understanding , 1972 .

[210]  Keith S. Donnellan,et al.  Language, Mind, and Knowledge , 1977 .

[211]  Wolfgang Christian,et al.  Dynamics of Complex Systems (Studies in Nonlinearity) , 1998 .

[212]  L. Wittgenstein Tractatus Logico-Philosophicus , 2021, Nordic Wittgenstein Review.

[213]  Ramanathan V. Guha,et al.  Cyc: toward programs with common sense , 1990, CACM.

[214]  M. Dummett What Is a Theory of Meaning? (II) , 1996 .

[215]  Terry Winograd,et al.  Procedures As A Representation For Data In A Computer Program For Understanding Natural Language , 1971 .

[216]  Drew McDermott,et al.  A critique of pure reason 1 , 1987, The Philosophy of Artificial Intelligence.

[217]  John McCarthy,et al.  Programs with common sense , 1960 .

[218]  G. Yule,et al.  A Mathematical Theory of Evolution, Based on the Conclusions of Dr. J. C. Willis, F.R.S. , 1925 .

[219]  Patrick Henry Winston,et al.  The psychology of computer vision , 1976, Pattern Recognit..