|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Nilsson N.J. — Problem-Solving Methods in Artificial Intelligence |
|
|
|
| Предметный указатель |
Tower-of-Hanoi puzzle, state-space graph for 82
Tower-of-Hanoi puzzle, subproblem graph for 84
Translation of a natural language into a formal language 188—189 212
Traveling-salesman problem as example of state-space problem solving 27—28
Traveling-salesman problem, survey of 39
Trees as special case of graphs 44
Trees as state descriptions 18 see Game Search Semantic Solution
Trial-and-error search 2 10
Truth table 160
Truth-table method 161
Undecidability of predicate calculus 163
Unification 175—178
Unification set in answer extraction 192
Unification, algorithm for 177
Unifier 176
Unifier, simplest or most general (mgu) 177
Uniform cost method, algorithm for 48
Uniform cost method, description of 46—48
Uniform cost method, flow chart for 49
Uniform cost method, history of 76
Uniform cost method, modifications needed when searching graphs 51 53
Unit-preference strategy in resolution theorem proving 228
Unit-preference strategy, level bound in 228
| Unit-preference strategy, literature on 229
Universal quantifiers 162
Universal quantifiers in answer extraction 196—198
Unsatisfiable sets of wffs 164
Unsolvable nodes in AND/OR graphs 90 117
Validity of wffs 163
Values of wffs 160
Variables in predicate calculus 161—163
Variables, bound by quantifiers 162—163
Vine form of resolution proof graphs 219—220
Water-jug problem 40(2—4)
Well-formed formulas (wffs) 157
Well-formed formulas (wffs), applicability 206—209
Well-formed formulas (wffs), conjunction of 161 162
Well-formed formulas (wffs), disjunction of 162
Well-formed formulas (wffs), examples of 158
Well-formed formulas (wffs), goal 206
Well-formed formulas (wffs), matrix of 167
Well-formed formulas (wffs), prefix of 167
Well-formed formulas (wffs), satisfiability of 161
Well-formed formulas (wffs), unsatisfiable sets of 164
Well-formed formulas (wffs), validity of 163
Well-formed formulas (wffs), values of 160
|
|
|
| Реклама |
|
|
|
|
|
О проекте