Principles and Algorithms for Causal Reasoning with Uncertainty

Abstract

This thesis examines representational issues that arise when reasoning about causes and effects given incomplete and uncertain knowledge about the domain. These issues are largely covered by the famous frame and qualification problems. This thesis shows how traditional nonmonotonic logic approaches can be modified to address these problems in a simple, domain-dependent way. this nonmonotonic approach is then generalized to manipulate statistically-founded beliefs, allowing for more consistent and fine-grained representation of causal knowledge. In addition, this thesis presents an algorithmic approach for efficient parallel computation of statistical predictions. This approach involves two heuristics, highest impact first and highest impact remaining, which control the speed of convergence and error estimation for an algorithm that iteratively refines degrees of belief. This algorithm has been implemented and tested by a program called HITEST, which runs on parallel hardware. Keywords: Knowledge representation. (KR)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 1989
Accession Number
ADA214248

Entities

People

  • Jay Weber

Organizations

  • University of Rochester

Tags

Communities of Interest

  • Autonomy
  • Biomedical
  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Accuracy
  • Artificial Intelligence
  • Birds
  • Causal Reasoning
  • Cognitive Science
  • Computational Science
  • Computer Programming
  • Computer Science
  • Computers
  • Ignition
  • Ignition Systems
  • Operating Systems
  • Parallel Computing
  • Probability
  • Random Variables
  • Reasoning
  • Statistical Inference

Readers

  • Artificial Intelligence
  • Computational Modeling and Simulation