Logic Programming and Knowledge Base Maintenance.
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 30, 1986
- Accession Number
- ADA185600
Entities
People
- Kenneth A. Bowen
Organizations
- Syracuse University