Ludics and natural language: first approaches

Authors:
Christophe Fouqueré;Myriam Quatrini
Affiliations:
LIPN, Université Paris 13 and CNRS, France;IML, Université d'Aix-Marseille and CNRS, France
Venue:
LACL'12 Proceedings of the 7th international conference on Logical Aspects of Computational Linguistics
Year:
2012

Citing 11
Cited 0

Linear logic

Theoretical Computer Science
Locus Solum: From the rules of logic to the logic of rules

Mathematical Structures in Computer Science
First order in Ludics

Mathematical Structures in Computer Science
Ludics Nets, a game Model of Concurrent Interaction

LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
Rewritings for Polarized Multiplicative and Exponential Proof Structures

Electronic Notes in Theoretical Computer Science (ENTCS)
Ludics and Its Applications to Natural Language Semantics

WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Ludics with Repetitions (Exponentials, Interactive Types and Completeness)

LICS '09 Proceedings of the 2009 24th Annual IEEE Symposium on Logic In Computer Science
Computational ludics

Theoretical Computer Science
Speech acts in ludics

Ludics, dialogue and interaction
Ludics and web: another reading of standard operations

Ludics, dialogue and interaction
L-Nets, strategies and proof-nets

CSL'05 Proceedings of the 19th international conference on Computer Science Logic

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.