Artificial Intelligence |
Common terms and phrases
ALCOVE applied arcs argument argument form AT(ROBOT atom bank to left bank to right breadth-first search BY(TABLE carry chess clause CLEAR combinatorial explosion condition depth bound depth-first search detailed disk EMPTYHANDED(ROBOT evaluation function example expanded explored game tree GO TO table goal node graph Hanoi problem heuristics HOLDS(ROBOT initial node instance leaf node left bank LISP logic machine minimax Missionaries and Cannibals move node corresponding noun phrase objects ON(BOX open nodes operator original problem partially backed-up value pattern phantom nodes player predicate predicate logic premises PRIORITY QUEUE procedure property list proposition propositional logic QUEUE represent right bank robot root search tree SET DOWN BOX SETQ shown in Fig solved square stack state-graph search step stored subgoals subproblems SUBST substituted tion Tower of Hanoi true truth table value of g value of LENGTH variables WINDOW Yes Yes