Logic Programming and Knowledge Maintenance.

Abstract

The focus of this work was to study large volatile knowledge bases. The research involved developing extensions to logic programming systems in the form of a metalanguage, by studying to what extent frames and semantic nets could be employed. The management of consistency and integrity under change using a metalanguage was analyzed. This research produced a rule-based deductive programming language, called metaProglog, which enhances Prolog's ability to manipulate the databases themselves and to reason about them. This was accomplished by regarding databases (or theories) as first-class objects capable of being passed as arguments. Four papers were published under this grant, including Meta-kavek programming and knowledge representation and metaProlog: A metalevel extension to Prolog. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 13, 1987
Accession Number
ADA185571

Entities

People

  • Kenneth A. Bowen

Organizations

  • Syracuse University

Tags

Communities of Interest

  • Biomedical
  • Energy and Power Technologies
  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Construction
  • Database Management Systems
  • Expert Systems
  • Formal Languages
  • Grammars
  • Language
  • Materials
  • Natural Languages
  • Operating Systems
  • Programming Languages
  • Simulators
  • Trees (Data Structures)

Readers

  • Computational Linguistics
  • Database Systems and Applications
  • Technical Research and Report Writing.