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.
This work was completed with the support of the ANR project LOCI number 0212 02.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Lecomte, A., Quatrini, M.: Ludics and its applications to natural language semantics. In: Ono, H., Kanazawa, M., de Queiroz, R. (eds.) WoLLIC 2009. LNCS, vol. 5514, pp. 242–255. Springer, Heidelberg (2009)
Fleury, M.-R., Tronçon, S.: Speech Acts in Ludics. In: Lecomte, A., Tronçon, S. (eds.) PRELUDE 2010. LNCS (LNAI), vol. 6505, pp. 1–24. Springer, Heidelberg (2011)
Lecomte, A., Quatrini, M.: Figures of Dialogue: a View from Ludics. Synthese 183, 59–85 (2011)
Lecomte, A., Quatrini, M.: Pour une étude du langage via l’interaction: dialogues et sémantique en Ludique. Mathématiques et Sciences Humaines 189(1), 37–67 (2010)
Girard, J.Y.: Locus solum: From the rules of logic to the logic of rules. Mathematical Structures in Computer Science 11(3), 301–506 (2001)
Girard, J.Y.: Linear logic. Theor. Comput. Sci. 50, 1–102 (1987)
Fouqueré, C.: Ludics and Web: Another Reading of Standard Operations. In: Lecomte, A., Tronçon, S. (eds.) PRELUDE 2010. LNCS (LNAI), vol. 6505, pp. 58–77. Springer, Heidelberg (2011)
Girard, J.Y.: From foundations to ludics. Bulletin of Symbolic Logic 9(2), 131–168 (2003)
Girard, J.Y.: Le Point Aveugle: vers l’imperfection. Visions des Sciences, vol. 2. Hermann (2007)
Curien, P.L.: Introduction to linear logic and ludics, part i. CoRR abs/cs/0501035 (2005)
Curien, P.L.: Introduction to linear logic and ludics, part ii. CoRR abs/cs/0501039 (2005)
Basaldella, M., Faggian, C.: Ludics with repetitions (exponentials, interactive types and completeness). In: LICS, pp. 375–384. IEEE Computer Society (2009)
Curien, P.-L., Faggian, C.: L-Nets, Strategies and Proof-Nets. In: Ong, L. (ed.) CSL 2005. LNCS, vol. 3634, pp. 167–183. Springer, Heidelberg (2005)
Fouqueré, C., Mogbil, V.: Rewritings for polarized multiplicative and exponential proof structures. Electr. Notes Theor. Comput. Sci. 203(1), 109–121 (2008)
Andreoli, J.M.: Logic programming with focusing proofs in linear logic. J. Log. Comput. 2(3), 297–347 (1992)
Faggian, C., Maurel, F.: Ludics nets, a game model of concurrent interaction. In: LICS, pp. 376–385. IEEE Computer Society (2005)
Terui, K.: Computational ludics. Theor. Comput. Sci. 412(20), 2048–2071 (2011)
Landragin, F.: Vers l’identification et le traitement des actes de dialogue composites. In: Traitement Automatique du Langage Naturel (TALN), pp. 460–469 (2008)
Chemillier, M.: Eléments pour une ethnomathématique de l’awélé. Mathématiques et Sciences Humaines 181(Varia), 5–34 (2008)
Schopenhauer, A.: L’art d’avoir toujours raison. Circé (1830)
Quatrini, M.: In: Une relecture ludique des stratagèmes de Schopenhauer. Presses de la Sorbonne (to appear)
Fleury, M.R., Quatrini, M.: First order in ludics. Mathematical Structures in Computer Science 14(2), 189–213 (2004)
Searle, J.: Speech Acts. Cambridge University Press (1969)
Walton, D.: The place of dialogue theory in logic, computer science and communication studies. Synthese 123, 327–346 (2000)
Brandom, R.: Articulating Reasons: An Introduction to Inferentialism. Harvard University Press (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fouqueré, C., Quatrini, M. (2012). Ludics and Natural Language: First Approaches. In: Béchet, D., Dikovsky, A. (eds) Logical Aspects of Computational Linguistics. LACL 2012. Lecture Notes in Computer Science, vol 7351. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31262-5_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-31262-5_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31261-8
Online ISBN: 978-3-642-31262-5
eBook Packages: Computer ScienceComputer Science (R0)