Book Description
Computing Methodologies -- Artificial Intelligence.
Author : Glenn Shafer
Publisher : Morgan Kaufmann Publishers
Page : 788 pages
File Size : 35,90 MB
Release : 1990
Category : Computers
ISBN :
Computing Methodologies -- Artificial Intelligence.
Author : Joseph Y. Halpern
Publisher : MIT Press
Page : 505 pages
File Size : 45,18 MB
Release : 2017-04-07
Category : Computers
ISBN : 0262533804
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.
Author : Judea Pearl
Publisher : Elsevier
Page : 573 pages
File Size : 39,99 MB
Release : 2014-06-28
Category : Computers
ISBN : 0080514898
Probabilistic Reasoning in Intelligent Systems is a complete and accessible account of the theoretical foundations and computational methods that underlie plausible reasoning under uncertainty. The author provides a coherent explication of probability as a language for reasoning with partial belief and offers a unifying perspective on other AI approaches to uncertainty, such as the Dempster-Shafer formalism, truth maintenance systems, and nonmonotonic logic. The author distinguishes syntactic and semantic approaches to uncertainty--and offers techniques, based on belief networks, that provide a mechanism for making semantics-based systems operational. Specifically, network-propagation techniques serve as a mechanism for combining the theoretical coherence of probability theory with modern demands of reasoning-systems technology: modular declarative inputs, conceptually meaningful inferences, and parallel distributed computation. Application areas include diagnosis, forecasting, image interpretation, multi-sensor fusion, decision support systems, plan recognition, planning, speech recognition--in short, almost every task requiring that conclusions be drawn from uncertain clues and incomplete information. Probabilistic Reasoning in Intelligent Systems will be of special interest to scholars and researchers in AI, decision theory, statistics, logic, philosophy, cognitive psychology, and the management sciences. Professionals in the areas of knowledge-based systems, operations research, engineering, and statistics will find theoretical and computational tools of immediate practical use. The book can also be used as an excellent text for graduate-level courses in AI, operations research, or applied probability.
Author : Salem Benferhat
Publisher : Springer
Page : 832 pages
File Size : 31,96 MB
Release : 2003-06-30
Category : Computers
ISBN : 3540446524
This book constitutes the refereed proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2001, held in Toulouse, France in September 2001. The 68 revised full papers presented together with three invited papers were carefully reviewed and selected from over a hundred submissions. The book offers topical sections on decision theory, partially observable Markov decision processes, decision-making, coherent probabilities, Bayesian networks, learning causal networks, graphical representation of uncertainty, imprecise probabilities, belief functions, fuzzy sets and rough sets, possibility theory, merging, belief revision and preferences, inconsistency handling, default logic, logic programming, etc.
Author : Bernhard Nebel
Publisher : Morgan Kaufmann Publishers
Page : 834 pages
File Size : 15,72 MB
Release : 1992
Category : Computers
ISBN :
Stringently reviewed papers presented at the October 1992 meeting held in Cambridge, Mass., address such topics as nonmonotonic logic; taxonomic logic; specialized algorithms for temporal, spatial, and numerical reasoning; and knowledge representation issues in planning, diagnosis, and natural langu
Author : David A. Schum
Publisher : Northwestern University Press
Page : 572 pages
File Size : 49,26 MB
Release : 2001
Category : History
ISBN : 9780810118218
In this work Schum develops a general theory of evidence as it is understood and applied across a broad range of disciplines and practical undertakings. He include insights from law, philosophy, logic, probability, semiotics, artificial intelligence, psychology and history.
Author : Dov M. Gabbay
Publisher : Springer Science & Business Media
Page : 518 pages
File Size : 11,64 MB
Release : 2013-04-17
Category : Mathematics
ISBN : 9401717370
Reasoning under uncertainty is always based on a specified language or for malism, including its particular syntax and semantics, but also on its associated inference mechanism. In the present volume of the handbook the last aspect, the algorithmic aspects of uncertainty calculi are presented. Theory has suffi ciently advanced to unfold some generally applicable fundamental structures and methods. On the other hand, particular features of specific formalisms and ap proaches to uncertainty of course still influence strongly the computational meth ods to be used. Both general as well as specific methods are included in this volume. Broadly speaking, symbolic or logical approaches to uncertainty and nu merical approaches are often distinguished. Although this distinction is somewhat misleading, it is used as a means to structure the present volume. This is even to some degree reflected in the two first chapters, which treat fundamental, general methods of computation in systems designed to represent uncertainty. It has been noted early by Shenoy and Shafer, that computations in different domains have an underlying common structure. Essentially pieces of knowledge or information are to be combined together and then focused on some particular question or domain. This can be captured in an algebraic structure called valuation algebra which is described in the first chapter. Here the basic operations of combination and focus ing (marginalization) of knowledge and information is modeled abstractly subject to simple axioms.
Author : Jon Doyle
Publisher : Morgan Kaufmann
Page : 680 pages
File Size : 22,7 MB
Release : 1994
Category : Computers
ISBN :
The proceedings of KR '94 comprise 55 papers on topics including deduction an search, description logics, theories of knowledge and belief, nonmonotonic reasoning and belief revision, action and time, planning and decision-making and reasoning about the physical world, and the relations between KR
Author : Luigia Carlucci Aiello
Publisher : Morgan Kaufmann
Page : 696 pages
File Size : 26,97 MB
Release : 1996
Category : Computers
ISBN :
Author : Anthony G. Cohn
Publisher : Morgan Kaufmann
Page : 680 pages
File Size : 12,2 MB
Release : 1998
Category : Knowledge representation (Information theory)
ISBN :