Author : Henry Ely Kyburg
Publisher : Cambridge University Press
Page : 318 pages
File Size : 47,55 MB
Release : 2001-08-06
Category : Computers
ISBN : 9780521001014
This book presents a clear exposition of the approaches to the problem of uncertain inference.
Author : Ben Goertzel
Publisher : Springer Science & Business Media
Page : 267 pages
File Size : 13,12 MB
Release : 2011-12-02
Category : Computers
ISBN : 9491216112
The general problem addressed in this book is a large and important one: how to usefully deal with huge storehouses of complex information about real-world situations. Every one of the major modes of interacting with such storehouses – querying, data mining, data analysis – is addressed by current technologies only in very limited and unsatisfactory ways. The impact of a solution to this problem would be huge and pervasive, as the domains of human pursuit to which such storehouses are acutely relevant is numerous and rapidly growing. Finally, we give a more detailed treatment of one potential solution with this class, based on our prior work with the Probabilistic Logic Networks (PLN) formalism. We show how PLN can be used to carry out realworld reasoning, by means of a number of practical examples of reasoning regarding human activities inreal-world situations.
Author : Michel Grabisch
Publisher : Springer Science & Business Media
Page : 354 pages
File Size : 34,76 MB
Release : 2013-04-17
Category : Business & Economics
ISBN : 9401584494
With the vision that machines can be rendered smarter, we have witnessed for more than a decade tremendous engineering efforts to implement intelligent sys tems. These attempts involve emulating human reasoning, and researchers have tried to model such reasoning from various points of view. But we know precious little about human reasoning processes, learning mechanisms and the like, and in particular about reasoning with limited, imprecise knowledge. In a sense, intelligent systems are machines which use the most general form of human knowledge together with human reasoning capability to reach decisions. Thus the general problem of reasoning with knowledge is the core of design methodology. The attempt to use human knowledge in its most natural sense, that is, through linguistic descriptions, is novel and controversial. The novelty lies in the recognition of a new type of un certainty, namely fuzziness in natural language, and the controversality lies in the mathematical modeling process. As R. Bellman [7] once said, decision making under uncertainty is one of the attributes of human intelligence. When uncertainty is understood as the impossi bility to predict occurrences of events, the context is familiar to statisticians. As such, efforts to use probability theory as an essential tool for building intelligent systems have been pursued (Pearl [203], Neapolitan [182)). The methodology seems alright if the uncertain knowledge in a given problem can be modeled as probability measures.
Author : Ben Goertzel
Publisher : Springer Science & Business Media
Page : 331 pages
File Size : 48,22 MB
Release : 2008-12-16
Category : Computers
ISBN : 0387768726
Abstract In this chapter we provide an overview of probabilistic logic networks (PLN), including our motivations for developing PLN and the guiding principles underlying PLN. We discuss foundational choices we made, introduce PLN knowledge representation, and briefly introduce inference rules and truth-values. We also place PLN in context with other approaches to uncertain inference. 1.1 Motivations This book presents Probabilistic Logic Networks (PLN), a systematic and pragmatic framework for computationally carrying out uncertain reasoning – r- soning about uncertain data, and/or reasoning involving uncertain conclusions. We begin with a few comments about why we believe this is such an interesting and important domain of investigation. First of all, we hold to a philosophical perspective in which “reasoning” – properly understood – plays a central role in cognitive activity. We realize that other perspectives exist; in particular, logical reasoning is sometimes construed as a special kind of cognition that humans carry out only occasionally, as a deviation from their usual (intuitive, emotional, pragmatic, sensorimotor, etc.) modes of thought. However, we consider this alternative view to be valid only according to a very limited definition of “logic.” Construed properly, we suggest, logical reasoning may be understood as the basic framework underlying all forms of cognition, including those conventionally thought of as illogical and irrational.
Author : Baoding Liu
Publisher : Springer
Page : 350 pages
File Size : 28,36 MB
Release : 2010-07-16
Category : Technology & Engineering
ISBN : 3642139590
Uncertainty theory is a branch of mathematics based on normality, monotonicity, self-duality, countable subadditivity, and product measure axioms. Uncertainty is any concept that satisfies the axioms of uncertainty theory. Thus uncertainty is neither randomness nor fuzziness. It is also known from some surveys that a lot of phenomena do behave like uncertainty. How do we model uncertainty? How do we use uncertainty theory? In order to answer these questions, this book provides a self-contained, comprehensive and up-to-date presentation of uncertainty theory, including uncertain programming, uncertain risk analysis, uncertain reliability analysis, uncertain process, uncertain calculus, uncertain differential equation, uncertain logic, uncertain entailment, and uncertain inference. Mathematicians, researchers, engineers, designers, and students in the field of mathematics, information science, operations research, system science, industrial engineering, computer science, artificial intelligence, finance, control, and management science will find this work a stimulating and useful reference.
Author : Joseph Y. Halpern
Publisher : MIT Press
Page : 505 pages
File Size : 38,4 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 : Baoding Liu
Publisher : Springer Science & Business Media
Page : 350 pages
File Size : 21,2 MB
Release : 2011-11-07
Category : Computers
ISBN : 3642139582
Uncertainty theory is a branch of mathematics based on normality, monotonicity, self-duality, countable subadditivity, and product measure axioms. Uncertainty is any concept that satisfies the axioms of uncertainty theory. Thus uncertainty is neither randomness nor fuzziness. It is also known from some surveys that a lot of phenomena do behave like uncertainty. How do we model uncertainty? How do we use uncertainty theory? In order to answer these questions, this book provides a self-contained, comprehensive and up-to-date presentation of uncertainty theory, including uncertain programming, uncertain risk analysis, uncertain reliability analysis, uncertain process, uncertain calculus, uncertain differential equation, uncertain logic, uncertain entailment, and uncertain inference. Mathematicians, researchers, engineers, designers, and students in the field of mathematics, information science, operations research, system science, industrial engineering, computer science, artificial intelligence, finance, control, and management science will find this work a stimulating and useful reference.
Author :
Publisher : IOS Press
Page : 4947 pages
File Size : 20,17 MB
Release :
Category :
ISBN :
Author : David J. C. MacKay
Publisher : Cambridge University Press
Page : 694 pages
File Size : 17,1 MB
Release : 2003-09-25
Category : Computers
ISBN : 9780521642989
Information theory and inference, taught together in this exciting textbook, lie at the heart of many important areas of modern technology - communication, signal processing, data mining, machine learning, pattern recognition, computational neuroscience, bioinformatics and cryptography. The book introduces theory in tandem with applications. Information theory is taught alongside practical communication systems such as arithmetic coding for data compression and sparse-graph codes for error-correction. Inference techniques, including message-passing algorithms, Monte Carlo methods and variational approximations, are developed alongside applications to clustering, convolutional codes, independent component analysis, and neural networks. Uniquely, the book covers state-of-the-art error-correcting codes, including low-density-parity-check codes, turbo codes, and digital fountain codes - the twenty-first-century standards for satellite communications, disk drives, and data broadcast. Richly illustrated, filled with worked examples and over 400 exercises, some with detailed solutions, the book is ideal for self-learning, and for undergraduate or graduate courses. It also provides an unparalleled entry point for professionals in areas as diverse as computational biology, financial engineering and machine learning.
Author : Gary King
Publisher : Princeton University Press
Page : 366 pages
File Size : 35,12 MB
Release : 2013-09-20
Category : Political Science
ISBN : 1400849209
This book provides a solution to the ecological inference problem, which has plagued users of statistical methods for over seventy-five years: How can researchers reliably infer individual-level behavior from aggregate (ecological) data? In political science, this question arises when individual-level surveys are unavailable (for instance, local or comparative electoral politics), unreliable (racial politics), insufficient (political geography), or infeasible (political history). This ecological inference problem also confronts researchers in numerous areas of major significance in public policy, and other academic disciplines, ranging from epidemiology and marketing to sociology and quantitative history. Although many have attempted to make such cross-level inferences, scholars agree that all existing methods yield very inaccurate conclusions about the world. In this volume, Gary King lays out a unique--and reliable--solution to this venerable problem. King begins with a qualitative overview, readable even by those without a statistical background. He then unifies the apparently diverse findings in the methodological literature, so that only one aggregation problem remains to be solved. He then presents his solution, as well as empirical evaluations of the solution that include over 16,000 comparisons of his estimates from real aggregate data to the known individual-level answer. The method works in practice. King's solution to the ecological inference problem will enable empirical researchers to investigate substantive questions that have heretofore proved unanswerable, and move forward fields of inquiry in which progress has been stifled by this problem.
