Proceedings of the ... National Conference on Artificial Intelligence, Volumes 1-2; Volume 5, Parts 1-2; Volume 8, Parts 1-2American Association for Artificial Intelligence, 1982 - Artificial intelligence |
Contents
Foreword V | 720 |
Science | 722 |
An Automatic Test Generation System for Digital | 778 |
Copyright | |
33 other sections not shown
Other editions - View all
Common terms and phrases
abstraction active algorithm analysis application approach architecture Artificial Intelligence backtracking backward chaining behavior blackboard chart parsing circuit clause complex components Computer concept Connection Machine constraints context database defined described diagnosis domain efficient environment evaluation event example expert system fault diagnosis Figure frame function goal grammar graph heuristic hierarchy hypotheses implemented inference input instantiated interface interpretation KL-ONE knowledge acquisition knowledge base knowledge engineer knowledge representation knowledge-based lehr Lisp Lisp Machine logic programming Machine match mechanism method module Multilisp MYCIN NIKL node object operations output paper parameters parsing performance possible predicate problem solving procedure processor production rules Prolog query reasoning relation represent robot rule-based rules search space selection semantics semiconductor fabrication sequence server-unit simulator slots solution specific strategy structure task techniques tion variables wafer