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

Stergios Chatzikyriakidis; Mathieu Lafourcade; Lionel Ramadier; Manel Zarrouk

Retour

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

Acte de colloque

Open Access

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

Stergios Chatzikyriakidis, Mathieu Lafourcade, Lionel Ramadier et Manel Zarrouk

(TytLes workshop)

ESSLLI 2015 - 27th European Summer School in Logic, Language and Information (Barcelona, Spain, 03/08/2015–14/08/2015)

04/08/2015

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 informa- tion in doing formal semantics using 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.

Fichiers et liens (1)

url

Find in HALAfficher

Indicateurs

1 Consultations de la notice

Détails

Titre: Type Theories and Lexical Networks: Using Serious Games as the Basis for Multi-Sorted Typed Systems
Créateurs - sans rôle: Stergios Chatzikyriakidis - University of Gothenburg
Mathieu Lafourcade - Exploration et exploitation de données textuelles
Lionel Ramadier - Exploration et exploitation de données textuelles
Manel Zarrouk - Exploration et exploitation de données textuelles
Détails de publication: (TytLes workshop)
Colloque: ESSLLI 2015 - 27th European Summer School in Logic, Language and Information (Barcelona, Spain, 03/08/2015–14/08/2015)
Identifiants: 99153708109311
Unité académique: Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMM
Langue: English
Type de ressource: Conference proceeding
Champs locaux: hal-01216589