Constraints Logic Programming in Knowledge-Based Planning Domains

Abstract

This report describes an investigation of constraint logic programming languages and their application to knowledge-based planning systems. An overview of constraint logic programming (CLP) languages is presented with specific attention to CLP(R), a Prolog based CLP language. Two planning/ scheduling systems are presented and features identified as potential sources of CLP(R) improvements. Finally, two examples are presented.... Artificial intelligence, Knowledge-based planning, Logic programming, Constraint logic programming, Constraint satisfaction.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1992
Accession Number
ADA262958

Entities

People

  • William B. Day

Organizations

  • Calspan-University of Buffalo Research Center

Tags

Communities of Interest

  • Autonomy
  • C4I
  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Artificial Intelligence
  • Bipolar Junction Transistors
  • Circuit Analysis
  • Circuits
  • Command And Control
  • Computational Science
  • Computations
  • Computer Programming
  • Electrical Engineering
  • Engineering
  • Equations
  • Inference Engines
  • Language
  • Numerical Analysis
  • Programming Languages
  • Scheduling (Production)

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computer Engineering
  • Defense Acquisition Program Management
  • Parallel and Distributed Computing.

Technology Areas

  • AI & ML
  • AI & ML - DoD AI Strategy
  • AI & ML - Machine Learning Algorithms