Proceedings AAAI-86 Fifth National Conference on Artificial Intelligence, August 11-15, 1986, Philadelphia, Pa: Engineering |
Contents
President | 720 |
A LogicalForm and KnowledgeBase Design for Natural | 730 |
Volume 1 | 741 |
Copyright | |
38 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 integration 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 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 variable wafer