Logical Investigations Into Dynamic Semantics
Author: Willem Groeneveld
Publisher:
Published: 1995
Total Pages: 216
ISBN-13:
DOWNLOAD EBOOKPosts
Questions in Dynamic Semantics
Author: Maria Aloni
Publisher: BRILL
Published: 2007-03-20
Total Pages: 358
ISBN-13: 0080470998
DOWNLOAD EBOOKThe study of questions and answers is challenging for various fields of theoretical linguistics, logic, analytical philosophy, and more recently computer science. Research into questions and answers addresses old and raises new and important questions about the semantics / pragmatics interface and about the dynamics of interpretation. This book brings together current work on the topic as it has been developed in Amsterdam, and congenial academic sites, over the past 15 years. Amsterdam is one of the breeding grounds for the formal study of logic and language, for dynamic semantics, and for the study of questions and answers. It covers the major issues of pragmatic/semantic investigation, including logical relations, context dependence, information structure, and more. It illustrates how semantic/pragmatic stance can be used for problems in other areas of linguistic theorising.
Logical Dynamics of Information and Interaction
Author: Johan van Benthem
Publisher: Cambridge University Press
Published: 2011-09-29
Total Pages: 387
ISBN-13: 1139500465
DOWNLOAD EBOOKThis book develops a view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and communication, that can handle both update of knowledge and revision of beliefs. It then extends the dynamic style of analysis to include changing preferences and goals, temporal processes, group action and strategic interaction in games. Throughout, the book develops a mathematical theory unifying all these systems, and positioning them at the interface of logic, philosophy, computer science and game theory. A series of further chapters explores repercussions of the 'dynamic stance' for these areas, as well as cognitive science.
Dynamic Semantics
Author: Paul J.E. Dekker
Publisher: Springer Science & Business Media
Published: 2012-07-03
Total Pages: 129
ISBN-13: 9400748698
DOWNLOAD EBOOKThe integrated theory of dynamic interpretation set out here will be a surprise to advanced researchers in linguistics. It combines classical formal semantics and modern dynamic semantics without altering the fundamental paradigm. At the book’s core lies a pragmatically motivated notion of a dynamic conjunction of meanings, an idea that is worked out in full formal detail. This is applied to linguistic phenomena that involve anaphora, quantification and modality. The author demonstrates that in each area of application existing data can be neatly combined with new dynamic insights, but more importantly, there is a genuine further pay-off: the work generates treatments of phenomena that were not initially intended, with functional readings of pronouns and quantifiers, ‘Hob-Nob’ sentences, and insights into what we now call ‘Pierce’s Puzzle’. The outcome of a decade of work by the Amsterdam School of dynamic semantics, this volume condenses and reflects upon a vital body of research.
Logic and Lexicon
Author: Manfred Pinkal
Publisher: Springer Science & Business Media
Published: 2013-04-17
Total Pages: 392
ISBN-13: 9401584451
DOWNLOAD EBOOKSemantic underspecification is an essential and pervasive property of natural language. This monograph provides a comprehensive survey of the various phenomena in the field of ambiguity and vagueness. The book discusses the major theories of semantic indefiniteness, which have been proposed in linguistics, philosophy and computer science. It argues for a view of indefiniteness as the potential for further contextual specification, and proposes a unified logical treatment of indefiniteness on this basis. The inherent inconsistency of natural language induced by irreducible imprecision is investigated, and treated in terms of a dynamic extension of the proposed logic. The book is an extended edition of a German monograph and is addressed to advanced students and researchers in theoretical and computational linguistics, logic, philosophy of language, and NL- oriented AI. Although it makes extensive use of logical formalisms, it requires only some basic familiarity with standard predicate logic concepts since all technical terms are carefully explained.
Handbook of Logic and Language
Author: Johan F.A.K. van Benthem
Publisher: Elsevier
Published: 2010-12-17
Total Pages: 1169
ISBN-13: 0444537279
DOWNLOAD EBOOKThe logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory. This new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as a historical perspective. It is divided into three parts covering Frameworks, General Topics and Descriptive Themes. - Completely revised and updated - includes over 25% new material - Discusses the interface between logic and language - Many of the authors are creators or active developers of the theories
Dynamic Epistemic Logic
Author: Hans van Ditmarsch
Publisher: Springer Science & Business Media
Published: 2007-05-06
Total Pages: 303
ISBN-13: 140205839X
DOWNLOAD EBOOKDynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice.
Reference and Anaphoric Relations
Author: H.K. von Heusinger
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 347
ISBN-13: 9401139474
DOWNLOAD EBOOKThis book is a collection of original research articles on the representation and in terpretation of indefinite and definite noun phrases, anaphoric pronouns, and closely related issues such as reference, scope and quantifier movement. A variety of frame works for the formal analysis of discourse semantics are represented, including dis course representation theory, file change semantics, dynamic Logic, E-type theories, and choice function approaches, which was one of the main issues the Konstanz project were concerned with. All of these frameworks are couched in the tradition of Montague Grammar, even though they extend the classical formalism in different directions. The developments emerged from the modern discussion of problems for the representation of cross-sentential anaphoric relations involving pronouns, and the interpretation of definite and indefinite noun phrases. After a decade of controversy, these approaches are merging together, enriching each other's formal mechanisms rather than expressing opposition. Thus, the articles in this volume concentrate on fundamental semantic questions, and also extend the current formalisms in order to capture more data. The roots of this book lie in the workshop "Reference and Anaphoric Relations", which was held at the University of Konstanz in June 1996. Five main issues were discussed: (i) the Stoic and scholastic treatment of reference and anaphora; (ii) quan tification and scope, (iii) anaphoric reference; (iv) the representation of indefinite NPs with choice functions; and (v) the relation between linguistic expressions, their rep resentations and their meanings.
Text, Speech and Dialogue
Author: Petr Sojka
Publisher: Springer
Published: 2003-07-31
Total Pages: 469
ISBN-13: 3540453237
DOWNLOAD EBOOKThe workshop series on Text, Speech and Dialogue originated in 1998 with the ?rst TSD1998 held in Brno, Czech Republic. This year’s TSD2000, already the third in the series, returns to Brno and to its organizers from the Faculty of Informatics at the Masaryk University. As shown by the ever growing interest in TSD series, this annual workshop developed into the prime meeting of speech and language researchers from both sides of the former Iron Curtain, which provides a unique opportunity to get acquainted with the current activities in all aspects of language communication and to witness the amazing vitality of researchers from the former East Block countries. Thanks need to be extended to all who continue to make the TSD workshop series such a success: ?rst, to the authors themselves, without whom TSD2000 would not exist; next, to all organizations that support TSD2000, among them the International Speech Communication Association, the Faculty of Informatics at the Masaryk University in Brno and the Faculty of Applied Sciences, West Bohemia University in Plzen; ? and last but not least,to the organizers and members of the Program Committee who spentmuch effort to make TSD2000 success and who reviewed 131 contributions submitted from all corners of the world and accepted 75 out of them for presentation at the workshop. This book is evidence of the success of all involved.
Computational Logic in Multi-Agent Systems
Author: Katsumi Inoue
Publisher: Springer
Published: 2007-05-16
Total Pages: 324
ISBN-13: 3540696199
DOWNLOAD EBOOKThis book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VII, held in Hakodate, Japan, in May 2006. It was an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems. The series of workshops presents current work on application of general and declarative theories.
