Inferential Processor.

Abstract

Results are presented concerning the design and application of an inferential processor, a digital machine organized to process logical data at high rates of speed. When coupled to a general-purpose computer the inferential processor would enable reasoning tasks to be carried out rapidly and with little programming effort. Specific research-efforts discussed in this report are (a) mechanized inference in Boolean systems, (b) functional deduction, and (c) inferential analysis of relational databases. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1982
Accession Number
ADA111550

Entities

People

  • Donald K. Taylor
  • Frank M. Brown

Organizations

  • University of Kentucky

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Air Force
  • Algorithms
  • Artificial Intelligence
  • Boolean Algebra
  • Computational Science
  • Computer Programming
  • Computers
  • Databases
  • Electrical Engineering
  • Engineering
  • Information Science
  • Language
  • Mathematical Analysis
  • Programming Languages
  • Relational Database Management Systems
  • Relational Databases
  • Two Dimensional

Fields of Study

  • Computer science

Readers

  • Computer Programming and Software Development.
  • Database Systems and Applications
  • Regression Analysis.

Technology Areas

  • AI & ML