Author: Ronald Fagin
Publisher: MIT Press
ISBN: 9780262562003
Category : Business & Economics
Languages : en
Pages : 576
Book Description
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.
Reasoning About Knowledge
Author: Ronald Fagin
Publisher: MIT Press
ISBN: 9780262562003
Category : Business & Economics
Languages : en
Pages : 576
Book Description
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.
Publisher: MIT Press
ISBN: 9780262562003
Category : Business & Economics
Languages : en
Pages : 576
Book Description
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.
Rough Sets
Author: Z. Pawlak
Publisher: Springer Science & Business Media
ISBN: 9401135347
Category : Computers
Languages : en
Pages : 247
Book Description
To-date computers are supposed to store and exploit knowledge. At least that is one of the aims of research fields such as Artificial Intelligence and Information Systems. However, the problem is to understand what knowledge means, to find ways of representing knowledge, and to specify automated machineries that can extract useful information from stored knowledge. Knowledge is something people have in their mind, and which they can express through natural language. Knowl edge is acquired not only from books, but also from observations made during experiments; in other words, from data. Changing data into knowledge is not a straightforward task. A set of data is generally disorganized, contains useless details, although it can be incomplete. Knowledge is just the opposite: organized (e.g. laying bare dependencies, or classifications), but expressed by means of a poorer language, i.e. pervaded by imprecision or even vagueness, and assuming a level of granularity. One may say that knowledge is summarized and organized data - at least the kind of knowledge that computers can store.
Publisher: Springer Science & Business Media
ISBN: 9401135347
Category : Computers
Languages : en
Pages : 247
Book Description
To-date computers are supposed to store and exploit knowledge. At least that is one of the aims of research fields such as Artificial Intelligence and Information Systems. However, the problem is to understand what knowledge means, to find ways of representing knowledge, and to specify automated machineries that can extract useful information from stored knowledge. Knowledge is something people have in their mind, and which they can express through natural language. Knowl edge is acquired not only from books, but also from observations made during experiments; in other words, from data. Changing data into knowledge is not a straightforward task. A set of data is generally disorganized, contains useless details, although it can be incomplete. Knowledge is just the opposite: organized (e.g. laying bare dependencies, or classifications), but expressed by means of a poorer language, i.e. pervaded by imprecision or even vagueness, and assuming a level of granularity. One may say that knowledge is summarized and organized data - at least the kind of knowledge that computers can store.
Knowledge Representation and Reasoning
Author: Ronald Brachman
Publisher: Morgan Kaufmann
ISBN: 1558609326
Category : Computers
Languages : en
Pages : 414
Book Description
Knowledge representation is at the very core of a radical idea for understanding intelligence. This book talks about the central concepts of knowledge representation developed over the years. It is suitable for researchers and practitioners in database management, information retrieval, object-oriented systems and artificial intelligence.
Publisher: Morgan Kaufmann
ISBN: 1558609326
Category : Computers
Languages : en
Pages : 414
Book Description
Knowledge representation is at the very core of a radical idea for understanding intelligence. This book talks about the central concepts of knowledge representation developed over the years. It is suitable for researchers and practitioners in database management, information retrieval, object-oriented systems and artificial intelligence.
Knowledge Representation, Reasoning and Declarative Problem Solving
Author: Chitta Baral
Publisher: Cambridge University Press
ISBN: 1139436449
Category : Computers
Languages : en
Pages : 546
Book Description
Baral shows how to write programs that behave intelligently, by giving them the ability to express knowledge and to reason. This book will appeal to practising and would-be knowledge engineers wishing to learn more about the subject in courses or through self-teaching.
Publisher: Cambridge University Press
ISBN: 1139436449
Category : Computers
Languages : en
Pages : 546
Book Description
Baral shows how to write programs that behave intelligently, by giving them the ability to express knowledge and to reason. This book will appeal to practising and would-be knowledge engineers wishing to learn more about the subject in courses or through self-teaching.
Reasoning about Uncertainty, second edition
Author: Joseph Y. Halpern
Publisher: MIT Press
ISBN: 0262533804
Category : Computers
Languages : en
Pages : 505
Book Description
Formal ways of representing uncertainty and various logics for reasoning about it; updated with new material on weighted probability measures, complexity-theoretic considerations, and other topics. In order to deal with uncertainty intelligently, we need to be able to represent it and reason about it. In this book, Joseph Halpern examines formal ways of representing uncertainty and considers various logics for reasoning about it. While the ideas presented are formalized in terms of definitions and theorems, the emphasis is on the philosophy of representing and reasoning about uncertainty. Halpern surveys possible formal systems for representing uncertainty, including probability measures, possibility measures, and plausibility measures; considers the updating of beliefs based on changing information and the relation to Bayes' theorem; and discusses qualitative, quantitative, and plausibilistic Bayesian networks. This second edition has been updated to reflect Halpern's recent research. New material includes a consideration of weighted probability measures and how they can be used in decision making; analyses of the Doomsday argument and the Sleeping Beauty problem; modeling games with imperfect recall using the runs-and-systems approach; a discussion of complexity-theoretic considerations; the application of first-order conditional logic to security. Reasoning about Uncertainty is accessible and relevant to researchers and students in many fields, including computer science, artificial intelligence, economics (particularly game theory), mathematics, philosophy, and statistics.
Publisher: MIT Press
ISBN: 0262533804
Category : Computers
Languages : en
Pages : 505
Book Description
Formal ways of representing uncertainty and various logics for reasoning about it; updated with new material on weighted probability measures, complexity-theoretic considerations, and other topics. In order to deal with uncertainty intelligently, we need to be able to represent it and reason about it. In this book, Joseph Halpern examines formal ways of representing uncertainty and considers various logics for reasoning about it. While the ideas presented are formalized in terms of definitions and theorems, the emphasis is on the philosophy of representing and reasoning about uncertainty. Halpern surveys possible formal systems for representing uncertainty, including probability measures, possibility measures, and plausibility measures; considers the updating of beliefs based on changing information and the relation to Bayes' theorem; and discusses qualitative, quantitative, and plausibilistic Bayesian networks. This second edition has been updated to reflect Halpern's recent research. New material includes a consideration of weighted probability measures and how they can be used in decision making; analyses of the Doomsday argument and the Sleeping Beauty problem; modeling games with imperfect recall using the runs-and-systems approach; a discussion of complexity-theoretic considerations; the application of first-order conditional logic to security. Reasoning about Uncertainty is accessible and relevant to researchers and students in many fields, including computer science, artificial intelligence, economics (particularly game theory), mathematics, philosophy, and statistics.
Collected Papers
Author: Robert J. Aumann
Publisher: MIT Press
ISBN: 9780262011556
Category : Business & Economics
Languages : en
Pages : 818
Book Description
Robert Aumann's career in game theory has spanned over research - from his doctoral dissertation in 1956 to papers as recent as January 1995. Threaded through all of Aumann's work (symbolized in his thesis on knots) is the study of relationships between different ideas, between different phenomena, and between ideas and phenomena. "When you look closely at one scientific idea", writes Aumann, "you find it hitched to all others. It is these hitches that I have tried to study". The papers are organized in several categories: general, knot theory, decision theory (utility and subjective probability), strategic games, coalitional games, and mathematical methods. Aumann has written an introduction to each of these groups that briefly describes the content and background of each paper, including the motivation and the research process, and relates it to other work in the collection and to work by others. There is also a citation index that allows readers to trace the considerable body of literature which cites Aumann's own work.
Publisher: MIT Press
ISBN: 9780262011556
Category : Business & Economics
Languages : en
Pages : 818
Book Description
Robert Aumann's career in game theory has spanned over research - from his doctoral dissertation in 1956 to papers as recent as January 1995. Threaded through all of Aumann's work (symbolized in his thesis on knots) is the study of relationships between different ideas, between different phenomena, and between ideas and phenomena. "When you look closely at one scientific idea", writes Aumann, "you find it hitched to all others. It is these hitches that I have tried to study". The papers are organized in several categories: general, knot theory, decision theory (utility and subjective probability), strategic games, coalitional games, and mathematical methods. Aumann has written an introduction to each of these groups that briefly describes the content and background of each paper, including the motivation and the research process, and relates it to other work in the collection and to work by others. There is also a citation index that allows readers to trace the considerable body of literature which cites Aumann's own work.
Qualitative Reasoning
Author: Benjamin Kuipers
Publisher: MIT Press
ISBN: 9780262111904
Category : Computers
Languages : en
Pages : 464
Book Description
Qualitative models are better able than traditional models to express states of incomplete knowledge about continuous mechanisms. Qualitative simulation guarantees to find all possible behaviors consistent with the knowledge in the model. This expressive power and coverage is important in problem solving for diagnosis, design, monitoring, explanation, and other applications of artificial intelligence.
Publisher: MIT Press
ISBN: 9780262111904
Category : Computers
Languages : en
Pages : 464
Book Description
Qualitative models are better able than traditional models to express states of incomplete knowledge about continuous mechanisms. Qualitative simulation guarantees to find all possible behaviors consistent with the knowledge in the model. This expressive power and coverage is important in problem solving for diagnosis, design, monitoring, explanation, and other applications of artificial intelligence.
Theory and Evidence
Author: Barbara Koslowski
Publisher: MIT Press
ISBN: 9780262112093
Category : Philosophy
Languages : en
Pages : 326
Book Description
Koslowski boldly criticizes many of the currently classic studies and musters a compelling set of arguments, backed by an exhaustive set of experiments carried out during the last decade.
Publisher: MIT Press
ISBN: 9780262112093
Category : Philosophy
Languages : en
Pages : 326
Book Description
Koslowski boldly criticizes many of the currently classic studies and musters a compelling set of arguments, backed by an exhaustive set of experiments carried out during the last decade.
Knowledge Representation, Reasoning, and the Design of Intelligent Agents
Author: Michael Gelfond
Publisher: Cambridge University Press
ISBN: 1107782872
Category : Computers
Languages : en
Pages : 363
Book Description
Knowledge representation and reasoning is the foundation of artificial intelligence, declarative programming, and the design of knowledge-intensive software systems capable of performing intelligent tasks. Using logical and probabilistic formalisms based on answer set programming (ASP) and action languages, this book shows how knowledge-intensive systems can be given knowledge about the world and how it can be used to solve non-trivial computational problems. The authors maintain a balance between mathematical analysis and practical design of intelligent agents. All the concepts, such as answering queries, planning, diagnostics, and probabilistic reasoning, are illustrated by programs of ASP. The text can be used for AI-related undergraduate and graduate classes and by researchers who would like to learn more about ASP and knowledge representation.
Publisher: Cambridge University Press
ISBN: 1107782872
Category : Computers
Languages : en
Pages : 363
Book Description
Knowledge representation and reasoning is the foundation of artificial intelligence, declarative programming, and the design of knowledge-intensive software systems capable of performing intelligent tasks. Using logical and probabilistic formalisms based on answer set programming (ASP) and action languages, this book shows how knowledge-intensive systems can be given knowledge about the world and how it can be used to solve non-trivial computational problems. The authors maintain a balance between mathematical analysis and practical design of intelligent agents. All the concepts, such as answering queries, planning, diagnostics, and probabilistic reasoning, are illustrated by programs of ASP. The text can be used for AI-related undergraduate and graduate classes and by researchers who would like to learn more about ASP and knowledge representation.
Concurrency 88
Author: Friedrich H. Vogt
Publisher: Springer Science & Business Media
ISBN: 9783540504030
Category : Computers
Languages : en
Pages : 412
Book Description
This volume contains the proceedings of CONCURRENCY 88, an international conference on formal methods for distributed systems, held October 18-19, 1988 in Hamburg. CONCURRENCY 88 responded to great interest in the field of formal methods as a means of mastering the complexity of distributed systems. In addition, the impulse was determined by the fact that the various methodological approaches, such as constructive or property oriented methods, have not had an extensive comparative analysis nor have they been investigated with respect to their possible integration and their practical implications. The following topics were addressed: Specification Languages, Models for Distributed Systems, Verification and Validation, Knowledge Based Protocol Modeling, Fault Tolerance, Distributed Databases. The volume contains 12 invited papers and 14 contributions selected by the program committee. They were presented by authors from Austria, the Federal Republic of Germany, France, Israel, Italy, the Netherlands, the United Kingdom and the United States.
Publisher: Springer Science & Business Media
ISBN: 9783540504030
Category : Computers
Languages : en
Pages : 412
Book Description
This volume contains the proceedings of CONCURRENCY 88, an international conference on formal methods for distributed systems, held October 18-19, 1988 in Hamburg. CONCURRENCY 88 responded to great interest in the field of formal methods as a means of mastering the complexity of distributed systems. In addition, the impulse was determined by the fact that the various methodological approaches, such as constructive or property oriented methods, have not had an extensive comparative analysis nor have they been investigated with respect to their possible integration and their practical implications. The following topics were addressed: Specification Languages, Models for Distributed Systems, Verification and Validation, Knowledge Based Protocol Modeling, Fault Tolerance, Distributed Databases. The volume contains 12 invited papers and 14 contributions selected by the program committee. They were presented by authors from Austria, the Federal Republic of Germany, France, Israel, Italy, the Netherlands, the United Kingdom and the United States.