formal models in the study of language

Download Book Formal Models In The Study Of Language in PDF format. You can Read Online Formal Models In The Study Of Language here in PDF, EPUB, Mobi or Docx formats.

Formal Models In The Study Of Language

Author : Joanna Blochowiak
ISBN : 9783319488325
Genre : Language Arts & Disciplines
File Size : 21. 48 MB
Format : PDF, ePub, Docs
Download : 305
Read : 765

Download Now


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.

Cohesion Coherence And Temporal Reference From An Experimental Corpus Pragmatics Perspective

Author : Cristina Grisot
ISBN : 9783319967523
Genre : Computational linguistics
File Size : 84. 97 MB
Format : PDF, ePub
Download : 202
Read : 706

Download Now


This open access book provides new methodological and theoretical insights into temporal reference and its linguistic expression, from a cross-linguistic experimental corpus pragmatics approach. Verbal tenses, in general, and more specifically the categories of tense, grammatical and lexical aspect are treated as cohesion ties contributing to the temporal coherence of a discourse, as well as to the cognitive temporal coherence of the mental representations built in the language comprehension process. As such, it investigates the phenomenon of temporal reference at the interface between corpus linguistics, theoretical linguistics and pragmatics, experimental pragmatics, psycholinguistics, natural language processing and machine translation. .

Religious Narrative Cognition And Culture

Author : Armin W. Geertz
ISBN : 9781317545491
Genre : Religion
File Size : 71. 64 MB
Format : PDF, Docs
Download : 214
Read : 1082

Download Now


'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.

The Grammatical Nature Of Minimal Structures

Author : Maria Garraffa
ISBN : 9781443830874
Genre : Language Arts & Disciplines
File Size : 24. 7 MB
Format : PDF, ePub, Docs
Download : 625
Read : 591

Download Now


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).

A Future For Knowledge Acquisition

Author : Luc Steels
ISBN : 3540584870
Genre : Computers
File Size : 50. 18 MB
Format : PDF, Kindle
Download : 830
Read : 439

Download Now


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.

Formal Models Of Communicating Systems

Author : Benedikt Bollig
ISBN : 9783540329237
Genre : Computers
File Size : 47. 3 MB
Format : PDF
Download : 686
Read : 1257

Download Now


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.

Embedded Systems Design Based On Formal Models Of Computation

Author : Ivan Radojevic
ISBN : 9400715943
Genre : Technology & Engineering
File Size : 68. 67 MB
Format : PDF, Kindle
Download : 877
Read : 394

Download Now


"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.

Cognitive Processes And Economic Behaviour

Author : Marcello Basili
ISBN : 9781134362288
Genre : Business & Economics
File Size : 67. 75 MB
Format : PDF, Kindle
Download : 924
Read : 1036

Download Now


In recent years the understanding of the cognitive foundations of economic behavior has become increasingly important. This volume contains contributions from such leading scholars as Adam Brandenburger, Michael Bacharach and Patrick Suppes. It will be of great interest to academics and researchers involved in the field of economics and psychology as well as those interested in political economy more generally.

Formal Methods For Industrial Critical Systems

Author : Gwen Salaün
ISBN : 9783642244308
Genre : Computers
File Size : 34. 4 MB
Format : PDF, Mobi
Download : 721
Read : 389

Download Now


This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011. The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

Formal Modeling And Analysis Of Timed Systems

Author : Víctor Braberman
ISBN : 9783642402296
Genre : Computers
File Size : 52. 20 MB
Format : PDF
Download : 223
Read : 655

Download Now


This book constitutes the refereed proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, held in Buenos Aires, Argentina, in August 2013. The 18 revised full papers presented were carefully reviewed and selected from 41 submissions. The book covers topics of foundations and semantics (theoretical foundations of timed systems and languages; comparison between different models, such as timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models); methods and Tools (techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints, e.g., scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving, etc.); applications (adaptation and specialization of timing technology in application domains in which timing plays an important role, e.g., real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunications).

Top Download:

Best Books