Formal Models in the Study of Language

Formal Models in the Study of Language

This volume presents articles that focus on the application of formal models in the study of language in a variety of innovative ways, and is dedicated to Jacques Moeschler, professor at University of Geneva, to mark the occasion of his ...

Author: Joanna Blochowiak

Publisher: Springer

ISBN: 3319488317

Category: Language Arts & Disciplines

Page: 456

View: 629

This volume presents articles that focus on the application of formal models in the study of language in a variety of innovative ways, and is dedicated to Jacques Moeschler, professor at University of Geneva, to mark the occasion of his 60th birthday. The contributions, by seasoned and budding linguists of all different linguistic backgrounds, reflect Jacques Moeschler’s diverse and visionary research over the years. The book contains three parts. The first part shows how different formal models can be applied to the analysis of such diverse problems as the syntax, semantics and pragmatics of tense, aspect and deictic expressions, syntax and pragmatics of quantifiers and semantics and pragmatics of connectives and negation. The second part presents the application of formal models to the treatment of cognitive issues related to the use of language, and in particular, demonstrating cognitive accounts of different types of human interactions, the context in utterance interpretation (salience, inferential comprehension processes), figurative uses of language (irony pretence), the role of syntax in Theory of Mind in autism and the analysis of the aesthetics of nature. Finally, the third part addresses computational and corpus-based approaches to natural language for investigating language variation, language universals and discourse related issues. This volume will be of great interest to syntacticians, pragmaticians, computer scientists, semanticians and psycholinguists.
Categories: Language Arts & Disciplines

Languages and Linguistics Working Papers

Languages and Linguistics  Working Papers

Within this tradition , typical objects of study have been abstract units and the
relations holding between them , with reference to the various levels of a purely
formal model . Yet modern linguistics , in conjunction with experimental science ,
has ...

Author:

Publisher:

ISBN: IND:30000125709422

Category: Language and languages

Page:

View: 513

Categories: Language and languages

The Foundation of the Center for the Study of Language and Information

The Foundation of the Center for the Study of Language and Information

3 ] , so don ' t put too much emphasis on that when you claim to study language .
... formal models that get tested and revised by examination of critical examples
and internal elegance versus constructing runnable computer programs that get ...

Author: Joop Schopman

Publisher: Peter Lang Pub Incorporated

ISBN: 3631493452

Category: Language Arts & Disciplines

Page: 428

View: 216

In September 1983 a new «Center for the Study of Language and Information» started at Stanford University. This has become an established institution in the field of linguistics. It originated from a proposal presented to a Californian foundation by several scientists interested in computational linguistics. This book first describes how the writing group came into being, and then how the members of this group worked out in common a proposal which was successful. Their different institutional and disciplinary backgrounds forced them to negotiate. These interactions - with their dynamics - are the main topic of this study which is based on analyses of many preparatory texts and electronic mail exchanges, as well as on extensive interviews with almost all of the participants.
Categories: Language Arts & Disciplines

Studies in Language

Studies in Language

The short chapter 7 , “ On the Boundary of Formal Grammar ” , is devoted to a
presentation of pragmatic , perceptual ... they hold in common- the recognition
that a linguistic theory is a formal model of a speaker's abstract linguistic
competence .

Author:

Publisher:

ISBN: UOM:39015011827170

Category: Electronic journals

Page:

View: 997

Categories: Electronic journals

Problems of Information Transmission

Problems of Information Transmission

A fundamental difficulty encountered by these papers is the fact that the formal
model of some learning process , for ... speaking of the connection between
methods for the formal study of languages and learning models , state with regret
the ...

Author:

Publisher:

ISBN: UCSD:31822032919383

Category: Information theory

Page:

View: 512

Categories: Information theory

Formal Models and Semantics

Formal Models and Semantics

This is not possible for languages with infinitely many sentences . The main task
of formal language theory is the study of finitary specifications of infinite
languages . The basic theory of computation , as well as of its various branches ,
is ...

Author: Bozzano G Luisa

Publisher: Elsevier Science

ISBN: 0444880747

Category: Computers

Page: 1273

View: 597

The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.
Categories: Computers

Elements of Mathematical Linguistics

Elements of Mathematical Linguistics

How , exactly , do we carry out the scientific study of languages ? ... In order to
answer them we have to create formal models of those procedures and means
which we in fact used extensively without explicitly specifying them in any way
when ...

Author: Alekseĭ Vsevolodovich Gladkiĭ

Publisher: De Gruyter Mouton

ISBN: UOM:39015006589660

Category: Matematisk lingvistik

Page: 247

View: 944

Categories: Matematisk lingvistik

Computational Linguistics

Computational Linguistics

And computational linguistics ? One could evade the question by saying that , if
formal model like PTQ have any computational interest , so has SCG . What is
interesting is that Hausser tries to treat some important aspects of language ...

Author:

Publisher:

ISBN: UOM:39015011838656

Category: Computational linguistics

Page:

View: 526

Categories: Computational linguistics

General Catalogue

General Catalogue

Author: University of California, Santa Barbara

Publisher:

ISBN: UIUC:30112102103212

Category:

Page:

View: 996

Categories:

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

This book constitutes the proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2010, held in Klosterneuburg, Austria in September 2010.

Author: Krishnendu Chatterjee

Publisher: Springer Science & Business Media

ISBN: 9783642152962

Category: Computers

Page: 257

View: 258

This book constitutes the proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2010, held in Klosterneuburg, Austria in September 2010. The 14 papers presented were carefully reviewed and selected from 31 submissions. In addition, the volume contains 3 invited talks and 2 invited tutorials.The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share an interest in the modeling and analysis of timed systems. Typical topics include foundations and semantics, methods and tools, and applications.
Categories: Computers

Formal Models in Programming

Formal Models in Programming

Data Refinement of and Here we are going to present the way we introduce
students into the science systematically deriving an implementation from the
formal definition of a language . A language is considered to be a datatype . The
initial ...

Author: Erich J. Neuhold

Publisher: North Holland

ISBN: UOM:39015009822142

Category: Reference

Page: 425

View: 372

Categories: Reference

Religious Narrative Cognition and Culture

Religious Narrative  Cognition and Culture

Introduction: The Fallacy of Reverse Engineering There can be little doubt that
the development of formal generative linguistic analysis has been the most
important advance in the study of language in the last half century. These formal
models ...

Author: Armin W. Geertz

Publisher: Routledge

ISBN: 9781317545491

Category: Religion

Page: 348

View: 409

'Religious Narrative, Cognition and Culture' brings together some of the world's leading scholars in the fields of cognitive science and comparative religion. The essays range across diverse fields: the neurological processes and possible genetic foundations of how language emerged; the possible phylogenetic routes in the development of language and culture; the complex interrelations between the ontogenesis and the sociogenesis of cognitive processes; the value of a combination of neurology, narratology and a reworked speech-act approach that focuses on narrative; how the psychology of ritual helps make narrative beliefs possible; religious narratives; emotional communication; the role of gossip as religious narrative; area studies of religious narrative and cognition in the Bible; Indian Epic literature; Australian Aboriginal mythology and ritual; modern religious forms such as New Age, Asatro, astrological narrative and virtual rituals in cyberspace.
Categories: Religion

Anthropological Linguistics

Anthropological Linguistics

On the side of linguistics there is work concerned with universal and recurrent
properties , types of language , and language structure , informed by formal
models , but not confined by them , bringing new insight into diversity and
recurrence of ...

Author:

Publisher:

ISBN: UOM:39015052838961

Category: Comparative linguistics

Page:

View: 391

Categories: Comparative linguistics

The Grammatical Nature of Minimal Structures

The Grammatical Nature of Minimal Structures

On the connections between theoretical linguistics and the experimental study of
pathologies. This book puts together two distinct, broad domains of inquiry on
language. The first is the detailed formal modeling of linguistic capacities, ...

Author: Maria Garraffa

Publisher: Cambridge Scholars Publishing

ISBN: 9781443830874

Category: Language Arts & Disciplines

Page: 140

View: 944

An important development in linguistic models is the shift from construction-oriented rules to elementary computations that generate complex grammatical expressions. In this monograph, the author presents a systematic linguistic examination of an Italian aphasic speaker focusing on locality conditions as configurational restrictions on syntactic computations and on functional elements as fundamental triggers for computational processes. The explanatory framework which has been adopted considers the grammar to be an integral part of language processing; it is a derivational model compatible with well-known parsing strategies such as the minimal link condition and the minimal chain principle. This approach to aphasia supports the hypothesis that linguistic deficit is an impoverishment of procedural capacities that manifests itself in reduced syntactic structures. The book is recommended for advanced undergraduates and graduate students in neurolinguistics, psycholinguistics and theoretical linguistics, as well as medical researchers and speech therapists interested in the same fields. It can be adopted as principal text for the specific domain (syntax and aphasia).
Categories: Language Arts & Disciplines

A Future for Knowledge Acquisition

A Future for Knowledge Acquisition

This leads us to conjecture that the close correspondence between the informal
KADS models and the formal (ML)2 models avoids some of the problems that
traditionally plague formal specification languages. The case-studies revealed ...

Author: Luc Steels

Publisher: Springer Science & Business Media

ISBN: 3540584870

Category: Computers

Page: 413

View: 298

In the last few years rapid advances have been made in reproductive medicine, making it necessary for those involved to regularly update their knowledge. The purpose of this book is to describe the state of the art in this field, making it possible for the reader to gain an orientation among all the diagnostic and therapeutic potentials of modern reproductive medicine in order to advise patients fully. Chapters from the fields of gynecology, and reproductive medicine in a specific sense provide knowledge about these subjects. Authors of international standing have contributed chapters on their specialties. These chapters together form a book describing the state of the art in the diagnosis and therapy of sterility in gynecology and andrology.
Categories: Computers

Embedded Systems Design Based on Formal Models of Computation

Embedded Systems Design Based on Formal Models of Computation

The frequency relay case study was specified in both languages, following the
DFCharts model as closely as possible. Using this analysis, we can identify what
needs to be improved in each language in order to increase their ability to handle
 ...

Author: Ivan Radojevic

Publisher: Springer Science & Business Media

ISBN: 9400715943

Category: Technology & Engineering

Page: 183

View: 374

"Models of Computation for Heterogeneous Embedded Systems" presents a model of computation for heterogeneous embedded systems called DFCharts. It targets heterogeneous systems by combining finite state machines (FSM) with synchronous dataflow graphs (SDFG). FSMs are connected in the same way as in Argos (a Statecharts variant with purely synchronous semantics) using three operators: synchronous parallel, refinement and hiding. The fourth operator, called asynchronous parallel, is introduced in DFCharts to connect FSMs with SDFGs. In the formal semantics of DFCharts, the operation of an SDFG is represented as an FSM. Using this representation, SDFGs are merged with FSMs so that the behaviour of a complete DFCharts specification can be expressed as a single, flat FSM. This allows system properties to be verified globally. The practical application of DFCharts has been demonstrated by linking it to widely used system-level languages Java, Esterel and SystemC.
Categories: Technology & Engineering

Formal Models of Communicating Systems

Formal Models of Communicating Systems

Languages, Automata, and Monadic Second-Order Logic Benedikt Bollig ...
several modeling and specification formalisms have been considered at a formal
level, among them high-level MSCs [6,45,68,76], ... The study of algebraic
language ...

Author: Benedikt Bollig

Publisher: Springer Science & Business Media

ISBN: 9783540329237

Category: Computers

Page: 181

View: 216

This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. It provides a unifying theory of communicating automata and their logical properties. Based on Hanf's Theorem and Thomas's graph acceptors, it develops a result that allows characterization of many popular models of distributed computation in terms of the existential fragment of monadic second-order logic.
Categories: Computers

Language

Language

The last three chapters introduce mathematical linguistics , ' the study of formal
models of generative grammars and closely allied devices called abstract
automata ' ( p . xiii ) . W specifically excludes stochastic mathematics and
computer ...

Author: George Melville Bolling

Publisher:

ISBN: UOM:39015067436678

Category: Comparative linguistics

Page:

View: 817

Categories: Comparative linguistics