Accession Number:

ADA218008

Title:

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

Descriptive Note:

Interim rept. Jan-Dec 1988,

Corporate Author:

SYRACUSE UNIV NY

Personal Author(s):

Report Date:

1989-10-01

Pagination or Media Count:

34.0

Abstract:

The major focus of this years 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

Subject Categories:

  • Computer Programming and Software
  • Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE