Semantic decomposition and marker passing in an artificial representation of meaning

The research area of Distributed Artificial Intelligence aims at building intelligent agent systems. Multi-Agent Systems have been applied successfully in many domains, from an intermodal planning domain to cascading security thread simulations. But still, agents struggle with the meaning of concepts used in language. Intelligence needs language to form thoughts. Thus, the challenge addressed in this thesis is to provide a computable representation of meaning and evaluate its usefulness. Based on the theory of a mental lexicon and the thesis that meaning is a combination of symbolic and connectionist parts, I investigate the use of the theory of Natural Semantic Metalanguage (NSM) to build an artificial representation of meaning. I show that the use of NSM for creating a semantic graph out of different information sources can be utilized as a basis for Marker Passing algorithms. The Marker Passing algorithm encodes symbolic meaning to guide the reasoning over the connectionist semantic graph. Through the combination of a semantic graph and symbolic Marker Passing, I can combine connectionist and symbolic approaches to AI research to create my artificial representation of meaning. To test my approach, I build a semantic distance measure, a word sense disambiguation algorithm and a sentence similarity measure which all go head to head with the state-of-the-art. I apply those approaches to two use cases: A semantic service match marking and a contextdependent heuristics. I evaluate my heuristic by utilizing them in AI problem-solving component which uses AI planning guided by my heuristic.

[1]  P. Maes How to Do the Right Thing , 1989 .

[2]  Hector Geffner,et al.  Heuristics for Planning with Action Costs , 2007, CAEPIA.

[3]  Paolo Traverso,et al.  Automated Planning: Theory & Practice , 2004 .

[4]  Georg Lausen,et al.  Automatic computation of semantic proximity using taxonomic knowledge , 2006, CIKM '06.

[5]  John R. Anderson A Spreading Activation Theory of Memory , 1988 .

[6]  Iraklis Varlamis,et al.  Word Sense Disambiguation with Semantic Networks , 2008, TSD.

[7]  Yingxu Wang Discoveries and Breakthroughs in Cognitive Informatics and Natural Intelligence (Advances in Cognitive Informatics and Natural Intelligence (Acini) Book Series) , 2009 .

[8]  Collin F. Baker,et al.  Building a Large Lexical Databank Which Provides Deep Semantics , 2001, PACLIC.

[9]  Sahin Albayrak,et al.  Towards Self-Explaining Agents , 2013, PAAMS.

[10]  Carlo Strapparava,et al.  Corpus-based and Knowledge-based Measures of Text Semantic Similarity , 2006, AAAI.

[11]  Loizos Michael,et al.  Jumping to Conclusions , 2006, DARe@IJCAI.

[12]  M. Dolores del Castillo,et al.  SyMSS: A syntax-based measure for short-text semantic similarity , 2011, Data Knowl. Eng..

[13]  David R. Dowty Lexical Decomposition in Montague Grammar , 1991 .

[14]  Iryna Gurevych,et al.  Wiktionary: a new rival for expert-built lexicons? Exploring the possibilities of collaborative lexicography , 2012 .

[15]  David W. Conrath,et al.  Semantic Similarity Based on Corpus Statistics and Lexical Taxonomy , 1997, ROCLING/IJCLCLP.

[16]  Paraskevas Evripidou,et al.  Combining Pragmatics and Intelligence in Semantic Web Service Discovery , 2007, OTM Workshops.

[17]  Iryna Gurevych,et al.  Analysis of the Wikipedia Category Graph for NLP Applications , 2007 .

[18]  Nihan Kesim Cicekli,et al.  A monolithic approach to automated composition of semantic web services with the Event Calculus , 2010, Knowl. Based Syst..

[19]  Nils J. Nilsson,et al.  Problem-solving methods in artificial intelligence , 1971, McGraw-Hill computer science series.

[20]  J. R. Firth,et al.  A Synopsis of Linguistic Theory, 1930-1955 , 1957 .

[21]  Iraklis Varlamis,et al.  An Experimental Study on Unsupervised Graph-based Word Sense Disambiguation , 2010, CICLing.

[22]  Jesfis Peral,et al.  Heuristics -- intelligent search strategies for computer problem solving , 1984 .

[23]  Roman V. Yampolskiy,et al.  AI-Complete, AI-Hard, or AI-Easy - Classification of Problems in AI , 2012, MAICS.

[24]  W. John Wilbur,et al.  The automatic identification of stop words , 1992, J. Inf. Sci..

[25]  Sahin Albayrak,et al.  Formal Language Decomposition into Semantic Primes , 2014, DCAI 2014.

[26]  Lubomir Stanchev,et al.  Semantic Document Clustering Using a Similarity Graph , 2016, 2016 IEEE Tenth International Conference on Semantic Computing (ICSC).

[27]  Joost C. F. de Winter,et al.  Why the Fitts list has persisted throughout the history of function allocation , 2011, Cognition, Technology & Work.

[28]  Malte Helmert,et al.  A Planning Heuristic Based on Causal Graph Analysis , 2004, ICAPS.

[29]  Patrick Doherty,et al.  Efficient Reasoning Using the Local Closed-World Assumption , 2000, AIMSA.

[30]  Anna Wierzbicka,et al.  English: Meaning and Culture , 2006 .

[31]  Anne E. Fowler,et al.  Developmental shifts in the construction of verb meanings , 1992 .

[32]  Manuel Mucientes,et al.  Automatic Web Service Composition with a Heuristic-Based Search Algorithm , 2011, 2011 IEEE International Conference on Web Services.

[33]  Simone Paolo Ponzetto,et al.  BabelNet: The automatic construction, evaluation and application of a wide-coverage multilingual semantic network , 2012, Artif. Intell..

[34]  Liuqing Yang,et al.  Where does AlphaGo go: from church-turing thesis to AlphaGo thesis and beyond , 2016, IEEE/CAA Journal of Automatica Sinica.

[35]  Eduard Schibrowski,et al.  Model-Driven Architecture ( MDA ) and Data Warehouse Design , 2007 .

[36]  Marek J. Druzdzel Qualitative Verbal Explanations in Bayesian Belief Networks , 1996 .

[37]  Chris Elsaesser,et al.  Explanation of Probabilistic Inference , 1987, Conference on Uncertainty in Artificial Intelligence.

[38]  Cliff Goddard A culture-neutral metalanguage for mental state concepts. , 2007 .

[39]  Michael J. Witbrock,et al.  An Introduction to the Syntax and Content of Cyc , 2006, AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering.

[40]  Eneko Agirre,et al.  Word Sense Disambiguation: Algorithms and Applications , 2007 .

[41]  Graeme Hirst,et al.  Lexical chains as representations of context for the detection and correction of malapropisms , 1995 .

[42]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[43]  Sahin Albayrak,et al.  Self-Explaining Agents , 2013 .

[44]  Roy Rada,et al.  Development and application of a metric on semantic nets , 1989, IEEE Trans. Syst. Man Cybern..

[45]  Robert D. Van Valin,et al.  An Overview of Role and Reference Grammar , 2008 .

[46]  William G. Cole,et al.  Understanding Bayesian reasoning via graphical displays , 1989, CHI '89.

[47]  David Sánchez,et al.  Ontology-based semantic similarity: A new feature-based approach , 2012, Expert Syst. Appl..

[48]  Sebastian Löbner Semantik : eine Einführung , 2003 .

[49]  Peter F. Strawson,et al.  Meaning and truth , 2010 .

[50]  Evgeniy Gabrilovich,et al.  A word at a time: computing word relatedness using temporal semantic analysis , 2011, WWW.

[51]  Matthias Klusch,et al.  Semantic Web Service Composition Planning with OWLS-Xplan , 2005, AAAI Fall Symposium: Agents and the Semantic Web.

[52]  Evan Patterson,et al.  Knowledge Representation in Bicategories of Relations , 2017, ArXiv.

[53]  Hector Geffner,et al.  Best-First Width Search: Exploration and Exploitation in Classical Planning , 2017, AAAI.

[54]  Ijcsis Developing Context Ontology using Information Extraction , 2016 .

[55]  Marcus Kracht,et al.  Are Logical Languages Compositional? , 2013, Stud Logica.

[56]  Hector J. Levesque,et al.  The Winograd Schema Challenge , 2011, AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning.

[57]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[58]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..

[59]  George A. Miller,et al.  Using Corpus Statistics and WordNet Relations for Sense Identification , 1998, CL.

[60]  Valérie Issarny,et al.  Satisfying requirements for pervasive service compositions , 2012, MRT '12.

[61]  John F. Sowa,et al.  Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[62]  Robert Kirk,et al.  A Study of Concepts , 1994 .

[63]  Craig A. Knoblock,et al.  PDDL-the planning domain definition language , 1998 .

[64]  Nancy Ide,et al.  Introduction to the Special Issue on Word Sense Disambiguation: The State of the Art , 1998, Comput. Linguistics.

[65]  T. Rogers,et al.  Object recognition under semantic impairment: The effects of conceptual regularities on perceptual decisions , 2003 .

[66]  Roberto Chinnici,et al.  Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language , 2007 .

[67]  Malte Helmert,et al.  Landmarks Revisited , 2008, AAAI.

[68]  Uwe Reyle,et al.  From Discourse to Logic - Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory , 1993, Studies in linguistics and philosophy.

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

[70]  Jean-Marie Favre,et al.  Towards a Basic Theory to Model Model Driven Engineering , 2004 .

[71]  Ana M. García-Serrano,et al.  A novel family of IC-based similarity measures with a detailed experimental survey on WordNet , 2015, Eng. Appl. Artif. Intell..

[72]  Huaglory Tianfield,et al.  Decentralized multi-agent service composition , 2013, Multiagent Grid Syst..

[73]  Daniel J. Navarro,et al.  Large-Scale Network Representations of Semantics in the Mental Lexicon , 2017 .

[74]  Birgitta König-Ries,et al.  DIANE: A Matchmaking-Centered Framework for Automated Service Discovery, Composition, Binding, and Invocation on the Web , 2007, Int. J. Electron. Commer..

[75]  Anind K. Dey,et al.  Understanding and Using Context , 2001, Personal and Ubiquitous Computing.

[76]  George A. Miller,et al.  WordNet: A Lexical Database for English , 1995, HLT.

[77]  Paolo Traverso,et al.  The actor's view of automated planning and acting: A position paper , 2014, Artif. Intell..

[78]  Eneko Agirre,et al.  A Study on Similarity and Relatedness Using Distributional and WordNet-based Approaches , 2009, NAACL.

[79]  Jörg P. Müller,et al.  The agent architecture InteRRaP : concept and application , 1993 .

[80]  Sahin Albayrak,et al.  Mining Application Development for Research , 2012, PAAMS.

[81]  Yixin Chen,et al.  AI Planning and Combinatorial Optimization for Web Service Composition in Cloud Computing , 2010 .

[82]  Roberto Navigli,et al.  A Unified Multilingual Semantic Representation of Concepts , 2015, ACL.

[83]  Marco Luca Sbodio,et al.  Discovering Semantic Web services using SPARQL and intelligent agents , 2010, J. Web Semant..

[84]  John B. Goodenough,et al.  Contextual correlates of synonymy , 1965, CACM.

[85]  Dieter Fensel,et al.  WSMO-Lite and hRESTS: Lightweight semantic annotations for Web services and RESTful APIs , 2015, J. Web Semant..

[86]  Ted Pedersen,et al.  Using WordNet-based Context Vectors to Estimate the Semantic Relatedness of Concepts , 2006 .

[87]  Nancy Ide,et al.  Word Sense Disambiguation with Very Large Neural Networks Extracted from Machine Readable Dictionaries , 1990, COLING.

[88]  Jens Lehmann,et al.  DBpedia - A large-scale, multilingual knowledge base extracted from Wikipedia , 2015, Semantic Web.

[89]  Joachim Peer,et al.  A PDDL Based Tool for Automatic Web Service Composition , 2004, PPSWR.

[90]  Ulrich Furbach,et al.  Commonsense Reasoning Meets Theorem Proving , 2016, Bridging@IJCAI.

[91]  Andrew Coles,et al.  Heuristic Guidance for Forward-Chaining Planning with Numeric Uncertainty , 2016, ICAPS.

[92]  P. Gärdenfors,et al.  Cognitive semantics : meaning and cognition , 1999 .

[93]  Georgia M. Green Pragmatics and Natural Language Understanding , 1989 .

[94]  Sang-Seok Lee,et al.  WSPR*: Web-Service Planner Augmented with A* Algorithm , 2009, 2009 IEEE Conference on Commerce and Enterprise Computing.

[95]  Peter Norvig,et al.  Marker Passing as a Weak Method for Text Inferencing , 1989, Cogn. Sci..

[96]  Anna Wierzbicka The Theory of the Mental Lexicon , 2009 .

[97]  Josefina Sierra-Santibáñez,et al.  Heuristic planning: A declarative approach based on strategies for action selection , 2004, Artif. Intell..

[98]  Iryna Gurevych,et al.  Wisdom of crowds versus wisdom of linguists – measuring the semantic relatedness of words , 2009, Natural Language Engineering.

[99]  Praveen Paritosh,et al.  Freebase: a collaboratively created graph database for structuring human knowledge , 2008, SIGMOD Conference.

[100]  S. Albayrak,et al.  Learning Mechanisms on OWL-S Service Descriptions for Automated Action Selection , 2017 .

[101]  Martha E. Pollack,et al.  Introducing the Tileworld: Experimentally Evaluating Agent Architectures , 1990, AAAI.

[102]  Ian Horrocks,et al.  A proposal for an owl rules language , 2004, WWW '04.

[103]  Mark Aronoff,et al.  The Handbook of Linguistics , 2001 .

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

[105]  John R. Searle,et al.  Minds, brains, and programs , 1980, Behavioral and Brain Sciences.

[106]  Anna Wierzbicka,et al.  Common language of all people: The innate language of thought , 2011, Probl. Inf. Transm..

[107]  Jay Bagga,et al.  JGraph - A Java Based System for Drawing Graphs and Running Graph Algorithms , 2001, Graph Drawing.

[108]  Hartmut Schmeck,et al.  Organic Computing - A New Vision for Distributed Embedded Systems , 2005, ISORC.

[109]  Peter F. Patel-Schneider,et al.  OWL 2 Web Ontology Language Manchester Syntax (Second Edition) , 2012 .

[110]  M. Ross Quillian,et al.  Retrieval time from semantic memory , 1969 .

[111]  Rada Mihalcea,et al.  Measuring the Semantic Similarity of Texts , 2005, EMSEE@ACL.

[112]  Erez Karpas,et al.  Sensible Agent Technology Improving Coordination and Communication in Biosurveillance Domains , 2009, IJCAI.

[113]  Thierry Vidal,et al.  Automated Web Service Composition: A Decentralised Multi-agent Approach , 2009, 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology.

[114]  Juan Fernández-Olivares,et al.  A Middle-Ware for the Automated Composition and Invocation of Semantic Web Services Based on Temporal HTN Planning Techniques , 2007, CAEPIA.

[115]  Hwee Tou Ng,et al.  It Makes Sense: A Wide-Coverage Word Sense Disambiguation System for Free Text , 2010, ACL.

[116]  Nicola Guarino,et al.  Formal ontology, conceptual analysis and knowledge representation , 1995, Int. J. Hum. Comput. Stud..

[117]  Rajiv Kishore,et al.  Ontologies: A Handbook of Principles, Concepts and Applications in Information Systems , 2007, Ontologies.

[118]  Abdelmajid Ben Hamadou,et al.  A new semantic relatedness measurement using WordNet features , 2013, Knowledge and Information Systems.

[119]  Chunqing Li,et al.  String similarity join with different similarity thresholds based on novel indexing techniques , 2016, Frontiers of Computer Science.

[120]  C. Osgood The nature and measurement of meaning. , 1952, Psychological bulletin.

[121]  Manfred K. Warmuth,et al.  Finding a Shortest Solution for the N × N Extension of the 15-PUZZLE Is Intractable , 1986, AAAI.

[122]  Erik T. Mueller,et al.  Commonsense Reasoning: An Event Calculus Based Approach , 2006 .

[123]  Irene Heim,et al.  Decomposing Antonyms? , 2008 .

[124]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[125]  Frank van Harmelen,et al.  C-OWL: Contextualizing Ontologies , 2003, SEMWEB.

[126]  Michael R. Berthold,et al.  Node Similarities from Spreading Activation , 2010, 2010 IEEE International Conference on Data Mining.

[127]  Fuyuki Ishikawa,et al.  QoS-Aware Automatic Service Composition by Applying Functional Clustering , 2011, 2011 IEEE International Conference on Web Services.

[128]  P. Jaccard,et al.  Etude comparative de la distribution florale dans une portion des Alpes et des Jura , 1901 .

[129]  Jacques Ferber,et al.  Multi-agent systems - an introduction to distributed artificial intelligence , 1999 .

[130]  Cliff Goddard,et al.  The Natural Semantic Metalanguage Approach , 2009 .

[131]  Min Song,et al.  Concept chaining utilizing meronyms in text characterization , 2012, JCDL '12.

[132]  P. Kuhl,et al.  Early Speech Perception and Later Language Development: Implications for the "Critical Period" , 2005 .

[133]  Yixin Chen,et al.  QoS-Aware Dynamic Composition of Web Services Using Numerical Temporal Planning , 2014, IEEE Transactions on Services Computing.

[134]  Valentina Franzoni,et al.  Semantic Heuristic Search in Collaborative Networks: Measures and Contexts , 2014, 2014 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT).

[135]  Zuhair Bandar,et al.  Sentence similarity based on semantic nets and corpus statistics , 2006, IEEE Transactions on Knowledge and Data Engineering.

[136]  Tina Balke,et al.  How Do Agents Make Decisions? A Survey , 2014, J. Artif. Soc. Soc. Simul..

[137]  Nils Masuch,et al.  Semantic Service Management for Enabling Adaptive and Evolving Processes , 2016 .

[138]  Marta Lenartowicz,et al.  Creatures of the semiosphere: A problematic third party in the ‘humans plus technology’ cognitive architecture of the future global superintelligence , 2017 .

[139]  Michael E. Lesk,et al.  Automatic sense disambiguation using machine readable dictionaries: how to tell a pine cone from an ice cream cone , 1986, SIGDOC '86.

[140]  Dan Brickley,et al.  Resource Description Framework (RDF) Model and Syntax Specification , 2002 .

[141]  Marvin Minsky,et al.  Logical Versus Analogical or Symbolic Versus Connectionist or Neat Versus Scruffy , 1991, AI Mag..

[142]  Eneko Agirre,et al.  Random Walks for Knowledge-Based Word Sense Disambiguation , 2014, CL.

[143]  Cliff Goddard,et al.  The Semantics of Coming and Going , 1997 .

[144]  Bernhard Humm,et al.  Was bedeutet eigentlich Ontologie? , 2012, Informatik-Spektrum.

[145]  Paul Strauss,et al.  Foundations Of The Theory Of Signs , 2016 .

[146]  Fabio Crestani,et al.  Application of Spreading Activation Techniques in Information Retrieval , 1997, Artificial Intelligence Review.

[147]  Jürgen Schmidhuber,et al.  Deep learning in neural networks: An overview , 2014, Neural Networks.

[148]  Alain Polguère,et al.  A Formal Lexicon in the Meaning-Text Theory (or How to Do Lexica with Words) , 1987, Comput. Linguistics.

[149]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[150]  Elizabeth Chang,et al.  Semi-Automatic Ontology Extension Using Spreading Activation , 2005 .

[151]  Michalis Vazirgiannis,et al.  Word Sense Disambiguation with Spreading Activation Networks Generated from Thesauri , 2007, IJCAI.

[152]  Wolfgang Faber,et al.  A logic programming approach to knowledge-state planning: Semantics and complexity , 2004, TOCL.

[153]  Xiao Hua Chen,et al.  A WordNet-based semantic similarity measurement combining edge-counting and information content theory , 2015, Eng. Appl. Artif. Intell..

[154]  Daniel Oberle,et al.  Handbook of Service Description , 2012, Springer US.

[155]  Marcelo R. Campo,et al.  Artificial intelligence in service-oriented software design , 2016, Eng. Appl. Artif. Intell..

[156]  A. Wierzbicka Semantics: Primes and Universals , 1996 .

[157]  Sahin Albayrak,et al.  Self-Explanation through Semantic Annotation: A Survey , 2015, FedCSIS.

[158]  Stefan Voß,et al.  Meta-heuristics: The State of the Art , 2000, Local Search for Planning and Scheduling.

[159]  Emanuele Della Valle,et al.  The mediator centric approach to Automatic Web Service Discovery of COCOON Glue , 2005 .

[160]  J. Fodor,et al.  Connectionism and cognitive architecture: A critical analysis , 1988, Cognition.

[161]  John McCarthy,et al.  Notes on Formalizing Context , 1993, IJCAI.

[162]  James Alexander Hendler,et al.  integrating Marker Passing and Problem Solving: A Spreading Activation Approach To Improved Choice in Planning , 1987 .

[163]  Roberto Navigli,et al.  Clustering and Diversifying Web Search Results with Graph-Based Word Sense Induction , 2013, CL.

[164]  Lei Zhang,et al.  Cost optimal planning with multi-valued landmarks , 2015, AI Commun..

[165]  Tina Wieczorek On foundational frames for formal modelling: sets, ε-sets and a model of conception , 2009 .

[166]  Innes A. Ferguson,et al.  Touring Machines: autonomous agents with attitudes , 1992, Computer.

[167]  Charles Eugene Martin,et al.  Direct memory access parsing , 1992 .

[168]  Stefano Ferilli,et al.  SWRL Rules Plan Encoding with OWL-S Composite Services , 2011, ISMIS.

[169]  Ronnie Cann,et al.  Formal Semantics: INTENSIONAL SEMANTICS , 1993 .

[170]  Roy T. Fielding,et al.  Principled design of the modern Web architecture , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[171]  Sheila A. McIlraith,et al.  A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services , 2008, IEEE Data Eng. Bull..

[172]  Evgeniy Gabrilovich,et al.  Computing Semantic Relatedness Using Wikipedia-based Explicit Semantic Analysis , 2007, IJCAI.

[173]  Roberto Navigli,et al.  Word sense disambiguation: A survey , 2009, CSUR.

[174]  Ayse Basar Bener,et al.  Semantic matchmaker with precondition and effect matching using SWRL , 2009, Expert Syst. Appl..

[175]  Nelly Bencomo,et al.  Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems , 2010, 2010 18th IEEE International Requirements Engineering Conference.

[176]  Weiru Liu,et al.  A Structure-Based Similarity Spreading Approach for Ontology Matching , 2010, SUM.

[177]  Vilém Novák,et al.  Antonyms and linguistic quantifiers in fuzzy logic , 2001, Fuzzy Sets Syst..

[178]  Ziqi Zhang,et al.  Recent advances in methods of lexical semantic relatedness – a survey , 2012, Natural Language Engineering.

[179]  Matthias Klusch,et al.  SAWSDL-MX2: A Machine-Learning Approach for Integrating Semantic Web Service Matchmaking Variants , 2009, 2009 IEEE International Conference on Web Services.

[180]  Sad Salhi,et al.  Heuristic Search: The Emerging Science of Problem Solving , 2017 .

[181]  Matthias Klusch,et al.  Fast Composition Planning of OWL-S Services and Application , 2006, 2006 European Conference on Web Services (ECOWS'06).

[182]  J. Euzenat,et al.  Ontology Matching , 2007, Springer Berlin Heidelberg.

[183]  Richard E. Korf,et al.  Real-Time Heuristic Search , 1990, Artif. Intell..

[184]  Patricia K Kuhl,et al.  Look who's talking: speech style and social context in language input to infants are linked to concurrent and future speech development. , 2014, Developmental science.

[185]  Uta E. Priss Classification of Meronymy by Methods of Relational Concept Analysis , 1996 .

[186]  David M. W. Powers,et al.  Measuring Semantic Similarity in the Taxonomy of WordNet , 2005, ACSC.

[187]  Sahin Albayrak,et al.  Are There Semantic Primes in Formal Languages? , 2014, DCAI.

[188]  Bernhard Nebel,et al.  COMPLEXITY RESULTS FOR SAS+ PLANNING , 1995, Comput. Intell..

[189]  David Leake,et al.  Goal-Based Explanation Evaluation , 1991, Cogn. Sci..

[190]  Erik Cambria,et al.  Jumping NLP Curves: A Review of Natural Language Processing Research [Review Article] , 2014, IEEE Computational Intelligence Magazine.

[191]  Hugo Liu,et al.  ConceptNet — A Practical Commonsense Reasoning Tool-Kit , 2004 .

[192]  Elena Deza,et al.  Encyclopedia of Distances , 2014 .

[193]  M. Weisz Language In Mind Advances In The Study Of Language And Thought , 2016 .

[194]  Sebastian Ahrndt,et al.  Design and Use of a Semantic Similarity Measure for Interoperability Among Agents , 2016, MATES.

[195]  Sameem Abdul Kareem,et al.  A Resemblance Study of Test Collections for World-altering Semantic Web Services , 2011 .

[196]  Ahmed A. Rafea,et al.  TextOntoEx: Automatic ontology construction from natural English text , 2008, Expert Syst. Appl..

[197]  Ricardo Mairal Usón,et al.  Decomposing semantic decomposition : Towards a semantic metalanguage in RRG 1 , 2005 .

[198]  Ehsan Hessami,et al.  Unsupervised Graph-based Word Sense Disambiguation Using lexical relation of WordNet , 2011 .

[199]  George A. Miller,et al.  Introduction to WordNet: An On-line Lexical Database , 1990 .

[200]  Nils Masuch,et al.  Towards Automated Service Matchmaking and Planning for Multi-Agent Systems with OWL-S - Approach and Challenges , 2013, ICSOC Workshops.

[201]  Koen Lamberts,et al.  Knowledge, Concepts, and Categories , 1997 .

[202]  Nick Riemer,et al.  The Routledge handbook of semantics , 2015 .

[203]  Fabian M. Suchanek,et al.  YAGO3: A Knowledge Base from Multilingual Wikipedias , 2015, CIDR.

[204]  Dieter Fensel,et al.  WSMO-Lite Annotations for Web Services , 2008, ESWC.

[205]  Subbarao Kambhampati,et al.  Scaling up Planning by Teasing out Resource Scheduling , 1999, ECP.

[206]  Anna Wierzbicka,et al.  Semantic and lexical universals : theory and empirical findings , 1994 .

[207]  D. Kahneman Thinking, Fast and Slow , 2011 .

[208]  András Kornai,et al.  Lexical Semantics and Model Theory: Together at Last? , 2015, MOL.

[209]  Louise Röska-Hardy Die "Bedeutung" in natürlichen Sprachen , 1988 .

[210]  Dr. Zbigniew Michalewicz,et al.  How to Solve It: Modern Heuristics , 2004 .

[211]  R. D. Bramwell,et al.  Education and some aspects of meaning: A background study , 1972 .

[212]  G. Lakoff,et al.  Metaphors We Live by , 1981 .

[213]  Ioannis P. Vlahavas,et al.  The PORSCE II framework: using AI planning for automated Semantic Web service composition , 2013, Knowl. Eng. Rev..

[214]  Wael Hassan Gomaa,et al.  A Survey of Text Similarity Approaches , 2013 .

[215]  Gerhard Weikum,et al.  YAGO2: A Spatially and Temporally Enhanced Knowledge Base from Wikipedia: Extended Abstract , 2013, IJCAI.

[216]  H. R. Quillian In semantic information processing , 1968 .

[217]  Eliana Colunga,et al.  Language Networks as Models of Cognition: Understanding Cognition through Language , 2016 .

[218]  Sebastián Uchitel,et al.  An Integrated Workbench for Model-Based Engineering of Service Compositions , 2010, IEEE Transactions on Services Computing.

[219]  C. A. R. HOARE,et al.  An axiomatic basis for computer programming , 1969, CACM.

[220]  Gilbert Laporte,et al.  Metaheuristics: A bibliography , 1996, Ann. Oper. Res..

[221]  James A. Hendler,et al.  Information gathering during planning for Web Service composition , 2005, J. Web Semant..

[222]  B. Nebel The FF Planning System : Fast Plan Generation , 2011 .

[223]  Edward N. Zalta,et al.  The Stanford Encyclopedia of Philosophy: A Developed Dynamic Reference Work , 2002 .

[224]  Raymond C. Kurzweil,et al.  The Singularity Is Near , 2018, The Infinite Desire for Growth.

[225]  Roberto Navigli,et al.  From senses to texts: An all-in-one graph-based approach for measuring semantic similarity , 2015, Artif. Intell..

[226]  Lance J. Rips,et al.  Structure and process in semantic memory: A featural model for semantic decisions. , 1974 .

[227]  Peter Gregory,et al.  Domain Model Acquisition in Domains with Action Costs , 2016, ICAPS.

[228]  Joe COLEMAN,et al.  Pragmatics and Agent Communication Languages , 2006 .

[229]  David R. Dowty MONTAGUE GRAMMAR AND THE LEXICAL DECOMPOSITION OF CAUSATIVE VERBS , 1976 .

[230]  Yong-Yi Fanjiang,et al.  Semantic-based automatic service composition with functional and non-functional requirements in design time: A genetic algorithm approach , 2014, Inf. Softw. Technol..

[231]  R. Quiroga Concept cells: the building blocks of declarative memory functions , 2012, Nature Reviews Neuroscience.

[232]  Heinz Werner,et al.  Development of Word Meaning Through Verbal Context: An Experimental Study , 1950 .

[233]  David Jurgens,et al.  Semi-supervised Learning with Induced Word Senses for State of the Art Word Sense Disambiguation , 2016, J. Artif. Intell. Res..

[234]  Matthias Klusch,et al.  The iSeM matchmaker: A flexible approach for adaptive hybrid semantic service selection , 2012, J. Web Semant..

[235]  Craig A. Knoblock Generating abstraction hierarchies - an automated approach to reducing search in planning , 1993, The Kluwer international series in engineering and computer science.

[236]  Luca Maria Gambardella,et al.  A survey on metaheuristics for stochastic combinatorial optimization , 2009, Natural Computing.

[237]  Cliff Goddard,et al.  The universal syntax of semantic primitives , 1997 .

[238]  Susan Bonzi,et al.  Semantic interpretation and the resolution of ambiguity , 1989, JASIS.

[239]  Cristiano Castelfranchi,et al.  Simulating with Cognitive Agents: The Importance of Cognitive Emergence , 1998, MABS.

[240]  Guobing Zou,et al.  Dynamic composition of Web services using efficient planners in large-scale service repository , 2014, Knowl. Based Syst..

[241]  MengChu Zhou,et al.  Automatic Web Service Composition Based on Uncertainty Execution Effects , 2016, IEEE Transactions on Services Computing.

[242]  Hartmut Schmeck,et al.  Organic Computing: A Grand Challenge for Mastering Complex Systems , 2010, it Inf. Technol..

[243]  Jean-Marie Favre Foundations of Meta-Pyramids: Languages vs. Metamodels , 2005 .

[244]  Andrew Y. Ng,et al.  Improving Word Representations via Global Context and Multiple Word Prototypes , 2012, ACL.

[245]  Marko Becker,et al.  Service Oriented Architecture Concepts Technology And Design , 2016 .

[246]  David B. Leake Evaluating Explanations: A Content Theory , 1992 .

[247]  C. Petri Kommunikation mit Automaten , 1962 .

[248]  Richard E. Korf,et al.  Recent Progress in Heuristic Search: A Case Study of the Four-Peg Towers of Hanoi Problem , 2007, IJCAI.

[249]  Hartmut Ehrig,et al.  Attributed graph transformation with node type inheritance , 2007, Theor. Comput. Sci..

[250]  Sylvie Ranwez,et al.  Semantic Measures for the Comparison of Units of Language, Concepts or Entities from Text and Knowledge Base Analysis , 2013, ArXiv.

[251]  Tanveer F. Syeda-Mahmood,et al.  SEMAPLAN: Combining Planning with Semantic Matching to Achieve Web Service Composition , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[252]  Daniel Moldt,et al.  Goal Representation for BDI Agent Systems , 2004, PROMAS.

[253]  Rina Dechter,et al.  Generalized best-first search strategies and the optimality of A* , 1985, JACM.

[254]  Sebastian Thrun,et al.  Dermatologist-level classification of skin cancer with deep neural networks , 2017, Nature.

[255]  Shi Bin,et al.  Measure Semantic Distance in WordNet Based on Directed Graph Search , 2009, 2009 International Conference on E-Learning, E-Business, Enterprise Information Systems, and E-Government.

[256]  Matthias Klusch,et al.  Semantic Web Service Search: A Brief Survey , 2016, KI - Künstliche Intelligenz.

[257]  Alan Fern,et al.  The first learning track of the international planning competition , 2011, Machine Learning.

[258]  Keita Fujii,et al.  Component service model with semantics (CoSMoS): a new component model for dynamic service composition , 2004, 2004 International Symposium on Applications and the Internet Workshops. 2004 Workshops..

[259]  John F. Sowa,et al.  Knowledge representation: logical, philosophical, and computational foundations , 2000 .

[260]  NICHOLAS R. JENNINGS,et al.  An agent-based approach for building complex software systems , 2001, CACM.

[261]  Blai Bonet,et al.  Planning as heuristic search , 2001, Artif. Intell..

[262]  Arthur H. M. ter Hofstede,et al.  Capabilities: Describing What Services Can Do , 2003, ICSOC.

[263]  Jérôme Euzenat,et al.  Ontology Matching: State of the Art and Future Challenges , 2013, IEEE Transactions on Knowledge and Data Engineering.

[264]  Silvia Richter,et al.  The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks , 2010, J. Artif. Intell. Res..

[265]  John F. Sowa,et al.  Pursuing the Goal of Language Understanding , 2008, ICCS.

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

[267]  Nathan R. Sturtevant,et al.  Front-to-End Bidirectional Heuristic Search with Near-Optimal Node Expansions , 2017, IJCAI.

[268]  Dieter Fensel,et al.  Semantic Web Services , 2011, Handbook on Ontologies.

[269]  Roger C. Schank,et al.  SCRIPTS, PLANS, GOALS, AND UNDERSTANDING , 1988 .

[270]  Nicolas Peltier,et al.  A Superposition Calculus for Abductive Reasoning , 2015, Journal of Automated Reasoning.

[271]  Mohamed Ali Hadj Taieb,et al.  FM3S: Features-Based Measure of Sentences Semantic Similarity , 2015, HAIS.

[272]  Rada Mihalcea,et al.  Coarse to Fine Grained Sense Disambiguation in Wikipedia , 2013, *SEMEVAL.

[273]  Thomas Eckart,et al.  Building Large Resources for Text Mining: The Leipzig Corpora Collection , 2014, Text Mining.

[274]  J. M. Kittross The measurement of meaning , 1959 .

[275]  Paolo Traverso,et al.  Blended Planning and Acting: Preliminary Approach, Research Challenges , 2015, AAAI.

[276]  Xiang Zhou,et al.  Adaptive Service Composition Based on Reinforcement Learning , 2010, ICSOC.

[277]  Barbara Hayes-Roth,et al.  An Architecture for Adaptive Intelligent Systems , 1995, Artif. Intell..

[278]  Mathias Weske,et al.  Automated Service Composition Using Heuristic Search , 2006, Business Process Management.

[279]  Keita Fujii,et al.  Semantics-based context-aware dynamic service composition , 2009, TAAS.

[280]  Anna Wierzbicka NSM Semantics versus Conceptual Semantics: Goals and standards (A response to Jackendoff) , 2007 .

[281]  H. Meserve Understanding understanding , 2005, Journal of Religion and Health.

[282]  William A. Woods,et al.  Understanding Subsumption and Taxonomy: A Framework for Progress , 1991, Principles of Semantic Networks.

[283]  Giulio Petrucci,et al.  Information Extraction for Learning Expressive Ontologies , 2015, ESWC.

[284]  Helen de Hoop,et al.  Cross-linguistic semantics of tense, aspect and modality , 2009 .

[285]  Matthias Klusch,et al.  Dynamic service matchmaking among agents in open information environments , 1999, SGMD.

[286]  R. Shiffrin,et al.  Search of associative memory. , 1981 .

[287]  Scott E. Fahlman,et al.  Marker-Passing Inference in the Scone Knowledge-Base System , 2006, KSEM.

[288]  Anupriya Ankolekar,et al.  Automated Selection of Configurable Web Services , 2007, Wirtschaftsinformatik.

[289]  Mihhail Matskin,et al.  Composition of Semantic Web services using Linear Logic theorem proving , 2006, Inf. Syst..

[290]  Susan Schneider,et al.  Non‐Reductive Physicalism and the Mind Problem 1 , 2013 .

[291]  Maria Fox,et al.  PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..

[292]  Roberto Navigli,et al.  NASARI: a Novel Approach to a Semantically-Aware Representation of Items , 2015, NAACL.

[293]  Deborah L. McGuinness,et al.  Bringing Semantics to Web Services: The OWL-S Approach , 2004, SWSWPC.

[294]  Mehmet Kuzu,et al.  Dynamic planning approach to automated web service composition , 2010, Applied Intelligence.

[295]  Steffen Staab,et al.  Ontology Learning for the Semantic Web , 2002, IEEE Intell. Syst..

[296]  M. Helmert,et al.  Fast Downward Stone Soup : A Baseline for Building Planner Portfolios , 2011 .

[297]  Robert F. Simmons,et al.  Truly Parallel Understanding of Text , 1990, AAAI.

[298]  Carmel Domshlak,et al.  Structural Patterns Heuristics via Fork Decomposition , 2008, ICAPS.

[299]  William Croft,et al.  Cognitive Linguistics , 2004 .

[300]  Michel Gendreau,et al.  Hyper-heuristics: a survey of the state of the art , 2013, J. Oper. Res. Soc..

[301]  Christopher J. C. Burges,et al.  The Microsoft Research Sentence Completion Challenge , 2011 .

[302]  Barry Smith,et al.  Basic Concepts of Formal Ontology , 1998 .

[303]  Freddy Lécué,et al.  DL Reasoning and AI Planning for Web Service Composition , 2008, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.

[304]  Douglas Herrmann,et al.  A Taxonomy of Part-Whole Relations , 1987, Cogn. Sci..

[305]  Uwe Durst The Natural Semantic Metalanguage approach to linguistic meaning , 2004 .

[306]  R. Montague,et al.  The Semantic Conception of Truth and the Foundations of Semantics , 1996 .

[307]  L. Shastri,et al.  From simple associations to systematic reasoning: A connectionist representation of rules, variables and dynamic bindings using temporal synchrony , 1993, Behavioral and Brain Sciences.

[308]  Zvi Drezner,et al.  Recent Advances for the Quadratic Assignment Problem with Special Emphasis on Instances that are Difficult for Meta-Heuristic Methods , 2005, Ann. Oper. Res..

[309]  Patrik Haslum,et al.  Admissible Heuristics for Optimal Planning , 2000, AIPS.

[310]  Diana Inkpen,et al.  Semantic text similarity using corpus-based word similarity and string similarity , 2008, ACM Trans. Knowl. Discov. Data.

[311]  Steven M. LaValle,et al.  Planning algorithms , 2006 .

[312]  Iryna Gurevych,et al.  Using Wiktionary for Computing Semantic Relatedness , 2008, AAAI.

[313]  C. Goddard,et al.  Semantic primes, semantic molecules, semantic templates: Key concepts in the NSM approach to lexical typology , 2012 .

[314]  Boris Motik,et al.  OWL 2: The next step for OWL , 2008, J. Web Semant..

[315]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

[316]  T. Rogers,et al.  Where do you know what you know? The representation of semantic knowledge in the human brain , 2007, Nature Reviews Neuroscience.

[317]  Tomas Vitvar,et al.  SAWSDL: Semantic Annotations for WSDL and XML Schema , 2007, IEEE Internet Computing.

[318]  Massimo Cossentino,et al.  From Means-End Analysis to Proactive Means-End Reasoning , 2015, 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.

[319]  William R. Cook,et al.  Cost-Based Learning for Planning , 2011 .

[320]  Jörg Hoffmann,et al.  Ordered Landmarks in Planning , 2004, J. Artif. Intell. Res..

[321]  Cliff Goddard Semantic molecules and semantic complexity (with special reference to " environmental" molecules) , 2010 .

[322]  Ming Zhou,et al.  Identifying Synonyms among Distributionally Similar Words , 2003, IJCAI.

[323]  Dekang Lin,et al.  An Information-Theoretic Definition of Similarity , 1998, ICML.

[324]  K. Baclawski,et al.  Category Theoretic Approaches of Representing Precise UML Semantics , 2000 .

[325]  Elia Bruni,et al.  Multimodal Distributional Semantics , 2014, J. Artif. Intell. Res..

[326]  Martha Palmer,et al.  Verb Semantics and Lexical Selection , 1994, ACL.

[327]  Thad Hughes,et al.  Lexical Semantic Relatedness with Random Graph Walks , 2007, EMNLP.

[328]  Sunitha Abburu,et al.  A Survey on Ontology Reasoners and Comparison , 2012 .

[329]  Thomas Konnerth,et al.  An Agent-Based Approach to Service-Oriented Architectures , 2012 .

[330]  Nikos Loutas,et al.  Towards a reference service model for the Web of Services , 2011, Data Knowl. Eng..

[331]  Allan Collins,et al.  A spreading-activation theory of semantic processing , 1975 .

[332]  Steffen Staab,et al.  Learning Ontologies for the Semantic Web , 2001 .

[333]  Bijan Parsia,et al.  Planning for Semantic Web Services , 2004, SWS@ISWC.

[334]  Jeffrey Dean,et al.  Efficient Estimation of Word Representations in Vector Space , 2013, ICLR.

[335]  David E. Millard,et al.  Automatic Ontology-Based Knowledge Extraction from Web Documents , 2003, IEEE Intell. Syst..

[336]  Michela Bertolotto,et al.  An evaluative baseline for geo-semantic relatedness and similarity , 2014, GeoInformatica.

[337]  Paul Buitelaar,et al.  Ontology Learning from Text: An Overview , 2005 .

[338]  Thomas Karbe,et al.  Context and context management: epsilon-theoretic foundation and operational design , 2014 .

[339]  David A. Schmidt Denotational Semantics: A Methodology for Language Development by Phil , 1987 .

[340]  Philip Edmonds SENSEVAL: The evaluation of word sense disambiguation systems , 2002 .

[341]  Boris New,et al.  SEMANTIC AND ASSOCIATIVE PRIMING IN THE MENTAL LEXICON , 2003 .

[342]  Ulrik Brandes,et al.  Pure spreading activation is pointless , 2009, CIKM.

[343]  Philip Resnik,et al.  Using Information Content to Evaluate Semantic Similarity in a Taxonomy , 1995, IJCAI.

[344]  Patrik Haslum,et al.  Domain-Independent Construction of Pattern Database Heuristics for Cost-Optimal Planning , 2007, AAAI.

[345]  Peter D. Turney Mining the Web for Synonyms: PMI-IR versus LSA on TOEFL , 2001, ECML.

[346]  Matthias Klusch,et al.  OWLS-MX: A hybrid Semantic Web service matchmaker for OWL-S services , 2009, J. Web Semant..

[347]  David B. Leake,et al.  Towards Situated Explanation , 1994, AAAI.

[348]  Eugene Charniak,et al.  A Neat Theory of Marker Passing , 1986, AAAI.

[349]  Baoding Liu Uncertain Entailment and Modus Ponens in the Framework of Uncertain Logic , 2009 .

[350]  Adam Kilgarriff,et al.  The Senseval-3 English lexical sample task , 2004, SENSEVAL@ACL.

[351]  Alistair Kennedy,et al.  Evaluation of Automatic Updates of Roget's Thesaurus , 2014, J. Lang. Model..

[352]  Georgiana Dinu,et al.  Don’t count, predict! A systematic comparison of context-counting vs. context-predicting semantic vectors , 2014, ACL.

[353]  L. Steels Modeling the cultural evolution of language. , 2011, Physics of life reviews.

[354]  Ioannis Refanidis,et al.  Non-deterministic planning methods for automated web service composition , 2015, Artif. Intell. Res..

[355]  Johannes Fähndrich,et al.  Best First Search Planning of Service Composition Using Incrementally Refined Context-Dependent Heuristics , 2013, MATES.

[356]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[357]  J. Barwise,et al.  Generalized quantifiers and natural language , 1981 .

[358]  James A. Hendler,et al.  A Validation-Structure-Based Theory of Plan Modification and Reuse , 1992, Artif. Intell..

[359]  Yixin Chen,et al.  Towards Automated Choreographing of Web Services Using Planning , 2012, AAAI.

[360]  Matthias Felleisen,et al.  On the Expressive Power of Programming Languages , 1990, European Symposium on Programming.

[361]  Hedda Rahel Schmidtke Contextual Reasoning in Context-Aware Systems , 2012, Intelligent Environments.

[362]  Michael Öllinger,et al.  Search and Coherence-Building in Intuition and Insight Problem Solving , 2017, Front. Psychol..

[363]  Laura Sebastia,et al.  On the extraction, ordering, and usage of landmarks in planning , 2001 .

[364]  Christopher D. Manning,et al.  Better Word Representations with Recursive Neural Networks for Morphology , 2013, CoNLL.

[365]  Ignacio Iacobacci,et al.  Embeddings for Word Sense Disambiguation: An Evaluation Study , 2016, ACL.

[366]  Avery D. Andrews,et al.  Reconciling NSM and Formal Semantics* , 2016 .

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

[368]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..