In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The contributing authors represent leading experts in this relatively new field, each of whom was invited to write a chapter based on talks given at seminars held at the Schloss Dagstuhl Leibniz Center for Inf...

From a leading computer scientist, a unifying theory that will revolutionize our understanding of how life evolves and learns.How does life prosper in a complex and erratic world? While we know that nature follows patterns -- such as the law of gravity -- our everyday lives are beyond what known science can predict. We nevertheless muddle through even in the absence of theories of how to act. But how do we do it?In Probably Approximately Correct, c...

The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can profit from the recent advances that have been developed for artificial intelligence. The book draws upon related developments in various fields from philosophy to psychology and law. It pays special attention to the integration of logic with decision theory, and the use of logic to improve the clarity and coherence of communication...

Bayesian Networks: An Introduction provides a self-contained introduction to the theory and applications of Bayesian networks, a topic of interest and importance for statisticians, computer scientists and those involved in modelling complex data sets. The material has been extensively tested in classroom teaching and assumes a basic knowledge of probability, statistics and mathematics. All notions are carefully explained and feature exercises throughout.Features include:

Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized by an unusual breadth of coverage and the inclusion of advanced topics not to be found elsewhere in the literature at this level. The text includes...

Jung's Personality Theory Quantified fills an urgent need for professionals using the Myers-Briggs Type Indicator® (MBTI) to map it on to the cognitive modes of Jung’s personality theory, avoiding potential logical errors in the traditional “type dynamics” method. It furthers Jung’s original concepts while placing them on a solid axiomatic basis not possessed by other personality theories. Bringing these quantitative findings to the millions of MBTI users – managers, consultants, counsello...

This book presents the author's research on automatic learning procedures for categorial grammars of natural languages. The research program spans a number of intertwined disciplines, including syntax, semantics, learnability theory, logic, and computer science. The theoretical framework employed is an extension of categorial grammar that has come to be called multimodal or type-logical grammar. The first part of the book presents an expository summary of how grammatical sentences of any l...

Human language seems to have arisen roughly within the last 50-100,000 years. In evolutionary terms, this is the mere blink of an eye. If this is correct, then much of what we consider distinctive to language must in fact involve operations available in pre-linguistic cognitive domains. In this book Norbert Hornstein, one of the most influential linguists working on syntax, discusses a topical set of issues in syntactic theory, including a number of original proposals at the cutting edge o...

This volume on the semantic complexity of natural language explores the question why some sentences are more difficult than others. While doing so, it lays the groundwork for extending semantic theory with computational and cognitive aspects by combining linguistics and logic with computations and cognition.Quantifier expressions occur whenever we describe the world and communicate about it. Generalized quantifier theory is therefore one of the basic tools of linguistics today, stu...

Parameters of linguistic variation were originally conceived, within the chomskyan Principles and Parameters Theory, as UG-determined options that were associated with grammatical principles and had a rich deductive structure. This characterization of parametric differences among languages has changed significantly over the years, especially so with the advent of Minimalism. This book collects a representative sample of current generative research on the status, origin and size of paramete...

This collection of essays, written between 1980 and 2001, places the search for theoretical elegance at centre stage. The author shows that although the conceptual difference between 'elegance' and the minimalist search for 'perfection' may appear to be subtle, its consequences are in fact wide ranging and radical. These considerations lead to a markedly different and novel theory of syntax where most of the major features of minimalism, such as derivation, economy, merge, move, phrases an...

This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the framework for combining and comparing language features. The broad range of concepts includes fun...