Accession Number:

ADA244564

Title:

Inference and Decision Mechanisms in Artificial Intelligence

Descriptive Note:

Final rept. 1988-1991

Corporate Author:

DUKE UNIV DURHAM NC DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1991-09-01

Pagination or Media Count:

18.0

Abstract:

This grant impacted several projects undertaken by investigators. The METEOR theorem proving project focused on a parallel implementation of the Model Elimination proof procedure, but discovered that the sequential version is also very powerful. The Near-Horn Prolog addresses disjunctive logic programming, which extends Horn clause logic Prolog by allowing clauses with multiple positive literals. The lambdaProlog project investigates foundational and implementation related aspects of a Prolog extension that incorporates higher-order logic terms and new search primitives into the Horn clause logic framework. The resulting language has been shown to be useful for prototyping new inference-oriented software. The final project is really several projects in learning foundational, utilizing connectionism, and learning real-time programs.

Subject Categories:

  • Computer Systems
  • Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE