Author: Chris Barker
Publisher: OUP Oxford
ISBN: 0199575010
Category : Computers
Languages : en
Pages : 251
Book Description
The continuation of an expression is a portion of its surrounding context. This book proposes and defends the continuation hypothesis: that the meaning of a natural language expression can depend on its own continuation (it can denote a function on its surrounding context).
Continuations and Natural Language
Author: Chris Barker
Publisher: OUP Oxford
ISBN: 0199575010
Category : Computers
Languages : en
Pages : 251
Book Description
The continuation of an expression is a portion of its surrounding context. This book proposes and defends the continuation hypothesis: that the meaning of a natural language expression can depend on its own continuation (it can denote a function on its surrounding context).
Publisher: OUP Oxford
ISBN: 0199575010
Category : Computers
Languages : en
Pages : 251
Book Description
The continuation of an expression is a portion of its surrounding context. This book proposes and defends the continuation hypothesis: that the meaning of a natural language expression can depend on its own continuation (it can denote a function on its surrounding context).
Continuations and Natural Language
Author: Chris Barker
Publisher: Oxford University Press
ISBN: 0191664928
Category : Language Arts & Disciplines
Languages : en
Pages : 251
Book Description
This book takes concepts developed by researchers in theoretical computer science and adapts and applies them to the study of natural language meaning. Summarizing more than a decade of research, Chris Barker and Chung-chieh Shan put forward the Continuation Hypothesis: that the meaning of a natural language expression can depend on its own continuation. In Part I, the authors develop a continuation-based theory of scope and quantificational binding and provide an explanation for order sensitivity in scope-related phenomena such as scope ambiguity, crossover, superiority, reconstruction, negative polarity licensing, dynamic anaphora, and donkey anaphora. Part II outlines an innovative substructural logic for reasoning about continuations and proposes an analysis of the compositional semantics of adjectives such as 'same' in terms of parasitic and recursive scope. It also shows that certain cases of ellipsis should be treated as anaphora to a continuation, leading to a new explanation for a subtype of sluicing known as sprouting. The book makes a significant contribution to work on scope, reference, quantification, and other central aspects of semantics and will appeal to semanticists in linguistics and philosophy at graduate level and above.
Publisher: Oxford University Press
ISBN: 0191664928
Category : Language Arts & Disciplines
Languages : en
Pages : 251
Book Description
This book takes concepts developed by researchers in theoretical computer science and adapts and applies them to the study of natural language meaning. Summarizing more than a decade of research, Chris Barker and Chung-chieh Shan put forward the Continuation Hypothesis: that the meaning of a natural language expression can depend on its own continuation. In Part I, the authors develop a continuation-based theory of scope and quantificational binding and provide an explanation for order sensitivity in scope-related phenomena such as scope ambiguity, crossover, superiority, reconstruction, negative polarity licensing, dynamic anaphora, and donkey anaphora. Part II outlines an innovative substructural logic for reasoning about continuations and proposes an analysis of the compositional semantics of adjectives such as 'same' in terms of parasitic and recursive scope. It also shows that certain cases of ellipsis should be treated as anaphora to a continuation, leading to a new explanation for a subtype of sluicing known as sprouting. The book makes a significant contribution to work on scope, reference, quantification, and other central aspects of semantics and will appeal to semanticists in linguistics and philosophy at graduate level and above.
Enriched Meanings
Author: Ash Asudeh
Publisher: Oxford Studies in Semantics an
ISBN: 0198847858
Category : Language Arts & Disciplines
Languages : en
Pages : 202
Book Description
This book develops a theory of enriched meanings for natural language interpretation that uses the concept of monads and related ideas from category theory, a branch of mathematics that has been influential in theoretical computer science and elsewhere. Certain expressions that exhibit complex effects at the semantics/pragmatics boundary live in an enriched meaning space, while others live in a more basic meaning space. These basic meanings are mapped to enriched meanings only when required compositionally, which avoids generalizing meanings to the worst case. Ash Asudeh and Gianluca Giorgolo show that the monadic theory of enriched meanings offers a formally and computationally well-defined way to tackle important challenges at the semantics/pragmatics boundary. In particular, they develop innovative monadic analyses of three phenomena - conventional implicature, substitution puzzles, and conjunction fallacies - and demonstrate that the compositional properties of monads model linguistic intuitions about these cases particularly well. The analyses are accompanied by exercises to aid understanding, and the computational tools used are available on the book's companion website. The book also contains background chapters on enriched meanings and category theory. The volume is interdisciplinary in nature, with insights from semantics, pragmatics, philosophy of language, psychology, and computer science, and will appeal to graduate students and researchers from a wide range of disciplines with an interest in natural language understanding and representation.
Publisher: Oxford Studies in Semantics an
ISBN: 0198847858
Category : Language Arts & Disciplines
Languages : en
Pages : 202
Book Description
This book develops a theory of enriched meanings for natural language interpretation that uses the concept of monads and related ideas from category theory, a branch of mathematics that has been influential in theoretical computer science and elsewhere. Certain expressions that exhibit complex effects at the semantics/pragmatics boundary live in an enriched meaning space, while others live in a more basic meaning space. These basic meanings are mapped to enriched meanings only when required compositionally, which avoids generalizing meanings to the worst case. Ash Asudeh and Gianluca Giorgolo show that the monadic theory of enriched meanings offers a formally and computationally well-defined way to tackle important challenges at the semantics/pragmatics boundary. In particular, they develop innovative monadic analyses of three phenomena - conventional implicature, substitution puzzles, and conjunction fallacies - and demonstrate that the compositional properties of monads model linguistic intuitions about these cases particularly well. The analyses are accompanied by exercises to aid understanding, and the computational tools used are available on the book's companion website. The book also contains background chapters on enriched meanings and category theory. The volume is interdisciplinary in nature, with insights from semantics, pragmatics, philosophy of language, psychology, and computer science, and will appeal to graduate students and researchers from a wide range of disciplines with an interest in natural language understanding and representation.
Logical Aspects of Computational Linguistics
Author: Nicholas Asher
Publisher: Springer
ISBN: 3662437422
Category : Computers
Languages : en
Pages : 202
Book Description
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Conference on Logical Aspects of Computational Linguistics (LACL 2014) held in Toulouse, France, in June 2014. On the broadly syntactic side, there are papers on the logical and computational foundations of context free grammars, pregroup grammars, on the Lambek calculus and on formalizations of aspects of minimalism. There is also a paper on Abstract Categorical Grammar, as well as papers on issues at the syntax/semantics interface. On the semantic side, the volume's papers address monotonicity reasoning and the semantics of adverbs in type theory, proof theoretical semantics and predicate and argument invariance.
Publisher: Springer
ISBN: 3662437422
Category : Computers
Languages : en
Pages : 202
Book Description
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Conference on Logical Aspects of Computational Linguistics (LACL 2014) held in Toulouse, France, in June 2014. On the broadly syntactic side, there are papers on the logical and computational foundations of context free grammars, pregroup grammars, on the Lambek calculus and on formalizations of aspects of minimalism. There is also a paper on Abstract Categorical Grammar, as well as papers on issues at the syntax/semantics interface. On the semantic side, the volume's papers address monotonicity reasoning and the semantics of adverbs in type theory, proof theoretical semantics and predicate and argument invariance.
Ludics, Dialogue and Interaction
Author: Alain Lecomte
Publisher: Springer
ISBN: 3642192114
Category : Computers
Languages : en
Pages : 232
Book 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.
Publisher: Springer
ISBN: 3642192114
Category : Computers
Languages : en
Pages : 232
Book 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.
New Frontiers in Artificial Intelligence
Author: Ken Satoh
Publisher: Springer
ISBN: 3540781978
Category : Computers
Languages : en
Pages : 406
Book Description
The technology of arti?cial intelligence is increasing its importance thanks to the rapid growth of the Internet and computer technology. In Japan, the annual conference series of JSAI (The Japanese Society for Arti?cial Intelligence) has been playing a leading role in promoting AI research, and selected papers of the annual conferences have been published in the LNAI series since 2003. This book consists of award papers from the 21st annual conference of JSAI (JSAI 2007) and selected papers from the four co-located workshops. Seven papers were awarded among more than 335 presentations in the conference and 24 papers were selected from a total of 48 presentations in the co-located workshops: Logic and Engineering of Natural Language Semantics 2007 (LENLS 2007), the International Workshop on Risk Informatics (RI 2007), the 5th Wo- shop on Learning with Logics and Logics for Learning (LLLL 2007), and the 1st International Workshop on Juris-informatics (JURISIN 2007). The award papers from JSAI 2007 underwent a rigorous selection process. Firstly, recommendations were made from three people (Session Chair, session commentator and one PC member) in each session, and then recommended - pers were carefully reviewed and voted for by PC members for ?nal selection.
Publisher: Springer
ISBN: 3540781978
Category : Computers
Languages : en
Pages : 406
Book Description
The technology of arti?cial intelligence is increasing its importance thanks to the rapid growth of the Internet and computer technology. In Japan, the annual conference series of JSAI (The Japanese Society for Arti?cial Intelligence) has been playing a leading role in promoting AI research, and selected papers of the annual conferences have been published in the LNAI series since 2003. This book consists of award papers from the 21st annual conference of JSAI (JSAI 2007) and selected papers from the four co-located workshops. Seven papers were awarded among more than 335 presentations in the conference and 24 papers were selected from a total of 48 presentations in the co-located workshops: Logic and Engineering of Natural Language Semantics 2007 (LENLS 2007), the International Workshop on Risk Informatics (RI 2007), the 5th Wo- shop on Learning with Logics and Logics for Learning (LLLL 2007), and the 1st International Workshop on Juris-informatics (JURISIN 2007). The award papers from JSAI 2007 underwent a rigorous selection process. Firstly, recommendations were made from three people (Session Chair, session commentator and one PC member) in each session, and then recommended - pers were carefully reviewed and voted for by PC members for ?nal selection.
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016)
Author: Maxime Amblard
Publisher: Springer
ISBN: 3662538261
Category : Mathematics
Languages : en
Pages : 354
Book Description
Edited under the auspices of the Association of Logic, Language andInformation (FoLLI), this book constitutes the refereed proceedings ofthe 20th anniversary of the International Conference on LogicalAspects of Computational Linguistics, LACL 2016, held in LORIA Nancy,France, in December 2016. The 19 contributed papers, presentedtogether with 4 invited papers and 6 abstracts, were carefullyreviewed and selected from 38 submissions. The focus of the conferenceis the use of type theoretic, proof theoretic, and model theoreticmethods for describing and formalising natural language syntax,semantics, and pragmatics as well as the implementation of thecorresponding tools.
Publisher: Springer
ISBN: 3662538261
Category : Mathematics
Languages : en
Pages : 354
Book Description
Edited under the auspices of the Association of Logic, Language andInformation (FoLLI), this book constitutes the refereed proceedings ofthe 20th anniversary of the International Conference on LogicalAspects of Computational Linguistics, LACL 2016, held in LORIA Nancy,France, in December 2016. The 19 contributed papers, presentedtogether with 4 invited papers and 6 abstracts, were carefullyreviewed and selected from 38 submissions. The focus of the conferenceis the use of type theoretic, proof theoretic, and model theoreticmethods for describing and formalising natural language syntax,semantics, and pragmatics as well as the implementation of thecorresponding tools.
Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018)
Author: Roussanka Loukanova
Publisher: Springer Nature
ISBN: 3030300773
Category : Technology & Engineering
Languages : en
Pages : 210
Book Description
This book focuses mainly on logical approaches to computational linguistics, but also discusses integrations with other approaches, presenting both classic and newly emerging theories and applications.Decades of research on theoretical work and practical applications have demonstrated that computational linguistics is a distinctively interdisciplinary area. There is convincing evidence that computational approaches to linguistics can benefit from research on the nature of human language, including from the perspective of its evolution. This book addresses various topics in computational theories of human language, covering grammar, syntax, and semantics. The common thread running through the research presented is the role of computer science, mathematical logic and other subjects of mathematics in computational linguistics and natural language processing (NLP). Promoting intelligent approaches to artificial intelligence (AI) and NLP, the book is intended for researchers and graduate students in the field.
Publisher: Springer Nature
ISBN: 3030300773
Category : Technology & Engineering
Languages : en
Pages : 210
Book Description
This book focuses mainly on logical approaches to computational linguistics, but also discusses integrations with other approaches, presenting both classic and newly emerging theories and applications.Decades of research on theoretical work and practical applications have demonstrated that computational linguistics is a distinctively interdisciplinary area. There is convincing evidence that computational approaches to linguistics can benefit from research on the nature of human language, including from the perspective of its evolution. This book addresses various topics in computational theories of human language, covering grammar, syntax, and semantics. The common thread running through the research presented is the role of computer science, mathematical logic and other subjects of mathematics in computational linguistics and natural language processing (NLP). Promoting intelligent approaches to artificial intelligence (AI) and NLP, the book is intended for researchers and graduate students in the field.
Different Kinds of Specificity Across Languages
Author: Cornelia Ebert
Publisher: Springer Science & Business Media
ISBN: 9400753101
Category : Language Arts & Disciplines
Languages : en
Pages : 214
Book Description
This anthology of papers analyzes a range of specificity markers found in natural languages. It reflects the fact that despite intensive research into these markers, the vast differences between the markers across languages and even within single languages have been less acknowledged. Commonly regarded specific indefinites are by no means a homogenous class, and so this volume fills a gap in our understanding of the semantics and pragmatics of indefinites. The papers explore differences and similarities among these specificity markers, concentrating on the following issues: whether specificity is a purely semantic or also a pragmatic notion; whether the contribution of specificity markers is located on the level of the at-issue content; whether some kind of speaker-listener asymmetry concerning the identification of the referent is involved; and the behavioral scope of these indefinites in the context of other quantifiers, negation, attitude verbs, and intensional/modal operators.
Publisher: Springer Science & Business Media
ISBN: 9400753101
Category : Language Arts & Disciplines
Languages : en
Pages : 214
Book Description
This anthology of papers analyzes a range of specificity markers found in natural languages. It reflects the fact that despite intensive research into these markers, the vast differences between the markers across languages and even within single languages have been less acknowledged. Commonly regarded specific indefinites are by no means a homogenous class, and so this volume fills a gap in our understanding of the semantics and pragmatics of indefinites. The papers explore differences and similarities among these specificity markers, concentrating on the following issues: whether specificity is a purely semantic or also a pragmatic notion; whether the contribution of specificity markers is located on the level of the at-issue content; whether some kind of speaker-listener asymmetry concerning the identification of the referent is involved; and the behavioral scope of these indefinites in the context of other quantifiers, negation, attitude verbs, and intensional/modal operators.
Meaning, Logic And Ludics
Author: Alain Lecomte
Publisher: World Scientific
ISBN: 1908978244
Category : Mathematics
Languages : en
Pages : 388
Book Description
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
Publisher: World Scientific
ISBN: 1908978244
Category : Mathematics
Languages : en
Pages : 388
Book Description
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