Accession Number : ADA137062

Title :   Logic Programming and Knowledge Base Maintenance.

Descriptive Note : Annual rept. 1 Sep 82-31 Aug 83,

Corporate Author : SYRACUSE UNIV NY SCHOOL OF COMPUTER AND INFORMATION SCIENCE

Personal Author(s) : Bowen,K A

PDF Url : ADA137062

Report Date : Nov 1983

Pagination or Media Count : 7

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)

Descriptors :   *Artificial intelligence, *Computer programming, *Computer logic, Logic circuits, Information processing, Input output processing, Systems analysis, Systems engineering, Data management, Frames

Subject Categories : Computer Programming and Software
      Bionics

Distribution Statement : APPROVED FOR PUBLIC RELEASE