Conceptual Modeling via Logic Programming

Abstract

The Conceptual Modeling via Logic Programming Task was to determine whether it is feasible to use conceptual models as a design aid for command and control systems, and whether these conceptual models can practically be implemented using logic programming. The major efforts included a review of conceptual modeling and logic programming, development of concepts for using conceptual modeling to aid command and control designers, development of a demonstration system, and evaluation. A Quintus Prolog-based demonstration system was built. The feasibility of using conceptual modeling implemented in logic programming was established. (KR)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1990
Accession Number
ADA219785

Entities

People

  • Bill Noah
  • John Burge
  • Les Smith

Tags

Communities of Interest

  • C4I
  • Cyber
  • Sensors
  • Weapons Technologies

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Command And Control
  • Command And Control Systems
  • Computational Science
  • Computer Programming
  • Computer Programs
  • Computers
  • Control Systems
  • Detection
  • Directed Energy Weapons
  • Lisp Programming Language
  • Operating Systems
  • Programming Languages
  • Psychology
  • Software Development
  • Spreadsheet Software
  • Weapon Control

Readers

  • Artificial Intelligence
  • Software Engineering

Technology Areas

  • Fully Networked C3
  • Fully Networked C3 - Command and Control