A Measurement-Free Approach to Conditioning.

Abstract

In an earlier paper, a new theory of measure-free conditional objects was presented. In this paper, emphasis is placed upon the motivation of the theory. The central part of this motivation is established through an example involving a knowledge-based system. In order to evaluate combination of evidence for this system, using observed data, auxiliary attribute and diagnosis variables, and inference rules connecting them, one must first choose an appropriate algebraic logic description pair (ALDP): a formal language or syntax followed by a compatible logic or semantic evaluation (or model). Three common choices- for this highly non-unique choice - are briefly discussed, the logics being Classical Logic, Fuzzy Logic, and Probability Logic. In all three, the key operator representing implication for the inference rules is interpreted as the often-used disjunction of a negation for any events a,b.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1987
Accession Number
ADA191909

Entities

People

  • I. R. Goodman

Tags

Communities of Interest

  • C4I
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Boolean Algebra
  • Calculus
  • Classification
  • Computations
  • Computer Languages
  • Data Fusion
  • Formal Languages
  • Identification
  • Information Processing
  • Knowledge Based Systems
  • Language
  • Logic
  • Natural Languages
  • Security
  • Test And Evaluation
  • Web Browsers

Readers

  • Computer Engineering
  • Theoretical Analysis.

Technology Areas

  • AI & ML
  • AI & ML - Bayesian Inference
  • AI & ML - Machine Translation