A group of pre-eminent figures offer a conspectus of the interaction of game theory, logic and episemology in the formal models of knowledge, belief, deliberation and learning.

. This major new book will be of particular interest not only to philosophers but to decision theorists, political scientists, economists, and researchers in artificial intelligence.

Theoretical Aspects of Reasoning About Knowledge contains the proceedings of the Fifth Conference on Theoretical Aspects of Reasoning About Knowledge (TARK 1994) held in Pacific Grove, California, on March 13-16, 1994. The conference provided a forum for discussing the theoretical aspects of reasoning about knowledge and tackled topics ranging from the logic of iterated belief revision and backwards forward induction to information acquisition from multi-agent resources, infinitely epistemic logic, and coherent belief revision in games. Comprised of 23 chapters, this book begins with a review of situation calculus and a solution to the frame problem, along with the use of a regression method for reasoning about the effect of actions. A novel programming language for high-level robotic control is described, along with a knowledge-based framework for belief change. Subsequent chapters deal with consistent belief reasoning in the presence of inconsistency; an epistemic logic of situations; an axiomatic approach to the logical omniscience problem; and an epistemic proof system for parallel processes. Inductive learning, knowledge asymmetries, and convention are also examined. This monograph will be of interest to both students and practitioners in the fields of artificial intelligence and computer science.

During the past two decades, a renewed interest in children's cognitive devel opment has stimulated numerous research activities that have been summarized in hundreds of books. In our view, the field of memory development provides a particularly nice example of the progress that has been made so far. Since John Flavell's landmark symposium on "What Is Memory Development the Development of?" in 1971, the question of what develops has been addressed in different ways, yielding a rather complex pattern of findings. A closer look at current research outcomes reveals that ways of describing and explaining de velopmental changes in memory performance have changed considerably during the past 20 years. That is, while individual differences in the use of cognitive strategies were conceived of as the most important predictors of individual dif ferences in memory performance in the 1970s, the crucial role of knowledge has been demonstrated in research conducted in the 1980s. More recent studies have repeatedly emphasized that neither changes in strategies nor knowledge alone is sufficient to explain general patterns of memory development: Here the claim is that strategies ahd different forms of knowledge (e. g. , world knowl edge, domain knowledge, or metacognitive knowledge) interact in rather com plex ways to achieve successful memory performance. We believe that this claim can be generalized to different fields dealing with intelligent information processing.

This book constitutes the thoroughly refereed post-proceedings of the 8th Panhellenic Conference on Informatics, PCI 2001, held in Nicosia, Cyprus in November 2001. The 31 revised full papers presented were carefully selected and improved during two months of reviewing from 104 conference papers. The papers cover the areas of databases, data mining and intelligent systems, e-learning, human computer interaction, image processing, networks and systems, software and languages, and theoretical computer science.

Isaac Levi is one of the preeminent philosophers in the areas of pragmatic rationality and epistemology. This collection of essays constitutes an important presentation of his original and influential ideas about rational choice and belief. A wide range of topics is covered, including consequentialism and sequential choice, consensus, voluntarism of belief, and the tolerance of the opinions of others. The essays elaborate on the idea that principles of rationality are norms that regulate the coherence of our beliefs and values with our rational choices. The norms impose minimal constraints on deliberation and inquiry, but they also impose demands well beyond the capacities of deliberating agents. This major collection will be eagerly sought out by a wide range of philosophers in epistemology, logic, and philosophy of science, as well as economists, decision theorists, and statisticians.

Reasoning about knowledge—particularly the knowledge of agents who reason about the world and each other's knowledge—was once the exclusive province of philosophers and puzzle solvers. More recently, this type of reasoning has been shown to play a key role in a surprising number of contexts, from understanding conversations to the analysis of distributed computer algorithms. Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory. It brings eight years of work by the authors into a cohesive framework for understanding and analyzing reasoning about knowledge that is intuitive, mathematically well founded, useful in practice, and widely applicable. The book is almost completely self-contained and should be accessible to readers in a variety of disciplines, including computer science, artificial intelligence, linguistics, philosophy, cognitive science, and game theory. Each chapter includes exercises and bibliographic notes.