Logic Programming and Knowledge Base Maintenance.

Abstract

The work conducted this year followed the projections set forth in the grant proposal rather closely. On the theoretical side, the investigators have continued to explore questions of the logical status of some of the standard data structures involved in various artificial intelligence applications involving knowledge bases. The greatest attention has been focused on frames. Exploration of the axiomatization and representation of semantic nets by similar methods has been carried out. The nodes of the net are treated by methods similar to frames. Most of the attention here has focused on the work of Woods and Brachman and the KLONE formalism. The investigators have conducted a number of explorations with their existing experimental metaProlog simulator. This simulation was coded in Edinburgh Prolog and run on Syracuse University's DEC-10 computer. Progress in these areas is discussed in greater detail in this interim report. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1983
Accession Number
ADA137062

Entities

People

  • K. A. Bowen

Organizations

  • Syracuse University

Tags

Communities of Interest

  • Air Platforms
  • Ground and Sea Platforms

DTIC Thesaurus Topics

  • Air Force
  • Artificial Intelligence
  • Circuits
  • Classification
  • Computer Programming
  • Computers
  • Corporations
  • Databases
  • Expert Systems
  • Information Science
  • Language
  • Logic
  • Maintenance
  • Security
  • Simulations
  • Simulators
  • Trees (Data Structures)

Readers

  • Computational Linguistics
  • Technical Research and Report Writing.

Technology Areas

  • AI & ML