Ice Deductive Processor and Its Interface with the REL System.

Abstract

The ICE (Inferential Construction of Evidence) deductive processor is a prototype system for realizing plausible deductive inference in an on-line environment consisting of large quantities of both general information (inference rules or premises) and concrete data (specific facts). It facilitates data analysis by deriving implicit information from collections of data base values under user control. The ICE processor is described as is its interface with the REL system. A number of examples in the form of computer printouts are used to illustrate the operation of the current REL/ICE prototype.

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1976
Accession Number
ADA033931

Entities

People

  • Charles Kellogg
  • Philip Klahr

Organizations

  • System Development Corporation

Tags

DTIC Thesaurus Topics

  • Computers
  • Concrete
  • Construction
  • Construction Materials
  • Data Analysis
  • Databases
  • Environment
  • Masonry
  • Prototypes

Readers

  • Artificial Intelligence
  • Computer Science.

Technology Areas

  • AI & ML