Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP
Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: The elements of artificial intelligence. An introduction using LISP

Автор: Tanimoto S.L.

Аннотация:

The purpose of this book is to provide an up-to-date and didactically coherent introduction to the principles and programming methods of artificial intelligence. It is appropriate for an undergraduate or first-year graduate course. While it is possible for the student to get acquainted with artificial intelligence in a single quarter or semester, a sequence of two to three quarters or semesters is preferable. The author covers most of the material in two academic quarters at the University of Washington. During the first quarter, Chapters 1 through 6 or 7 are tackled, laying a foundation of symbol manipulation, knowledge representation and inference. The second quarter takes on the more advanced topics: learning, natural language understanding, vision and the integration of AI technology into expert systems.


Язык: en

Рубрика: Computer science/AI, knowledge/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1987

Количество страниц: 518

Добавлена в каталог: 22.11.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
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
1 2 3 4 5 6 7 8 9
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте