|
|
Авторизация |
|
|
Поиск по указателям |
|
|
|
|
|
|
|
|
|
|
Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP |
|
|
Предметный указатель |
Semantics 328 337
Semantics of quantity 344
semicolon 31
sensing 379 381
Sensing, active 391
Sensing, CCD camera 389
Sensing, multiplexed 389
Sensing, remote 387
Sensing, tactile 387
Sensing, vidicon 389
Sentence communication 326
Sentence parsing 328
Sentence predicate calculus 209
Sentence representation with semantic net 115
Sentential form: parsing 330
Separable support function: Dempster — Shafer calculus 275
Sequence extrapolation 51
Sequent: Wang's algorithm 189
Set 487
Set of support 214
SETQ 24 488
SETQ, compared with MYSETQ and SETQ2 36
SETQ2 36
SET_DIFF 152
SET_PLACE 356
SET_PLIST 488
SET_REG 488
Shading, shape from 440
Shafer, G. 276
Shannon, C. 393
SHAPE 424
Shape characteristic 425
Shape from motion 442
Shape from shading 440 442 449
Shape from texture 440
Shaw, J. 177
Shell, expert system 465
Shortest path: search 152 162
Shortliffe, E. 276
Show 358
SHOW_ROW 356
SHRDLU: Winograd 373
shrink 65
SHRINK, exercises on 85
SHRINK, knowledge representation in 91
SIDESOK 145
SIDE_LENGTH_SQ_LIST 301
Signal processing sampling 392
Signal processing speech 328
Siklossy, L. 47
SIMD: parallel processing 468
Simmons, R. 373
Simon, H. 11 177
Simon, J.-C. 316 446
Simple evidence function 274
Simple support function 275
Simulation 464 478
Simulation in theory formation 314
Single-concept learning 295
Singleton set: Dempster — Shafer calculus 272
Skeleton 429
Skeleton, digital 431
Skeleton, reference on 449
Skepticism about AI 1
Skolem constant: clause form 201
Skolem function: clause form 201
Skolem, T. 201
Skolemization: clause form 201
Slagle, J. 11 13 82 176
Slocum, J. 374
Slot: frame 113
SLSL 301
Small talk: conversation 352
SMARTY, exercise on 134
Smith, R. 316
SMP: formula manipulation system 82
Snobol 82 83
Snow: noise 395
Sobel operator 408
Social impact 477
Software engineering 461 476
Software engineering automatic programming 477
Solid angle 388
Solid, three-dimensional 438
Solid-state CCD camera 390
Solution graph in AND-OR graph 172
Solve 220
SOLVE SQUARES 147
SOLVE1 221
Solved node in AND-OR graph 171
Sombrero operator 414
Sonic echo 391
Sorcerer's apprentice 479
Sowa, J. 373
sp 271
Space gradient 440
Space search 140
Space semantics 346
Space, three-dimensional 387
Spatial coincidence assumption 414 448
Spatial frequency 386
Spatial frequency, edge detection 414
Spatial frequency, Fourier transform 395
Spatial occupancy 439
Special form in LISP 24 36
Specialization of concept 298
Specular surface 389
SPEC_TASK_INTEREST 306
Speech 328 476
Speech act, references on 373
Speech understanding, references on 373
Speed 471 468
Sphere: solid angle 388
Spiral of recursion 28
Split 434
Split-and-merge algorithm 422
Spreading activation: semantic net 115
SQ in PYTHAGORUS 301
Sridharan, N. 472
Stack of bindings 28
Standardization of variables 200 212
Standish, T. 373
Star method: reference on learning with 315
START in STONEWLD 370
Start symbol: grammar 329
State 139
State in painted squares puzzle 142
State of nature, probabilistic inference 248 252
State representation in semantic net 119
State space in painted squares puzzle 142
State space, explicit 149
Static value in game tree 169
Statistical learning 252
Statistics compared with AI 1
Stefanelli, R. 431 449
Stefik, M. 2 177 482
stepwise refinement 44
Steradian: solid angle 388
Stereo rangefinder 391
Stereo vision 440 446
Stereogram 441 446
Stone World 355
Stone World, sample session 371
Stone, P. 317
STONEWLD 355 356
STONEWLD, exercises on 377
STONEWLD, expert system exercise 474
STONE_OR_GEM 361
STORE 401
Story: chronology 345
| Strahman, D. 277
Straight-line dominoes, exercise on 180
String: language 329
Structural approach: learning 283
Structured light: rangefinder 391
sub1 488
Subevent in script 341
Subject, sentence 327
Subjective contour 384
Subjective-Bayesian updating 252
Subjective-Bayesian updating, exercises on 279
Sublist 29
Subproblem list 196
Subproblem: AND-OR graph 171
Subsampling: polygonal approximation 432
Subservience, robot 479
Subset relation 92
subst 206
Substitution in the Logic Theory Machine 195
Substitution unification 202
Subsumption of clauses 214
Subtask in planning 167
Successors 152 160
Sufficiency 266
Sufficiency coefficient 254
Sufficiency-only rule: subjective-Bayesian updating 258
Suffix of word 328
Sum axiom 196
Sun illusion 384
Support function: Dempster — Shafer calculus 275
surface 380 387
Surface, Gaussian 412
Surface, Lambertian 440
Surface, matte 440
Surface, motion of element 443
Surface, orientation 440
Surface, patch 438
Surface, reflectivity 388
Surprise: learning 296
Syllable 328
Symbolic algebra: LEIBNIZ 70
Symbolics LISP machine 467
Symptom: malaria diagnosis 242
Syntactic scaffolding 44
Syntax 328
Systems view of AI 475
SYS_BREAK 488
SYS_PRM 488
T: LISP “true” 25
Table-lookup: curvature 411
Tactile sensing 387
Take 361
TAKE_LEGAL 361
TAKE_VERB 366
Tanimoto, S. 448 449
Task in planning 167
Task in PYTHAGORUS 298
Task, granularity 303
Taut axiom 196
Tautology 110
Tautology elimination in resolution 214
Tautology in answer extraction 216
Tautology, exercise on 233
TAXMAN 470
Taxonomy: LINNEUS 98
Teacher: learning 285
Teaching: dialog 352
Telecommunications 476
Television: sensing 389
tell 102
Tenenbaum, M. 449
Tennant, H. 373
Term: predicate calculus 111
Terminal symbol 329
Terminal symbol in English 377
TERMINALP 334
TERMINATORP 371
TERPRI 488
Tessellation, image 394
TEST in A_STAR_SEARCH 164
TEST in best-first search 157
TEST in INFNET 271
TEST in PARSE 336
TEST in PYTHAGORUS 310
TEST in RAMER 436
TEST in SOLVE_SQUARES 147
TEST in uniform-cost search 160
Texture 380
Texture, shape from 440
Texture, shape from, reference on 449
Texture, surface orientation 440
Thematic role in case frame 326
Then: temporal reference 346
Theology: mind 479
Theorem in Principia Mathematica 196
Theorem proving 217
Theorem proving as search 149
Theory formation: learning 285 297 313
There: spatial reference 347
ThingLab, reference on 131
Thinking, visual, exercise on 459
Thought, visual 379 466
Three-dimensional generalized cylinder 439
Three-dimensional gradient space 440
Three-dimensional rangefinder 391
Three-dimensional representation 438
Three-dimensional vision 387 437
Threshold edge image 408
Threshold image 397
Threshold vision 464
Thresholding, exercise on 455
Thresholding, reference on 449
Tic-Tac-Toe 168
Tic-Tac-Toe, exercise on 184
Tic-Tac-Toe, game tree 169
Time representation in semantic net 118
Time semantics 345
Time-of-flight rangefinder 391
times 20 488
To be 92
Tomography 387
Tool expert system 461 465
Tool expert system exercises 473
Tool expertise transfer 466
Tool learning 287
Tool, graphical 466
Top-down parsing 331
topology 428
Toriwaki, J. 453
Towers of Hanoi puzzle 141
Towers of Hanoi puzzle, exercise on 180
Toy in PYTHAGORUS 298
Trace 41 488
Transfer, expertise 287
Transformation: move in search 144
Transition region 423
Transitive closure 94
Transitive reduction 94
Transitive reduction, exercise on 133
Transitivity 93 131
translate 367
Translation, language 324 325 373
trapezoid 301
Traveller's Restaurant Selection Problem2 62
Tree game playing 169
Tree parse 331
Tree, exercises on 50 51
TREEMAX, exercise on 51
TREEMIN, exercise on 51
Tremblay, J. 131
|
|
|
Реклама |
|
|
|