Northeast Artificial Intelligence Consortium (NAIC). Volume 10. Time Oriented Problem Solving

Abstract

The Northeast Artificial Intelligence Consortium (NAIC) was created by the Air Force Systems Command, Rome Air Development Center, and the Office of Scientific Research. Its purpose was to conduct pertinent research in artificial intelligence and to perform activities ancillary to this research. This report describes progress during the existence of the NAIC on the technical research tasks undertaken at the member universities. The topics covered in general are: versatile expert system for equipment maintenance, distributed AI for communications system control, automatic photointerpretation, time-oriented problem solving, speech understanding systems, knowledge base maintenance, hardware architectures for very large systems, knowledge-based reasoning and planning, and a knowledge acquisition, assistance, and explanation system. The specific topic for this volume is a model theory and axiomatization of a logic for reasoning about planning in domains of concurrent actions.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1990
Accession Number
ADA234889

Entities

People

  • James F. Allen

Tags

Communities of Interest

  • Autonomy
  • Biomedical
  • C4I

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Artificial Intelligence Computing
  • Artificial Intelligence Software
  • Causal Reasoning
  • Classification
  • Cognitive Science
  • Computer Languages
  • Computer Science
  • Computers
  • Language
  • Lisp Programming Language
  • Natural Language Processing
  • Natural Language Understanding
  • Natural Languages
  • Reasoning
  • Software Development

Readers

  • Geospatial Intelligence and Artificial Intelligence Analytics

Technology Areas

  • AI & ML
  • AI & ML - DoD AI Strategy