Proceedings AAAI-86, Fifth National Conference on Artificial Intelligence, August 11-15, 1986, Philadelphia, PA.: Science, Volume 1Kaufmann, 1986 |
Other editions - View all
Common terms and phrases
abstraction action agent algebra algorithm analysis applied approach argument Artificial Intelligence assertions assume assumption axioms behavior belief causal circuit circumscription clause Computer Science concept consistent constraint propagation constraints database deduction default default logic defined denote described disjunctive domain evaluation example Expert Systems expression fact Figure formula function game tree given goal graph heuristic hypothesis induction inference input instance interval intuitive knowledge base knowledge representation language learning logic Machine Learning match minimal modal logic natural deduction node nonmonotonic objects occur operators OPS5 paper performance planner possible preconditions predicate problem solving procedure proof propagation properties proposition qualitative reasoning refinement relations represent representation Research result robot rule semantics sequence situation SNePS solution specific SRI International strategy structure subset temporal tetracycline theorem theory tion tree Truth Maintenance System tutors University variables