Northeast Artificial Intelligence Consortium (NAIC). Volume 15. Strategies forCoupling Symbolic and Numerical Computation in Knowledge Base Systems

摘要

The Northeast Artificial Intelligence Consortium (NAIC) was created by the AirForce 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 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 coupling symbolic and numerical computation as an effective means of solving problems in Knowledge Base Systems.