Type Theories and Lexical Networks : using Serious Games as the basis for Multi-Sorted Typed Systems

• Autorzy: Chatzikyriakidis S. , Lafourcade M. , Ramadier L. , Zarrouk M.

Identyfikatory

DOI

10.15398/jlm.v5i2.145

• Języki publikacji: EN

Abstrakty

EN

In this paper, we show how a rich lexico-semantic network which Has been built using serious games, JeuxDeMots, can help us in grounding our semantic ontologies in doing formal semantics using rich or modern type theories (type theories within the tradition of Martin Löf). We discuss the issue of base types, adjectival and verbal types, hyperonymy/hyponymy relations as well as more advanced issues like homophony and polysemy. We show how one can take advantage of this wealth of lexical semantics in a formal compositional semantics framework. We argue that this is a way to sidestep the problem of deciding what the type ontology should look like once a move to a many sorted type system has been made. Furthermore, we show how this kind of information can be extracted from a lexico-semantic Network like JeuxDeMots and inserted into a proof-assistant like Coq in order to perform reasoning tasks.

Słowa kluczowe

EN

lexical networks; JeuxDeMots; type theory; type ontologies; formal semantics; natural language inference

• Wydawca: Instytut Podstaw Informatyki PAN
• Czasopismo: Journal of Language Modelling
• Rocznik: 2017
• Tom: Vol. 5, No. 2
• Strony: 229--272
• Opis fizyczny: Bibliogr. 54 poz., fot., rys.

Twórcy

autor

Chatzikyriakidis S.

• Centre for Linguistic Theory and Studies in Probability (CLASP), Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden
• Open University of Cyprus

autor

Lafourcade M.

• LIRMM, University of Montpellier, France

autor

Ramadier L.

• Radiology Dept. CHU Montpellier, France

autor

Zarrouk M.

• National University of Ireland, Galway, Ireland

Bibliografia

• [1] Nicholas Asher (2008), A type driven theory of predication with complex types, Fundamenta Informaticae, 84 (2): 151-183.
• [2] Nicholas Asher (2012), Lexical Meaning in Context: a Web of Words, Cambridge University Press.
• [3] Christoph Benzmüller, Frank Theiss, and Arnaud Fietzke (2007), The LEO-II Project, in Automated Reasoning Workshop.
• [4] Jean-Philippe Bernardy and Stergios Chatzikyriakidis (2017), A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq, ms, University of Gothenburg. http://www.stergioschatzikyriakidis.com/uploads/1/0/3/6/10363759/iwcs_bercha.pdf.
• [5] Ellen Breitholtz (2014), Enthymemes in Dialogue: A micro-rhetorical approach, Ph.D. thesis, University of Gothenburg.
• [6] Lucas Champollion and Manfred Krifka (2016), Mereology, in Paul Dekker and Maria Aloni, editors, Cambridge Handbook of Semantics, pp. 369-388, Cambridge University Press.
• [7] Stergios Chatzikyriakidis and Zhaohui Luo (2012), An Account of Natural Language Coordination in Type Theory with Coercive Subtyping, in Y. Parmentier and D. Duchier, editors, proceedings of Constraint Solving and Language Processing (CSLP12). LNCS 8114, pp. 31-51, Orleans.
• [8] Stergios Chatzikyriakidis and Zhaohui Luo (2013), Adjectives in a modern type-theoretical setting, in G. Morrill and J. M. Nederhof, editors, Proceedings of Formal Grammar 2013. LNCS 8036, pp. 159-174.
• [9] Stergios Chatzikyriakidis and Zhaohui Luo (2014a), Natural Language Inference in Coq, Journal of Logic, Language and Information., 23 (4): 441-480.
• [10] Stergios Chatzikyriakidis and Zhaohui Luo (2014b), Natural Language Reasoning Using proof-assistant technology: Rich Typing and beyond, in Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS), pp. 37-45.
• [11] Stergios Chatzikyriakidis and Zhaohui Luo (2014c), Using Signatures in Type Theory to Represent Situations, Logic and Engineering of Natural Language Semantics 11. Tokyo.
• [12] Stergios Chatzikyriakidis and Zhaohui Luo (2017a), Adjectival and Adverbial Modification: The View from Modern Type Theories, Journal of Logic, Language and Information, 26 (1): 45-88.
• [13] Stergios Chatzikyriakidis and Zhaohui Luo (2017b), On the Interpretation of Common Nouns: Types Versus Predicates, pp. 43-70, Springer International Publishing.
• [14] Alonzo Church (1940), A Formulation of the Simple Theory of Types, J. Symbolic Logic, 5 (1).
• [15] Allan M Collins and M Ross Quillian (1969), Retrieval time from semantic memory, Journal of verbal learning and verbal behavior, 8 (2): 240-247.
• [16] Robin Cooper, Simon Dobnik, Shalom Lappin, and Staffan Larsson (2014), A probabilistic rich type theory for semantic interpretation, in Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS), pp. 72-79.
• [17] Coq 2007 (2007), The Coq Proof Assistant Reference Manual (Version 8.1), INRIA, The Coq Development Team.
• [18] Christiane Fellbaum (1998), WordNet: An Electronic Lexical Database, MIT press.
• [19] Bruno Gaume, Karine Duvignau, and Martine Vanhove (2007), Semantic associations and confluences in paradigmatic networks, in Martine Vanhove, editor, Typologie des rapprochements sémantiques, p. (on line), John Benjamins Publishing Company.
• [20] Peter Geach (1962), Reference and Generality: An examination of some Medieval and Modern Theories, Cornell University Press.
• [21] Jean-Yves Girard (1971), Une extension de l’interpretation fonctionelle de Gödel à l’analyse et son application à l’élimination des coupures dans et la thèorie des types, in proceedings of the 2nd Scandinavian Logic Symposium. North-Holland, Amsterdam, pp. 63-92.
• [22] Mathieu Lafourcade (2007a), Making people play for Lexical Acquisition., in SNLP 2007, 7th Symposium on Natural Language Processing. Pattaya, Thailande, 13-15 December 2007.
• [23] Mathieu Lafourcade (2007b), Making people play for Lexical Acquisition with the JeuxDeMots prototype, in SNLP’07: 7th international symposium on natural language processing, p. 7.
• [24] Mathieu Lafourcade, Alain Joubert, and Nathalie. Le Brun (2015), Games with a Purpose (GWAPS), Focus Series in Cognitive Science and Knowledge Management, Wiley, ISBN 9781848218031.
• [25] Henry Lieberman, Dustin Smith, and Alea Teeters (2007), Common Consensus: a web-based game for collecting commonsense goals., in Workshop on Common Sense for Intelligent Interfaces, ACM Conferences for Intelligent User Interfaces (IUI 2007), Honolulu.
• [26] Zhaohui Luo (1994), Computation and Reasoning: A Type Theory for Computer Science, Oxford University Press.
• [27] Zhaohui Luo (1999), Coercive subtyping, Journal of Logic and Computation, 9 (1): 105-130.
• [28] Zhaohui Luo (2010), Type-Theoretical Semantics with Coercive Subtyping, Semantics and Linguistic Theory 20 (SALT20), Vancouver.
• [29] Zhaohui Luo (2011), Contextual analysis of word meanings in type-theoretical semantics, Logical Aspects of Computational Linguistics (LACL’2011). LNAI 6736.
• [30] Zhaohui Luo (2012), Common Nouns as Types, in LACL’2012, LNCS 7351.
• [31] Zhaohui Luo, Sergei Soloviev, and Tao Xue (2012), Coercive subtyping: theory and implementation, Information and Computation, 223: 18-42.
• [32] Andrea Marchetti, Maurizio Tesconi, Francesco Ronzano, Marco Rosella, and Salvatore Minutoli (2007), SemKey: A Semantic Collaborative Tagging System, in Tagging and Metadata for Social Information Organization Workshop, WWW07.
• [33] Per Martin-Löf (1975), An Intuitionistic Theory of Types: predicative part, in H.Rose and J. C.Shepherdson, editors, Logic Colloquium’73.
• [34] Per Martin-Löf (1984), Intuitionistic Type Theory, Bibliopolis.
• [35] Igor Mel’cuk and Andrei Zholkovsky (1988), The Explanatory Combinatorial Dictionary, in Martha Walton Evens, editor, Relational Models of the Lexicon: Representing Knowledge in Semantic Networks, pp. 41-74, Cambridge University Press, Cambridge.
• [36] Rada Mihalcea and Timothy Chklovski (2003), Building sense tagged corpora with volunteer contributions over the Web, in RANLP, volume 260 of Current Issues in Linguistic Theory (CILT), pp. 357-366, John Benjamins, Amsterdam/Philadelphia.
• [37] George A. Miller (1995), WordNet: A Lexical Database for English, Commun. ACM, 38 (11): 39-41.
• [38] Koji Mineshima, Yusuke Miyao, and Daisuke Bekki (), Higher-order logi cal inference with compositional semantics, in Proceedings of EMNLP15, pp. 2055-2061.
• [39] Richard Montague (1974), Formal Philosophy, Yale University Press, collected papers edited by R. Thomason.
• [40] Alain Polguère (2003), Collocations et fonctions lexicales : pour un modèle d’apprentissage., Revue Française de Linguistique Appliquée, E (1): 117-133.
• [41] Alain Polguère (2014), From Writing Dictionaries to Weaving Lexical Networks, International Journal of Lexicography, 27 (4): 396-418.
• [42] James Pustejovsky (1995), The Generative Lexicon, MIT.
• [43] Aarne Ranta (1994), Type-Theoretical Grammar, Oxford University Press.
• [44] Christian Retoré (2014), The Montagovian Generative Lexicon Lambda Ty: a Type Theoretical Framework for Natural Language Semantics, in Ralph Matthes and Aleksy Schubert, editors, 19th International Conference on Types for Proofs and Programs (TYPES 2013), volume 26 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 202-229, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, ISBN 978-3-939897-72-9, ISSN 1868-8969, doi: http://dx.doi.org/10.4230/LIPIcs.TYPES.2013.202, http://drops.dagstuhl.de/opus/volltexte/2014/4633.
• [45] Franck Sajous, Emmanuel Navarro, Bruno Gaume, Laurent Prévot, and Yannick Chudy (2013), Semi-automatic enrichment of crowdsourced synonymy networks: the WISIGOTH system applied to Wiktionary, Language Resources and Evaluation, 47 (1): 63-96.
• [46] Katharina Siorpaes and Martin Hepp (2008), Games with a Purpose for the Semantic Web, 23: 50-60, ISSN 1541-1672, doi: 10.1109/MIS.2008.45, http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=4525142.
• [47] John Sowa and John Zachman (1992), Extending and Formalizing the Framework for Information Systems Architecture, IBM Systems Journal, 31 (3): 590-616.
• [48] Luis von Ahn and Laura Dabbish (2004), Labeling Images with a Computer Game, in Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI ’04, pp. 319-326, ACM, New York, NY, USA.
• [49] Luis von Ahn and Laura Dabbish (2008), Designing games with a purpose, Commun. ACM, 51 (8): 58-67.
• [50] Luis von Ahn, Mihir Kedia, and Manuel Blum (2006), Verbosity: a game for collecting common-sense facts, in CHI, pp. 75-78, ACM.
• [51] Manel Zarrouk (2015), Endogeneous Consolidation of Lexical Semantic Networks, Theses, Université de Montpellier.
• [52] Naomi Zeichner, Jonathan Berant, and Ido Dagan (2012), Crowdsourcing inference-rule evaluation, in Proceedings of the 50th Annual Meeting of the Association for Computational Linguistics: Short Papers-Volume 2, pp. 156-160, Association for Computational Linguistics.
• [53] Michael Zock and Slaven Bilac (2004), Word lookup on the basis of associations: from an idea to a roadmap., in Proceedings of the Workshop on Enhancing and Using Electronic Dictionaries, Association for Computational Linguistics., pp. 29-35.
• [54] Michael Zock and Didier Schwab (2008), Lexical Access Based on Underspecified Input, in Proceedings of the Workshop on Cognitive Aspects of the Lexicon, COGALEX ’08, pp. 9-17, Association for Computational Linguistics, Stroudsburg, PA, USA.