Proceedings AAAI-86, Fifth National Conference on Artificial Intelligence, August 11-15, 1986, Philadelphia, PA.: Science, Volume 1Kaufmann, 1986 |
Contents
A Methodology | 2 |
Some Remarks on Abnormal Birds | 8 |
13 | 153 |
Copyright | |
42 other sections not shown
Other editions - View all
Common terms and phrases
abstraction action agent algebra algorithm analysis applied approach argument Artificial Intelligence assertions assume assumption attributes axioms behavior belief causal circumscription clause complete Computer Science concept consistent constraint propagation constraints d max 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 procedure proof propagation properties proposition qualitative reasoning refinement relations represent representation Research result robot rule semantics sequence situation SNePS solution specific strategy structure subset temporal tetracycline theorem theory tion tree Truth Maintenance System tutors University variables