Accession Number : ADA111550


Title :   Inferential Processor.


Descriptive Note : Final rept. 1 Apr-30 Nov 81,


Corporate Author : KENTUCKY UNIV LEXINGTON DEPT OF ELECTRICAL ENGINEERING


Personal Author(s) : Brown,Frank M ; Taylor,Donald K


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a111550.pdf


Report Date : Jan 1982


Pagination or Media Count : 135


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)


Descriptors :   *STATISTICAL INFERENCE , *MACHINE CODING , *DATA PROCESSING EQUIPMENT , COMPUTER PROGRAMS , DATA BASES , HIGH RATE , REASONING , ARTIFICIAL INTELLIGENCE , DATA RATE , BOOLEAN ALGEBRA , ASYNCHRONOUS COMPUTERS


Subject Categories : Computer Programming and Software
      Computer Hardware
      Cybernetics


Distribution Statement : APPROVED FOR PUBLIC RELEASE