Inference and Decision Mechanisms in Artificial Intelligence

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1991
Accession Number
ADA244564

Entities

People

  • A. W. Biermann
  • D. W. Loveland

Organizations

  • Duke University

Tags

Communities of Interest

  • Human Systems

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Artificial Intelligence Computing
  • Computer Languages
  • Computer Programming
  • Computer Science
  • Computers
  • Elimination
  • Inference Engines
  • Language
  • Learning
  • Learning Machines
  • Neural Networks
  • Programming Languages
  • Students
  • Theses
  • Trees (Data Structures)

Readers

  • Computational Linguistics
  • Neural Network Machine Learning.
  • Software Engineering.

Technology Areas

  • AI & ML
  • AI & ML - Machine Learning Algorithms