|
|
Авторизация |
|
|
Поиск по указателям |
|
|
|
|
|
|
|
|
|
|
Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP |
|
|
Предметный указатель |
Triangulation rangefinder 391
Trigonometric function 81
Trigonometric function in LEIBNIZ exercise 86
True: LISP representation 25
Truth belief 240
Truth maintenance, reference on 231
Truth table 109 188
Truth value 109
TRYORIENTATION 147
TRYPIECE 147
TRY_RULE 78
TRY_RULE1 79
TRY_RULES 78
TRY_RULE_ON_LIST 79
Tuning: probabilistic inference 252
Turing's test 9
Turing, A. 10
Two-person, zero-sum game 168
TYI 39 488
TYO 39 488
Type-0 language 331
UCILISP 15
Uhr, L. 447 449
Ullman, J. 131 373
Ultrasound 387 442
UNBIND 488
Uncertain evidence 255 272
Uncertainty 239
Understanding, language 323 325
Unemployment: labor 477
Unexpected hit: learning 294
Unformed search 162
Unification 202
Unification algorithm 202
Unification as pattern matching 81
Unification LISP implementation 204
Unification, exercises on 234
Uniform-cost search 159
Uniformity predicate: region growing 420
UNIFORM_COST 159
unify 204
UNIFY, exercises on 235
UNIFY1 204
UNIFY2 222
Unit clause 215
Unit preference: resolution strategy 215
Universal quantifier 111
Universal quantifier clause form 201
Universe, Dempster — Shafer calculus 272
Universe, Herbrand's theorem 209
Universe, predicate calculus 111
Universe, PYTHAGORUS 299
Unlearning 285
Unsatisfiability: predicate calculus 210
untrace 41 489
UPDATE_CLOSED 164
UPDATE_NODE 270
UPDATE_NODES 270
UPDATE_PROB 268
Updating: probabilistic inference 252
Upper probability function 273
Utgoff, P. 317
Utility of religious belief 479
Utterance, time of 345
Valence 95
Valiant, L. 316
VALID1 192
Validity: predicate calculus 210
Valley method: thresholding 397
Value of S-expression 34
van Caneghem, M. 231
Variable in PROG 32
Variable predicate calculus 111
VARIABLEP 206 223
Variablization: learning 289
VAX computer: XCON 469
Vector space in edge detection 409
Vector, elementary 415
Vector, optical flow 443
VECTOR_ADD 359
Velocity: optical flow 443
Verb in case frame 327
Verb in semantic net 116
VERBP 66
Vere, S. 315
| Version space: learning 293
Version space: learning, exercises on 319
Version space: learning, reference on 315
Vertex-adjacent 398
Vertex: junction 444
Video digitizer 390
Vidicon 380 389
Viewer: vision 387
Viewpoint of sentence 327
Viewpoint, stereo vision 441
Virtual memory: garbage collection of 46
Vision 379
Vision as AI 379
Vision, blocks world 443
Vision, future of human 481
Vision, human 381 411 446
Vision, illusion 384 446
Vision, neurophysiology 446
Vision, parallel processing 468
Vision, stereo 440
Vision, thinking 466
Visual pathway 382
Visual thinking 379
Visual thinking, exercise on 459
Vodka 324
Voice, active or passive 327 339
Volume representation 438
Vossler, C. 447
Voting: Hough transform 419
Voxel 438
Wall, R. 374
Waltz filtering 446
Waltz, D. 449
Wang's algorithm 189
Wang's algorithm, exercises on 233
Wang, H. 189 230
Warren, D. 231
Warshall's algorithm, reference on 131
Waterman, D. 82 465 472
Wavelength 389
Weather prediction 240
Weather: Dempster's rule of combination example 274
Weber, S. 82
Webster, N. 337
Wegner, P. 47
Weight of conflict: Dempster's rule of combination 274
Weissman, C. 47 82
Weizenbaum, J. 65 82
Well-formed formula in PROVER 193
Well-formed formula, predicate calculus 111
Wff 193
Whitehead, A. 195 231
Wiener, N. 482
Wiesel, T. 382 446
Wilcox, B. 177
Wild sequence construct 63
Wilkins, D. 177
Wilks, Y. 119 342 373
Wine selection: PROLOG example 219
Wine: learning counterexample 285
Winograd, T. 131 231 373
Winston, P. 11 13 47 82 315 448
Wolfram, S. 82
Woodham, R. 449
Woods, W. 131 373
Word in lexicon 338
Workstation: LISP machine 467
Wos, L. 231
WPRED 67
WRITECHAR 489
WWORD 66
XC in PYTHAGORUS 302
XCON 3 469
Xerox 1100 workstation 467
YC in PYTHAGORUS 302
YOUME 66
YOUMEMAP 66
Zadeh, L. 276
Zero crossing filter 413
Zero-sum game 168
ZEROP 489
Zilles, S. 131
Zobrist, A. 177
Zoellner illusion 384
Zone of inconsistency: subjective-Bayesian updating 258
Zucker, S. 448 449
|
|
|
Реклама |
|
|
|