This open access book introduces a general framework that allows natural language researchers to enhance existing competence theories with fully specified performance and processing components. Gradually developing increasingly complex and cognitively realistic competence-performance models, it provides running code for these models and shows how to fit them to real-time experimental data. This computational cognitive modeling approach opens up exciting new directions for research in formal semantics, and linguistics more generally, and offers new ways of (re)connecting semantics and the broader field of cognitive science. The approach of this book is novel in more ways than one. Assuming the mental architecture and procedural modalities of Anderson's ACT-R framework, it presents fine-grained computational models of human language processing tasks which make detailed quantitative predictions that can be checked against the results of self-paced reading and other psycho-linguistic experiments. All models are presented as computer programs that readers can run on their own computer and on inputs of their choice, thereby learning to design, program and run their own models. But even for readers who won't do all that, the book will show how such detailed, quantitatively predicting modeling of linguistic processes is possible. A methodological breakthrough and a must for anyone concerned about the future of linguistics! (Hans Kamp) This book constitutes a major step forward in linguistics and psycholinguistics. It constitutes a unique synthesis of several different research traditions: computational models of psycholinguistic processes, and formal models of semantics and discourse processing. The work also introduces a sophisticated python-based software environment for modeling linguistic processes. This book has the potential to revolutionize not only formal models of linguistics, but also models of language processing more generally. (Shravan Vasishth) .

The rise in computing and multimedia technology has spawned an increasing interest in the role of diagrams and sketches, not only for the purpose of conveying information but also for creative thinking and problem-solving. This book attempts to characterise the nature of "a science of diagrams" in a wide-ranging, multidisciplinary study that contains accounts of the most recent research results in computer science and psychology. Key topics include: cognitive aspects, formal aspects, and applications. It is a well-written and indispensable survey for researchers and students in the fields of cognitive science, artificial intelligence, human-computer interaction, and graphics and visualisation.

One: Nuts and Bolts.- 1. Mental Representation.- Symbolism: The Classical Paradigm.- Cracks in the Symbolic Paradigm.- Connectionism: The Other Paradigm.- Methods of Models.- Assessing Theories of Mental Representation.- 2. Partitioned Representations.- General Overview.- The Contents of Spaces.- Parochial Reasoning.- Primary Contexts.- Partitioned Semantics.- Coherence.- Consolidation.- Secondary Contexts.- A Typology of Spaces.- Where Partitioned Representations Get Their Power.- Summary and Conclusions.- 3. Language: Process and Structure.- A Simple Philosophy of Language.- Linguistic Explanation.- The Process of Language Understanding.- Linguistic Evidence for Mental Representations.- 4. Three Levels of Language Processing.- Parochial Processing.- Distribution.- Contextualization.- An Example Discourse.- Conclusions.- Two: Studies in Language.- 5. Pedro's Donkey and Oedipus's Mother.- Some Common Parochial Linguistic Processes.- Some Common Cases of Distribution.- Interaction of Distribution and Parochial Processes.- Summary and Conclusions.- 6. Satisfying Presuppositions in Discourse.- The Problem of Presupposition.- Presupposition and Parochial Processing.- What Happens in Complex Sentences?.- Conclusions.- 7. Space Frogs and Henry Ford.- Linguistic Evidence for Contextualization.- The Semantic Contributions of Space Cues.- Summary.- 8. Temporal Aspect.- Reference Time: Temporal Perspective.- Semantics and Construction.- Reference Time: Contextualization.- The Case of the Present Perfect.- Conclusion.- 9. General Conclusions.- An Assessment of Partitioned Representations.- Prospectus.- The Importance of Partitioned Representations.- Appendices: Formal Models.- 10. A Logic of Partitioned Representations.- The Syntax of PR.- Rules of Inference for PR.- The Semantics of PR.- Soundness.- Conclusions.- 11. Generalized Natural Deduction.- Generalized Natural Deduction.- Time and Action.- Frames.- Summary and Conclusions.- 12. A Computational Model.- The Design of Spaceprobe.- Customizing Digestion.- Restructuring Rules for Distribution.- Handling Queries.- Language Understanding in Spaceprobe.- Summary.- References.- Author Index.

This open access book introduces a general framework that allows natural language researchers to enhance existing competence theories with fully specified performance and processing components. Gradually developing increasingly complex and cognitively realistic competence-performance models, it provides running code for these models and shows how to fit them to real-time experimental data. This computational cognitive modeling approach opens up exciting new directions for research in formal semantics, and linguistics more generally, and offers new ways of (re)connecting semantics and the broader field of cognitive science.

In response to the need for reliable results from natural language processing, this book presents an original way of decomposing a language(s) in a microscopic manner by means of intra/inter‑language norms and divergences, going progressively from languages as systems to the linguistic, mathematical and computational models, which being based on a constructive approach are inherently traceable. Languages are described with their elements aggregating or repelling each other to form viable interrelated micro‑systems. The abstract model, which contrary to the current state of the art works in intension, is exploitable for all sorts of applications where only the elements which are useful are assembled in the micro‑systems needed to solve the problem in hand. Numerous definitions, schemata and examples involving many languages make the book accessible to students as well as academics and industrial researchers looking for new theories and methodologies for representations and problem solving wherever language and quality meet.

Preface This book is about semantics and logic. More specifically, it is about the semantics and logic of natural language; and, even more specifically than that, it is about a particular way of dealing with those subjects, known as Discourse Representation Theory, or DRT. DRT is an approach towards natural language semantics which, some thirteen years ago, arose out of attempts to deal with two distinct problems. The first of those was the semantic puzzle that had been brought to contempo rary attention by Geach's notorious "donkey sentences" - sentences like If Pedro owns some donkey, he beats it, in which the anaphoric connection we perceive between the indefinite noun phrase some donkey and the pronoun it may seem to conflict with the existential meaning of the word some. The second problem had to do with tense and aspect. Some languages, for instance French and the other Romance languages, have two morphologically distinct past tenses, a simple past (the French Passe Simple) and a continuous past (the French Imparfait). To articulate precisely what the difference between these tenses is has turned out to be surprisingly difficult.