Главная    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
Предметный указатель
Production rule learning      287
Production system      53 82
Production system learning      286
Production: grammar      329
PROG      31 487
PROG, implicit      26 484
Projection image formation      381
Projection in relational database      126
Projection integral      428
PROLOG      217
PROLOG interpreter, exercises on      236
PROLOG, compared with LISP      228
PROLOG, interpreter      220
PROLOG, machine      467
Pronoun exercise on reference      377
Pronoun reference      350
Proof using the Logic Theory Machine      196
Proof using Wang's algorithm      190
Propagation: probabilistic inference      246
Proper Treatment of Quantification      343
Property list      39
Property list frame representation      113
Property list use in INFNET      265
Property list use in LINNEUS      96
Property list use in PARSE      333
Property list use in PROLOG_LSP      223
Property list use in PYTHAGORUS      307
Property list use in search examples      149
Property list use in STONEWLD      362
Property list use in storing relations      96
Proposition: Dempster — Shafer calculus      272
Propositional calculus      108
Propositional calculus in knowledge representation summary chart      129
Propositional calculus proofs      188
Prospecting: probabilistic inference      245
Prospector      3 91 276
PROSPECTOR, subjective-Bayesian updating      258
Prototype expert system      465
Prover      190
PROVER, exercises on      233
Provisional value in game tree      170
Proximity: robotics      391
Pruning: alpha-beta search      172
Psychology: human alienation      479
PTQ: Montague      343
PTRANS      342
PUNTS      66
Purpose of AI      7
Purpose of conversation      353
put      361
PUTON: planning macro-operator      168
PUTPROP      39 487
PUTPROP in storing relations      96
PUT_LEGAL      362
PUT_ON_AGENDA      304
PUT_VERB      366
Puzzle      140
PY: in PYTHAGORUS      302
Pyramid: vision      384
Pyramid: vision, definition of      394
Pyramid: vision, reference on      448
Pythagorus      284 298
PYTHAGORUS in exercise on language understanding      378
PYTHAGORUS, exercises on      320
PYTHAGORUS, limitations      311
Quadramino, exercise on      179
Quadtree      449
Quantification over time      345
Quantification: in language      343
Quantifier in logic exercise      136
Quantifier predicate calculus      111
Quantity, semantics of      344
Quantization, image      394
Quasi-balanced tree, exercise on      50
QUASI_DEPTH_FIRST_SEARCH, exercise on      181
Query      220
Query in LINNEUS      101
Query in relational database      127
Question answering in LINNEUS      98
Question-mark construct      62
Quillian, M.      132
quote      23 487
Quotient      487
R1      469
Radiance      388 440
Radon transform      418
Radon transform, reference on      448
Raiffa, H.      276
RAMER      433
Ramer's algorithm      432
RAMER, exercises on      457
RAMER1      433
Random-dot stereogram      441
Rangefinder      391
Raphael, B.      11 13 132
Ratification, knowledge      477 480
Rational number      87
Re-write rule: grammar      330
READ      38 487
Reasoning, logical      187
Reasoning, probabilistic      239
Receptor: rod or cone      384
Recipient: thematic role      327
Recognition, pattern      380 447
Record, compared with frame      112
Recursion in context-free language      331
Recursive definition      17 27
Recursive function      28
Recursively-enumerable language      331
Reddy, D.      374 452
REDUCE: exercise on rational numbers      87
Reductio ad absurdum proof method      198
Reference time      345
Reference, natural language      350
Reference, spatial      347
Reference, temporal      346
Refinery, knowledge      480
Reflectance map      440
Reflectivity      440
Reflectivity, surface      388
Reflexive property      93 131
Reflexive property, exercise on      133
Region description      424
Region growing      419 422
Region Guzman labelling      445
Region transition      423
Regular language      330
Reiter, R.      231
Reitman, W.      177
Relation, binary      93
Relation, exercises on      133
Relation, n-ary      125
Relation, spatial      347 424
Relational database      90 124 131
Relational database in knowledge representation summary chart      129
Relational database, exercises on      137
Relaxation labelling      416
Relaxation, discrete      446
Relaxation, reference on      448
Relevance, closed-world assumption      128
Relevance, design of probabilistic inference network      251
Religion      7 10 479
Remainder      487
Remote sensing      387
Repertoire: learning      296
REPLACE, exercise on      49
Replacement in the Logic Theory Machine      195
REPLACENTH      401
REPNTH      358
REPORT PROGRESS      268
Representation: message      326
Research: learning      296
RESEMBLES relation: inheritance      106
Resolution strategy      213
Resolution, completeness of      207
Resolution, exercises on      234
Resolution, predicate calculus      198
Resolution, propositional calculus      110 197
Resolution, spatial      382
RESOLVE, exercise on      236
Resolvent      197 204 207
Responsibility, human      478
Restaurant in exercise on PROLOG      237
Restaurant, probabilistic inference example      262
Restriction of concept      306
retina      381
Retract function: PROLOG      227
Retraction: non-monotonic logic      230
RETURN: in PROG      32 487
REVERSE, exercise on      50
Revolution, AI      478
Revolution, computer      10
Reynolds, G.      276
Rhombus      301
Rich, E.      11 13 325
Riesbeck, C.      48 82 342 373
right triangle      301
Riseman, E.      449
Risk      239 244
Roberts' cross      408
Roberts, L.      448
Robinson, J.      231
Robot example in planning      165
Robot in exercise on planning      182
Robot in frame example      112
Robot in physics research      314
Robot in semantic grammar example      349
Robot planning with medial axis transform      431
Robot Stone World example      355
Robot Three Laws      479
Robot vision      442
Rod: vision      381
Rodman, R.      372
Rogerian psychiatrist      65
Role in case frame      326
Roman numeral      54
ROMAN1      55
ROMAN2      56
ROMAN3      58
Rorschach test      481
Rosenblatt, F.      315
Rosenfeld, A.      431 448 449
ROTATE LIST      145
Route finding: search      150
RPLACA      40 487
rplacd      40 487
Rule, fuzzy inference      246
Rule, inference      109
Rule, production      54
Rule-based system      462
Rule-version space      293
Running approximation      432
Russell, B.      195 231
Russian, translation of      324
S-expression      15 16
S-expression formal definition      17
S-expression, composite      19
S-expression, evaluation of      34
S.1      465
Sacerdoti, E.      177 374
Sagalowicz, D.      374
Sakai, T.      452
Salience: learning      294
SAME, exercise using      85
Samet, H.      449
Sampling, imaging      392
Sampling, polygonal approximation      432
Sampling, rate      392 393
Samuel, A.      3 177 315
Sandewall, E.      47 176
sarcasm      347
satire      347
Satisfaction, constraint      124
Satisfiability      110
Scaffolding      44
SCAN      402
Scanning: vision      389 400
Scene analysis      380
Schank, R.      119 342 373
Schema, circumscription      229
Schema, constraint      120
Schema, frame      113
Schema, script      342
Schwartz, S.      379
Science vs art      6
Scientific discovery      296 316
Scope of negation: clause form      200
Script      340
Script dinner party example      340
Script knowledge representation      90
SCROLL      371
Search      6 139
Search method      122 140
Search, A* algorithm      160
Search, alpha-beta      172
Search, AND-OR graph      171
Search, best-first      154
Search, blind      153 157 159
Search, breadth-first      152
Search, connected components algorithm      400
Search, depth-first      151
Search, edge detection      409
Search, heuristic      153
Search, human planning      479
Search, hypothesize and test      150
Search, ISA hierarchy      97
Search, minimax      169
Search, parallel processing      469
Search, parsing      333
Search, planning      165
Search, production system      57
Search, puzzle solving      140
Search, semantic net      115
Search, state space      140
Search, uniform-cost      159
Search, vision exercise      457
Searle, J.      373
Security: vision application      442
Segmentation      381
Segmentation, definition of      420
Segmentation, reference on      449
Segmentation, region growing      419
Segmentation, thresholding      398
Selection in relational database      125
SELECT_BEST      156
SELECT_PRED      308
Self loop in definition of graph      93
Self-directed conceptualization      296
Self-improvement      283
Semantic grammar      348
Semantic grammar, exercise on      377
Semantic net      90 115
Semantic net as extended ISA hierarchy      107
Semantic net in knowledge representation summary chart      129
Semantic net interlinked frames      113
Semantic net learning      287
Semantic net, display of      466
Semantic net, exercises on      135
Semantic primitive      119 342
Semantic tree: resolution      208
1 2 3 4 5 6 7 8 9
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте