Progress in Artificial IntelligenceLuc Steels, J. A. Campbell |
Contents
List of Contributors | 9 |
PROBLEMSOLVING AND LEARNING | 16 |
NAIVE ALGORITHM DESIGN TECHNIQUES A CASE STUDY | 40 |
Copyright | |
13 other sections not shown
Other editions - View all
Common terms and phrases
abstract abstract data types algebra algorithm analogical application Artificial Intelligence assertions basic Cognitive column-sum combinatorial explosion complex components Computer Architecture Computer Science concept cons pair constraint constraint-value contains convex hull corresponding database defined described descriptors digit domain emotion environment equivalent-to evaluation evidence degree example expert systems expressed first-arg formal Functional Programming Languages given goal Horn clause implementation inference input instantiation interaction interpretation knowledge learning LISP LISP Machine Logic Programming mechanism memory metaphor move node object operators part-of path pattern Peniscola possible predicate predicate logic problem procedural Proceedings production programming language Prolog properties query reasoning recursive relations representation represented result rules SAGE schema second-arg segment selector semantic solution solving specific structures sub-structures symbolic task theory tion unification University University of Edinburgh variables variants verb verbgraph