Skip to main content

Ludics and Natural Language: First Approaches

  • Conference paper

Part of the Lecture Notes in Computer Science book series (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.

Keywords

  • Positive Action
  • Linear Logic
  • Dual Action
  • Logical Formula
  • Negative Action

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This work was completed with the support of the ANR project LOCI number 0212 02.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (Canada)
  • 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

Learn about 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)

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

    CrossRef  Google Scholar 

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

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

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

    CrossRef  MathSciNet  MATH  Google Scholar 

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

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

    CrossRef  Google Scholar 

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

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

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

    CrossRef  Google Scholar 

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

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

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

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

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

    CrossRef  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

Authors

Editor information

Editors and Affiliations

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)