Accession Number : ADA185600

Title :   Logic Programming and Knowledge Base Maintenance.

Descriptive Note : Final rept. 1 Sep 82-30 Sep 86,

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

Personal Author(s) : Bowen, Kenneth A

PDF Url : ADA185600

Report Date : 30 Sep 1986

Pagination or Media Count : 152

Abstract : The maintenance of large volatile knowledge bases is the focus of this project. The viewpoint from which the study is being conducted is that of certain extensions of current logic programming systems, primarily the so-called metalanguage systems in which a logic programming language is amalgamated with a portion of its metalanguage. Major thrusts of the work include (1) study of the extent to which such representation mechanisms as frames and semantic nets can be logically treated (thus yielding a measure of independence of representation for the rest of the work), and (2) the use of the metalanguage facilities for the maintenance of consistency and integrity under change and other questions of analysis of the knowledge base. Computer-based systems to aid human intelligence analysts are instances of a generic class of systems known as tracking systems. Such systems minimally consist of knowledge base in which records representing the analyst's concerns are stored. A useful organization of such knowledge bases distinguishes between events and event-lines. Events are relatively discrete in time, such as signal reports or activity reports, while event-lines are extended, continuous sequences of events. Events may be thought of as discrete points, plotted on some event-line. One maybe also impose a hierarchical structure among event-lines with individual event-lines constituting components of some higher-level event line. Keywords: Metaprolog; Programming language.

Descriptors :   *COMPUTER PROGRAMMING, *DATA BASES, *SYSTEMS MANAGEMENT, ANALYSTS, COMPUTER APPLICATIONS, COMPUTER PROGRAMMING, CONSISTENCY, DISCRETE DISTRIBUTION, FRAMES, HUMANS, INTELLIGENCE, LOGIC, MAINTENANCE, MILITARY FACILITIES, NETS, PROGRAMMING LANGUAGES, SEMANTICS, SIGNALS, THRUST, TRACKING, HIGH LEVEL LANGUAGES, COMPUTER LOGIC

Subject Categories : Computer Programming and Software
      Computer Systems

Distribution Statement : APPROVED FOR PUBLIC RELEASE