Type Theories and Lexical Networks: Using Serious Games as the Basis for Multi-Sorted Typed Systems - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Language Modelling Année : 2017

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

Résumé

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.
Fichier principal
Vignette du fichier
145-1401-1-PB.pdf (663.1 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-01947518 , version 1 (06-12-2018)

Identifiants

Citer

Stergios Chatzikyriakidis, Mathieu Lafourcade, Lionel Ramadier, Manel Zarrouk. Type Theories and Lexical Networks: Using Serious Games as the Basis for Multi-Sorted Typed Systems. Journal of Language Modelling, 2017, Type-theoretical approaches to lexical semantics, 5 (2), pp.229-272. ⟨10.15398/jlm.v5i2.145⟩. ⟨hal-01947518⟩
114 Consultations
134 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More