Skip to main content
SpringerLink
Log in

Ludics and Natural Language: First Approaches

  • Conference paper
Logical Aspects of Computational Linguistics (LACL 2012)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7351))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)

    Chapter  Google Scholar 

  2. 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)

    Chapter  Google Scholar 

  3. Lecomte, A., Quatrini, M.: Figures of Dialogue: a View from Ludics. Synthese 183, 59–85 (2011)

    Article  MATH  Google Scholar 

  4. 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)

    Article  MathSciNet  MATH  Google Scholar 

  5. 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)

    Article  MathSciNet  MATH  Google Scholar 

  6. Girard, J.Y.: Linear logic. Theor. Comput. Sci. 50, 1–102 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  7. 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)

    Chapter  Google Scholar 

  8. Girard, J.Y.: From foundations to ludics. Bulletin of Symbolic Logic 9(2), 131–168 (2003)

    Article  MathSciNet  Google Scholar 

  9. Girard, J.Y.: Le Point Aveugle: vers l’imperfection. Visions des Sciences, vol. 2. Hermann (2007)

    Google Scholar 

  10. Curien, P.L.: Introduction to linear logic and ludics, part i. CoRR abs/cs/0501035 (2005)

    Google Scholar 

  11. Curien, P.L.: Introduction to linear logic and ludics, part ii. CoRR abs/cs/0501039 (2005)

    Google Scholar 

  12. Basaldella, M., Faggian, C.: Ludics with repetitions (exponentials, interactive types and completeness). In: LICS, pp. 375–384. IEEE Computer Society (2009)

    Google Scholar 

  13. 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)

    Chapter  Google Scholar 

  14. Fouqueré, C., Mogbil, V.: Rewritings for polarized multiplicative and exponential proof structures. Electr. Notes Theor. Comput. Sci. 203(1), 109–121 (2008)

    Article  Google Scholar 

  15. Andreoli, J.M.: Logic programming with focusing proofs in linear logic. J. Log. Comput. 2(3), 297–347 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  16. Faggian, C., Maurel, F.: Ludics nets, a game model of concurrent interaction. In: LICS, pp. 376–385. IEEE Computer Society (2005)

    Google Scholar 

  17. Terui, K.: Computational ludics. Theor. Comput. Sci. 412(20), 2048–2071 (2011)

    Article  MathSciNet  Google Scholar 

  18. Landragin, F.: Vers l’identification et le traitement des actes de dialogue composites. In: Traitement Automatique du Langage Naturel (TALN), pp. 460–469 (2008)

    Google Scholar 

  19. Chemillier, M.: Eléments pour une ethnomathématique de l’awélé. Mathématiques et Sciences Humaines 181(Varia), 5–34 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  20. Schopenhauer, A.: L’art d’avoir toujours raison. Circé (1830)

    Google Scholar 

  21. Quatrini, M.: In: Une relecture ludique des stratagèmes de Schopenhauer. Presses de la Sorbonne (to appear)

    Google Scholar 

  22. Fleury, M.R., Quatrini, M.: First order in ludics. Mathematical Structures in Computer Science 14(2), 189–213 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  23. Searle, J.: Speech Acts. Cambridge University Press (1969)

    Google Scholar 

  24. Walton, D.: The place of dialogue theory in logic, computer science and communication studies. Synthese 123, 327–346 (2000)

    Article  MATH  Google Scholar 

  25. Brandom, R.: Articulating Reasons: An Introduction to Inferentialism. Harvard University Press (2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIPN, Université Paris 13 and CNRS, France

    Christophe Fouqueré

  2. IML, Université d’Aix-Marseille and CNRS, France

    Myriam Quatrini

Authors
  1. Christophe Fouqueré
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Myriam Quatrini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. LINA UMR 6241, Université de Nantes, 2, rue de la Houssinière, BP 92208, 44322, Nantes Cedex 3, France

    Denis Béchet  & Alexander Dikovsky  & 

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation