Ludics and Natural Language: First Approaches

Christophe Fouqueré (1) , Myriam Quatrini (2)

1 LIPN - Laboratoire d'Informatique de Paris-Nord
2 IML - Institut de mathématiques de Luminy

Ludics is a rebuilding of Linear Logic from the sole concept of interaction on objects called designs, that abstract proofs. Works have been done these last years to reconsider the formalization of Natural Language: a dialogue may be viewed as an interaction between such abstractions of proofs. We give a few examples taken from dialogue modeling but also from semantics or speech acts to support this approach.

Keywords: Langue naturelle; Interaction; Logique

Domains: Computer Science [cs]; Mathematics [math]; Humanities and Social Sciences

Christophe Fouqueré, Myriam Quatrini. Ludics and Natural Language: First Approaches. LACL 2012 seventh International Conference on Logical Aspects of Computational Linguistics, Laboratoire d'Informatique Nantes Atlantique, Jul 2012, Nantes, France. pp.21-44, ⟨10.1007/978-3-642-31262-5_2⟩. ⟨hal-01286851⟩