Northeast Artificial Intelligence Consortium Annual Report. 1988 Interference Techniques for Knowledge Base Maintenance Using Logic Programming Methodologies. Volume 11

Abstract

The major focus of this year's effort has been on the development of a formal mathematical basis for logic programming. This report highlights four primary areas of on-going investigation into this research: 1) stratified knowledge bases, 2) the equivalence of non-classical logic programs, 3) multi- valued logic and logic programming, and 4) the topological aspects of logic programs. In addition, the MetaProlog (an extension of Prolog 1) and meta-logic programming are discussed. (aw)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1989
Accession Number
ADA218008

Entities

People

  • Kenneth A. Bowen

Organizations

  • Syracuse University

Tags

Communities of Interest

  • Biomedical
  • C4I

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Artificial Intelligence
  • Boolean Algebra
  • Computer Languages
  • Computer Programming
  • Computer Science
  • Computers
  • Expert Systems
  • High Level Languages
  • Language
  • Maintenance
  • Natural Languages
  • Programming Languages
  • Software Development
  • Theoretical Computer Science
  • Topology

Fields of Study

  • Engineering

Readers

  • Computational Linguistics
  • Defense Acquisition Program Management
  • Geospatial Intelligence and Artificial Intelligence Analytics

Technology Areas

  • AI & ML