Ludics, Dialogue and Interaction
PRELUDE Project - 2006-2009. Revised Selected Papers
Published on 17. February 2011
XIII, 221 pages
978-3-642-19211-1 (ISBN)
Description
This volume contains the key contributions to workshops and meetings that were held within the context of the PRELUDE project. PRELUDE,
an acronym for "Towards Theoretical Pragmatics based on Ludics and
Continuation Theory", ran from November 2006 to November 2009, with funding from the new French National Agency for Research (ANR).
The objective of the project was to develop perspectives on Natural Language Semantics and Pragmatics based on recent developments in Logic and Theoretical Computer Science; the articles shed light on the role of Ludics in the study of speech acts, inferential semantics, game-theoretical frameworks, interactive situations in the dynamics of language, the representation of commitments and interaction, programming web applications, as well as the impact of Ludics on the fundamental concepts of computability.
More details
Other editions
Additional editions
Alain Lecomte | Samuel Tronçon
Ludics, Dialogue and Interaction
PRELUDE Project - 2006-2009. Revised Selected Papers
Book
02/2011
Springer
€53.49
Shipment within 7-9 days
Content
- Title Page
- Preface
- Organization
- Table of Contents
- Speech Acts in Ludics
- Introducing Speech Acts
- Classical View
- Inside Games
- Towards a Dialogical View Based on Ludics
- Speech Acts in Ludics
- Speech Acting
- Speech Acts
- Ludics in a Nutshell
- The Design
- The Interaction
- Behaviors
- Some Examples of Speech Acts
- The Promise: ``I Promise You the Movie Tonight
- Polite Request: ``Can You Close the Window, Please
- Conclusion
- References
- Speech Acts and Ludics: Reacting to Breakdowns of Interaction
- A Presentation of Ludics Orientated towards the Expression of Speech Acts as Ways of Repairing Interaction Breakdowns
- Ludics Breakdowns
- Breakdown of Ludics and Speech Acts
- Conclusion
- Ludics and Rhetorics
- Introduction
- Ludics for Language Moves
- Designs
- Normalization
- Strategies, Proofs and Designs
- c-Designs
- Some Applications to the Argumentation Theory
- More on Dialogues
- Controversies and Fallacies
- Ludics and ''Semantics''
- On Natural Language Semantics
- Discrimating Meanings by Means of Dual Sentences
- Logical Meaning
- Links with the Classical Approach
- Conclusion
- References
- Appendix
- Ludics and Web: Another Reading of Standard Operations
- Introduction
- Web Sites: Which Situation ?
- What Is Behind the Screen ?
- Drawbacks of Current Programming Environments
- Concepts in Use in Related Works Coming from the Functional Paradigm
- Web and Ludics
- Interaction in Ludics
- Interaction and Web Site
- From Ludics Model to FICX Programming Language
- FICX: A Web Functional Langage
- Towards Web Services
- References
- On the Meaning of Focalization
- Introduction
- Focalization in Linear Logic
- Ludics in Three Pages
- An Analysis of Focalization in Ludics
- Conclusion and Future Works
- References
- On Some Logic Games in Their Philosophical Context
- Introduction
- Dialogical Logic
- GTS
- Threats of Circularity
- Ambiguity of `Verification'
- A Fourfold Division of Foundational Views
- References
- Natural-Language Syntax as Procedures for Interpretation: The Dynamics of Ellipsis Construal
- Preliminaries
- Ellipsis and the Syntax-Semantics Interface
- Dynamic Syntax
- Tree Growth and LOFT: The Logic of Finite Trees
- Semantic Underspecification and Update
- Linking Trees through Shared Terms
- Intra-sentential Context
- Ellipsis and Context
- Inter-utterance Context
- Access to Structure
- Access to Formulae
- Access to Parsing Actions
- Context Defined
- References
- Relevance and Utility in an Argumentative Framework: An Application to the Accommodation of Discourse Topics
- Utility and Relevance
- Argumentation and Argumentation Theory
- Argumentation and Game Theory
- The Point of Talking
- Discourse Topics
- Argumentative Goals
- Linking the Two Perspectives
- Intermediate Summary
- Where Relevance and Utility Need to be Kept Apart
- Bi-partisan Relevance
- Changing Goals
- Mixed Motive Games
- Conclusion
- Reference
- The Geometry and Algebra of Commitment
- Background and Motivations
- The Geometry of Commitment
- Space-Time Diagrams: Definitions
- Executing Space-Time Diagrams
- Delegatio, Compensatio and Confusio
- The Algebra of Commitment
- Matchings as Morphisms
- A Category of Accounts
- Examples
- Related Research and Future Work
- References
- Compliance
- Introduction
- Inquisitive Semantics
- Propositions as Proposals
- Support, Possibilities, and Propositions
- Truth-Sets and Excluded Possibilities
- Questions, Assertions, and Hybrids
- Inquisitive Entailment
- Compliance
- Homogeneity: Say More, Ask Less!
- Conclusion
- References
- The Calculus of Responsibility and Commitment
- Introduction
- Background
- Cooper Storage and Retrieval
- RC Types, Terms, and Commitments
- RC Rules
- Conclusion
- References
- Negative Translations and Duality: Toward a Unified Approach
- Introduction
- Proofs-as-Programs for Classical Logic
- Constructive Classical Systems
- Negative Translations
- A Brief History of Negative Translations
- CPS and the Computational Meaning of Negative Translations
- Negative Translations and Constructive Classical Logic
- Limits of Standard Negative Translations
- Polarization and Duality
- Co-intuitionistic Logic and Classical Logic
- Polarization and Negative Translations
- Advantages of the Polarized Approach
- Conclusion
- References
- Ontologies and Coherence Spaces
- Introduction
- KR and Web Resources
- A Logical Model to Rely on
- One Step Further with More Structure
- Ontological Compatibility Spaces
- Operations between Ontologies
- OCS vs. Ontology
- Conclusions
- References
- Author Index
