Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

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

Artikel i vetenskaplig tidskrift
Författare Stergios Chatzikyriakidis
Manel Zarrouk
Lionel Ramadier
Mathieu Lafourcade
Publicerad i Journal of Language Modeling
Volym 5
Nummer/häfte 2
Sidor 229-272
Publiceringsår 2017
Publicerad vid Institutionen för filosofi, lingvistik och vetenskapsteori
Sidor 229-272
Språk en
Länkar doi.org/10.15398/jlm.v5i2.145
Ämnesord Lexical Networks; JeuxdeMots; Type Theory; Type Ontologies; Formal Semantics; Natural Language Inference
Ämneskategorier Språk och litteratur, Data- och informationsvetenskap

Sammanfattning

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 as well as different sorts of information in doing formal semantics using rich or modern type theories (type theories within the tradition of Martin Löf). We discuss the domain 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 in a formal compositional semantics framework. This is a way to sidestep the problem of deciding how your type ontology should look like once you have made a move to a many sorted type system. Furthermore, we show how this kind of information can be extracted from JeuxdeMots and inserted into a proof-assistant like Coq in order to perform reasoning tasks using modern type theoretic semantics.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?