文章基本信息

标题：Type Theories and Lexical Networks: using Serious Games as the basis for Multi-Sorted Typed Systems
本地全文：下载
作者：Stergios Chatzikyriakidis ; Mathieu Lafourcade ; Lionel Ramadier 等
期刊名称：Journal of Language Modelling
印刷版ISSN：2299-856X
电子版ISSN：2299-8470
出版年度：2017
卷号：5
期号：2
页码：229-272
DOI：10.15398/jlm.v5i2.145
语种：English
出版社：Polish Academy of Sciences
摘要：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,hy_peronymy/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 de?ciding 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.
关键词：Lexical Networks;JeuxDeMots;Type Theory;Type Ontologies;Formal Semantics;Natural Language Inference