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

Stergios Chatzikyriakidis (1) , Mathieu Lafourcade (2) , Lionel Ramadier (2) , Manel Zarrouk (2)

1 GU - Göteborgs Universitet = University of Gothenburg
2 TEXTE - Exploration et exploitation de données textuelles

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.

Domaines: Informatique [cs]

Stergios Chatzikyriakidis, Mathieu Lafourcade, Lionel Ramadier, Manel Zarrouk. Type Theories and Lexical Networks: Using Serious Games as the Basis for Multi-Sorted Typed Systems. ESSLLI 2015 - 27th European Summer School in Logic, Language and Information, Aug 2015, Barcelona, Spain. ⟨hal-01216589⟩