Pragmatic Side Effects

Jiri Marsik 1 Maxime Amblard 1
1 SEMAGRAMME - Semantic Analysis of Natural Language
Inria Nancy - Grand Est, LORIA - NLPKD - Department of Natural Language Processing & Knowledge Discovery
Abstract : In the quest to give a formal compositional semantics to natural languages, semanticists have started turning their attention to phenomena that have been also considered as parts of pragmatics (e.g., discourse anaphora and presupposition projection). To account for these phenomena, the very kinds of meanings assigned to words and phrases are often revisited. To be more specific, in the prevalent paradigm of modeling natural language denotations using the simply-typed lambda calculus (higher-order logic) this means revisiting the types of denotations assigned to individual parts of speech. However, the lambda calculus also serves as a fundamental theory of computation, and in the study of computation, similar type shifts have been employed to give a meaning to side effects. Side effects in programming anguages correspond to actions that go beyond the lexical scope of an expression (a thrown exception might propagate throughout a program, a variable modified at one point might later be read at an another) or even beyond the scope of the program itself (a program might interact with the outside world by e.g., printing documents, making sounds, operating robotic limbs\ldots).
Type de document :
Communication dans un congrès
Redrawing Pragmasemantic Borders, Mar 2015, Groningen, Netherlands. 〈https://sites.google.com/site/redraw2015/〉
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01164729
Contributeur : Maxime Amblard <>
Soumis le : mercredi 17 juin 2015 - 16:07:22
Dernière modification le : jeudi 11 janvier 2018 - 06:23:32
Document(s) archivé(s) le : mardi 15 septembre 2015 - 18:00:24

Fichiers

redraw.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

  • HAL Id : hal-01164729, version 1
  • ARXIV : 1506.05676

Collections

Citation

Jiri Marsik, Maxime Amblard. Pragmatic Side Effects. Redrawing Pragmasemantic Borders, Mar 2015, Groningen, Netherlands. 〈https://sites.google.com/site/redraw2015/〉. 〈hal-01164729〉

Partager

Métriques

Consultations de la notice

512

Téléchargements de fichiers

266