This book presents several recent advances in natural language semantics and explores the boundaries between syntax and semantics over the last two decades. It is based on some of the most recent theories in logic, such as linear logic and ludics, first created by Jean-Yves Girard, and it also provides some sharp analyses of computational semantical representations, explaining advanced theories in theoretical computer sciences, such as the lambda-mu and Lambek-Grishin calculi which were applied by Philippe de Groote and Michael Moortgat. The author also looks at Aarne Ranta's ‘proof as meaning’ approach, which was first based on Martin-Löf's Type Theory.Meaning, Logic and Ludics surveys the many solutions which have been proposed for the syntax-semantics interface, taking into account the specifications of linguistic signs (continuous or discontinuous) and the fundamental mechanisms developed by linguists and notable Generativists. This pioneering publication also presents ludics (in a chapter co-authored with Myriam Quatrini), a framework which allows us to characterize meaning as an invariant with regard to interaction between processes. It is an excellent book for advanced students, and academics alike, in the field of computational linguistics./a
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.
This book constitutes the refereed proceedings of the 13th International Conference on Artificial General Intelligence, AGI 2020, held in St. Petersburg, Russia, in September 2020. The 30 full papers and 8 short papers presented in this book were carefully reviewed and selected from 60 submissions. The papers cover topics such as AGI architectures, artificial creativity and AI safety, transfer learning, AI unification and benchmarks for AGI.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 7th International Conference on Logical Aspects of Computational Linguistics, LACL 2012, held in Nantes, France, in July 2012. The 15 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 24 submissions. The papers are organized in topical sections on logical foundation of syntactic formalisms, logics for semantics of lexical items, sentences, discourse and dialog, applications of these models to natural language processing, type theoretic, proof theoretic, model theoretic and other logically based formal methods for describing natural language syntax, semantics and pragmatics, as well as the implementation of natural language processing software relying on such methods.
This book contains selected papers from the Colloquium in Honor of Alain Lecomte, held in Pauillac, France, in November 2007. The event was part of the ANR project "Prélude" (Towards Theoretical Pragmatics Based on Ludics and Continuation Theory), the proceedings of which were published in another FoLLI-LNAI volume (LNAI 6505) edited by Alain Lecomte and Samuel Tronçon. The selected papers of this Festschrift volume focus on the scientific areas in which Alain Lecomte has worked and to which he has contributed: formal linguistics, computational linguistics, logic, and cognition.
Computer Science Logic
Author: European Association for Computer Science Logic. Conference
This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held as the 14th Annual Conference of the EACSL in Oxford, UK in August 2005. The 33 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 108 papers submitted. All current aspects of logic in computer science are addressed ranging from mathematical logic and logical foundations to methodological issues and applications of logics in various computing contexts. The volume is organized in topical sections on semantics and logics, type theory and lambda calculus, linear logic and ludics, constraints, finite models, decidability and complexity, verification and model checking, constructive reasoning and computational mathematics, and implicit computational complexity and rewriting.
This book explores the myth, so abused by the mass media, that the Japanese are a grey, anonymous mass of efficient, obedient workers. The articles shed light on a Japan outside officialdom, a lively Japan of tumultuous and independent thought, inefficient and aesthetic, pleasure-loving, aggressive and wasteful, creative and anti-authoritarian. The book's truly international contributors examine the role in modern Japanese society of a range of leisure and play activities, from drinking to travel, football to karaoke, tattoos to rock fandom. They explore how things which seem like play in one context are deadly serious in another, and how the fun and enjoyment may be achieved in unexpected ways. They also draw attention to the importance of such activities in understanding the deeper structure and meaning pervading all areas of the society in which they take place. This book will be of great interest to students and scholars of Japanese Studies, Sociology, Anthropology and Cultural Studies.
Taking as its point of departure the complex question about whether Surrealist theatre exists, this book re-examines the much misunderstood artistic medium of theatre within Surrealism, especially when compared to poetry and painting. This study reconsiders Surrealist theatre specifically from the perspective of ludics-a poetics of play and games-an ideal approach to the Surrealists, whose games blur the boundaries between the 'playful' and the 'serious.' Vassiliki Rapti's aims are threefold: first, to demystify André Breton's controversial attitude toward theatre; second, to do justice to Surrealist theatre, by highlighting the unique character that derives from its inherent element of play; and finally, to trace the impact of Surrealist theatre in areas far beyond its generally acknowledged influence on the Theatre of the Absurd-an impact being felt even on the contemporary world stage. Beginning with the Surrealists' 'one-into-another' game and its illustration of Breton's ludic dramatic theory, Rapti then examines the traces of this kind of game in the works of a wide variety of Surrealist and Post-Surrealist playwrights and stage directors, from several different countries, and from the 1920s to the present: Roger Vitrac, Antonin Artaud, Günter Berghaus, Nanos Valaoritis, Robert Wilson, and Megan Terry.