Results by title

The theory of computation is used to address challenges arising in many computer science areas such as artificial intelligence, language processors, compiler writing, information and coding systems, programming language design, computer architecture and more. To grasp topics concerning this theory readers need to familiarize themselves with its computational and language models, based on concepts of discrete mathematics including sets, relations, functions, graphs and logic.

This volume is a collection covering the diverse areas of psycholinguistics, syntax, computational linguistics and phonology. Abney's paper on Chunks provides an interesting new approach to phrase structure, motivated by psycholinguist data, something that is rarely done. Berwick and Fong provide a history of computational implementations of (Chomskyan) Transformational Grammar. Cole's phonology paper, arguing from Chamorro and English stress that cyclicity is not needed in phonology, is also preceded by a one-and-a-half-page introduction on why this is relevant to computation. Coleman's contribution summarises work on computational phonology and describes the York Talk speech synthesis system. Hirschberg and Sproat's paper describes a system they have written to assign pitch accent to unrestricted text in an RT&T text-to-speech system. This is very much applied natural language processing, but their system represents a more thorough-going attempt at doing this well than has been previously attempted, and this appears to be the first write-up of this work. Johnson and Moss introduce Stratified Feature Grammar, a formal model of language, inspired by Relational Grammar but formalised by using and extending tools developed in the unification grammar community. Finally, Nakazawa extends further Tomita's work so that computer science LR parsing methods can be applied to natural language grammars, here feature-based grammars.

Subject: Linguistics; Logic; Computational Linguistics

"This is a short but excellent introduction to modal, temporal, and dynamic logic....It manages to cover, in highly readable style, the basic completeness, decidability, and expressability results in a variety of logics of the three kinds considered." -Rohit Parikh, reviewing the first edition in the Journal of Symbolic Logic. Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Golblatt sets out a basic theory of normal modal and temporal propositional logics, including issues such as completeness proofs, decidability, first-order defiability, and canonicity. The basic theory is then applied to logics of discrete, dense, and continuous time; to the temporal logic of concurrent programs involving the connectives henceforth, next , anduntil; and to the dynamic logic of regular programs. New material for the second edition extends the temporal logic of concurrency to branching time, studying a system of Computational Tree Logic that formalizes reasoning about behavior. Dynamic logic is also extended to the case of concurrency, intorducing a connective for the parallel execution of commands. A seperate section is devoted to the quantificational dynamic logic. Numerous excercises are included for use in the classroom. Robert Goldblatt is a professor of pure mathematics at the Victoria University of Wellington, New Zealand. Center for the Study of Language and Information- Lecture Notes, Number 7

Tracing war’s expansion beyond the battlefield to the concept of the human being itself
 

As military and other forms of political violence become the planetary norm, On Posthuman War traces the expansion of war beyond traditional theaters of battle. Drawing on counterinsurgency field manuals, tactical manifestos, data-driven military theory, and asymmetrical-war archives, Mike Hill delineates new “Areas of Operation” within a concept of the human being as not only a social and biological entity but also a technical one.

Delving into three human-focused disciplines newly turned against humanity, OnPosthuman War reveals how demography, anthropology, and neuroscience have intertwined since 9/11 amid the “Revolution in Military Affairs.”  Beginning with the author’s personal experience training with U.S. Marine recruits at Parris Island, Hill gleans insights from realist philosophy, the new materialism, and computational theory to show how the human being, per se, has been reconstituted from neutral citizen to unwitting combatant. As evident in the call for “bullets, beans, and data,” whatever can be parted out, counted, and reassembled can become war materiel. Hill shows how visible and invisible wars within identity, community, and cognition shift public-sphere activities, like racial identification, group organization, and even thought itself, in the direction of war. This shift has weaponized social activities against the very notion of society. 

On Posthuman War delivers insights on the latest war technologies, strategies, and tactics while engaging in questions poised to overturn the foundations of modern political thought.

This volume brings together papers from linguists, logicians, and computer scientists from thirteen countries (Armenia, Denmark, France, Georgia, Germany, Israel, Italy, Japan, Poland, Spain, Sweden, UK, and USA). This collection aims to serve as a catalyst for new interdisciplinary developments in language, logic and computation and to introduce new ideas from the expanded European academic community. Spanning a wide range of disciplines, the papers cover such topics as formal semantics of natural language, dynamic semantics, channel theory, formal syntax of natural language, formal language theory, corpus-based methods in computational linguistics, computational semantics, syntactic and semantic aspects of l-calculus, non-classical logics, and a fundamental problem in predicate logic.