Author: Joseph Y. Halpern
Publisher: Morgan Kaufmann Publishers
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 424
Book Description
Theoretical Aspects of Reasoning About Knowledge.
Theoretical Aspects of Reasoning about Knowledge
Author: Joseph Y. Halpern
Publisher: Morgan Kaufmann Publishers
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 424
Book Description
Theoretical Aspects of Reasoning About Knowledge.
Publisher: Morgan Kaufmann Publishers
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 424
Book Description
Theoretical Aspects of Reasoning About Knowledge.
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.
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.
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.
Principles of Knowledge Representation and Reasoning
Author: Luigia Carlucci Aiello
Publisher: Morgan Kaufmann
ISBN:
Category : Computers
Languages : en
Pages : 696
Book Description
Publisher: Morgan Kaufmann
ISBN:
Category : Computers
Languages : en
Pages : 696
Book Description
Reliable Reasoning
Author: Gilbert Harman
Publisher: MIT Press
ISBN: 0262263157
Category : Psychology
Languages : en
Pages : 119
Book Description
The implications for philosophy and cognitive science of developments in statistical learning theory. In Reliable Reasoning, Gilbert Harman and Sanjeev Kulkarni—a philosopher and an engineer—argue that philosophy and cognitive science can benefit from statistical learning theory (SLT), the theory that lies behind recent advances in machine learning. The philosophical problem of induction, for example, is in part about the reliability of inductive reasoning, where the reliability of a method is measured by its statistically expected percentage of errors—a central topic in SLT. After discussing philosophical attempts to evade the problem of induction, Harman and Kulkarni provide an admirably clear account of the basic framework of SLT and its implications for inductive reasoning. They explain the Vapnik-Chervonenkis (VC) dimension of a set of hypotheses and distinguish two kinds of inductive reasoning. The authors discuss various topics in machine learning, including nearest-neighbor methods, neural networks, and support vector machines. Finally, they describe transductive reasoning and suggest possible new models of human reasoning suggested by developments in SLT.
Publisher: MIT Press
ISBN: 0262263157
Category : Psychology
Languages : en
Pages : 119
Book Description
The implications for philosophy and cognitive science of developments in statistical learning theory. In Reliable Reasoning, Gilbert Harman and Sanjeev Kulkarni—a philosopher and an engineer—argue that philosophy and cognitive science can benefit from statistical learning theory (SLT), the theory that lies behind recent advances in machine learning. The philosophical problem of induction, for example, is in part about the reliability of inductive reasoning, where the reliability of a method is measured by its statistically expected percentage of errors—a central topic in SLT. After discussing philosophical attempts to evade the problem of induction, Harman and Kulkarni provide an admirably clear account of the basic framework of SLT and its implications for inductive reasoning. They explain the Vapnik-Chervonenkis (VC) dimension of a set of hypotheses and distinguish two kinds of inductive reasoning. The authors discuss various topics in machine learning, including nearest-neighbor methods, neural networks, and support vector machines. Finally, they describe transductive reasoning and suggest possible new models of human reasoning suggested by developments in SLT.
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.
SCAI '97
Author: G. Grahne
Publisher: IOS Press
ISBN: 9789051993547
Category : Computers
Languages : en
Pages : 312
Book Description
The major theme of this book is Intelligent Agents. An agent is a hardware or software system that is autonomous, interactive with and reactive to its environment and other agents. An agent can also be pro-active in taking the initiative in goal-directed behaviour. Intelligent Agents are one of the most important and exciting areas of research and development in computer science today.
Publisher: IOS Press
ISBN: 9789051993547
Category : Computers
Languages : en
Pages : 312
Book Description
The major theme of this book is Intelligent Agents. An agent is a hardware or software system that is autonomous, interactive with and reactive to its environment and other agents. An agent can also be pro-active in taking the initiative in goal-directed behaviour. Intelligent Agents are one of the most important and exciting areas of research and development in computer science today.
Fuzziness and Approximate Reasoning
Author: K. K. Dompere
Publisher: Springer Science & Business Media
ISBN: 3540880860
Category : Computers
Languages : en
Pages : 311
Book Description
This monograph is special in its orientation and contribution to current state of our understanding of decision-choice process and knowledge production. Its special orientation is to bring to the scientific community the discussions on the epistemic structure of the relationships among uncertainty, expectations, risk, possibility, probability and how the rules of fuzzy paradigm and the methods of fuzzy rationality bring new and different understanding to the relationships. At the level of theory of knowledge, it presents the structure and epistemic analysis of uncertainty, expectations and risk in decision-choice actions through the characteristics of substitution-transformation and input-output processes in categorial dynamics of actual-potential duality. The interactive effects of rationality and expectation are examined around belief, prospect, time and conditions of belief justification where the relationship between possibility and probability as a sequential link between potential and actual is analyzed to provide some understanding of the role of relative costs and benefits in defining risk in both nature and society. The concepts of possibilistic and probabilistic beliefs are explicated in relation to rationality and the decision-choice process where the analytical relationship between uncertainty and expectation formation is presented leading to the introduction of two types of uncertainty composed of fuzzy uncertainty and stochastic uncertainty.
Publisher: Springer Science & Business Media
ISBN: 3540880860
Category : Computers
Languages : en
Pages : 311
Book Description
This monograph is special in its orientation and contribution to current state of our understanding of decision-choice process and knowledge production. Its special orientation is to bring to the scientific community the discussions on the epistemic structure of the relationships among uncertainty, expectations, risk, possibility, probability and how the rules of fuzzy paradigm and the methods of fuzzy rationality bring new and different understanding to the relationships. At the level of theory of knowledge, it presents the structure and epistemic analysis of uncertainty, expectations and risk in decision-choice actions through the characteristics of substitution-transformation and input-output processes in categorial dynamics of actual-potential duality. The interactive effects of rationality and expectation are examined around belief, prospect, time and conditions of belief justification where the relationship between possibility and probability as a sequential link between potential and actual is analyzed to provide some understanding of the role of relative costs and benefits in defining risk in both nature and society. The concepts of possibilistic and probabilistic beliefs are explicated in relation to rationality and the decision-choice process where the analytical relationship between uncertainty and expectation formation is presented leading to the introduction of two types of uncertainty composed of fuzzy uncertainty and stochastic uncertainty.
Author:
Publisher: IOS Press
ISBN:
Category :
Languages : en
Pages : 4947
Book Description
Publisher: IOS Press
ISBN:
Category :
Languages : en
Pages : 4947
Book Description