Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Reasoning About Knowledge

Buy
Reasoning About Knowledge, 9780262562003 (0262562006), MIT Press, 2003

This book provides a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory, as well as reasoning about the knowledge of agents who reason about the world.

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

About the Authors

Ronald Fagin is Manager of the Foundations of Computer Research Group, Computer Science and Methodologies Department, IBM Almaden Research Center. Joseph Y. Halpern is Professor of Computer Science at Cornell University. He is the author of Reasoning about Uncertainty (MIT Press, 2003). Yoram Moses is Associate Professor in the Electrical Engineering Department at Technion-Israel Institute of Technology. Moshe Y. Vardi is Karen Ostrum George Professor in Computational Engineering and Chair of the Computer Science Department, Rice University.

(HTML tags aren't allowed.)

Solaris 9 Security (Networking)
Solaris 9 Security (Networking)
Solaris is one of the most widely used operating systems. One of the main reasons for its popularity is its enhanced security. Solaris 9 protects systems from internal and external security threats by restricting access to system data, authenticating and encrypting interactive sessions with the Solaris operating environment, and supporting protocol...
Taylor's Musculoskeletal Problems and Injuries: A Handbook
Taylor's Musculoskeletal Problems and Injuries: A Handbook
After more than a quarter century as a primary care educator, I am convinced that our graduates enter practice inadequately trained in the diagnosis and management of musculoskeletal problems and injuries. One reason for this perceived deficiency is the relatively short duration of primary care training—typically three...
Practical Oracle Database Appliance
Practical Oracle Database Appliance

Practical Oracle Database Appliance is a hands-on book taking you through the components and implementation of the Oracle Database Appliance. Learn about architecture, installation, configuration, and reconfiguration.  Install and configure the Oracle Database Appliance with confidence. Make the right choices between the various...


The Definitive Guide to Linux Network Programming (Expert's Voice)
The Definitive Guide to Linux Network Programming (Expert's Voice)

This book is…one nice and convenient package that I will keep on the shelf as a reference manual.

The Definitive Guide to Linux Network Programming offers a clear, concise treatment of creating clients and servers under the Linux operating system. This book assumes that you know C and have experience developing code on...

The SGML FAQ Book : Understanding the Foundation of HTML and XML (Electronic Publishing Series)
The SGML FAQ Book : Understanding the Foundation of HTML and XML (Electronic Publishing Series)
The SGML FAQ Book: Understanding the Foundation of HTML and XML is similar, but not quite the same kind of thing as an online FAQ or `Frequently Asked Questions' list. It addresses questions from people who already actually use SGML in some way (including HTML authors), and people who are about to use it. It deals mainly with issues...
Persons, Souls and Death: A Philosophical Investigation of an Afterlife
Persons, Souls and Death: A Philosophical Investigation of an Afterlife

Awareness of mortality is the price of intelligent consciousness. This book argues that a person is essentially an immaterial subject of conscious states who, though intimately linked by causal ties to the body, is nevertheless distinct from it. The book also examines apparently paranormal occurrences supporting the belief that some persons...

©2019 LearnIT (support@pdfchm.net) - Privacy Policy