Accession Number:

ADA234889

Title:

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

Descriptive Note:

Final rept. Sep 1984-Dec 1989

Corporate Author:

NORTHEAST ARTIFICIAL INTELLIGENCE CONSORTIUM SYRACUSE NY

Personal Author(s):

Report Date:

1990-12-01

Pagination or Media Count:

23.0

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.

Subject Categories:

  • Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE