|
|
Авторизация |
|
|
Поиск по указателям |
|
|
|
|
|
|
|
|
|
|
Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP |
|
|
Предметный указатель |
Disjunction, probabilistic 252
Disjunctive subgoal 171
Disjunctive syllogism 109
DISPLAY_CONCEPT 310
DIST3 435
Distance graph search 154
Distance, search of graph with 157
Distributive law 201
DISTSQ 436
Dixon, J. 176
Documentation of LISP code 31
Domain of relation 125
Domain predicate calculus 111
Dominant position in ISA hierarchy 103
Dominoes, exercise on 180
DOSCALL 485
Dotted pair 16 17
Dotted pair, relationship to list notation 18
Doubt function 273
Dowty, D. 373
Doyle, J. 231
DO_SUBST 206
DPRED 68
Dropping conjuncts: learning 289
DSKREAD 485
Duality in erosion and dilation 406
Duda, R. 276 448
Duff, M. 405 449
DX in PYTHAGORUS 301
DY in PYTHAGORUS 301
Echo, sonic 391
Economic benefits of AI 476
Economics: theory formation 314
Edge, avoiding linking 409
Edge, cat's vision 382
Edge, detection 408
Edge, human vision 382
Edge, image 408
Edge, linking 415
Edge, subspace 409
Edge-adjacent 398
Edinburgh dialect of PROLOG 218
Editing of LISP code 15
Editor, rule-base 466
Effective lambda in LISP 269
Effective lambda probabilistic inference 261
EFFECTIVE_ARC_LAMBDA 269
Efficiency of A* algorithm 164
Efficiency of SOLVE_SQUARES 148
Electronics: theory formation 314
Element 461
Elementary vector 415
ELIZA 65 82
Else clause in COND form 26
Embedding: context-free language 331
Emotion: dialog 353
Employment impact of AI 477
Employment in AI 8
Empty string 329
EMYCIN 465
Endgame: conversation 353
Endoskeleton 430
Engineering as search 139
English 323
English ambiguity 332
English example interface 355
English grammar 336
English lexicon 337
eq 25 485
equal 25 485
EQUALELTS, exercise on 50
EQUALSIDES 301
Equation as constraint 123
Erosion 406
Erosion, exercise on 456
Error, approximation 432
Errors 435
ETS: Boose 316
Euler number 428
EURISKO 297 316
eval 34 485
EVALQUOTE 82
Evaluation function for edge detection 411
Evaluation function, learning 283
Evaluation function, search 140 154
Evaluation in LISP 19
Evaluation in propositional logic 109
Evaluation of arguments 36
Evaluation of called function 27
Evaluation, LISP 34
EVAL_ARC_EXP 270
Event probability 241
Event representation 117 326 338
Event time 345
Evidence, Bayes' rule 243
Evidence, combination in arc expression 265
Evidence, combination with Dempster's rule 273
Evidence, independent 261
Evidence, probabilistic inference 252
Evidence, simple function 274
Evidence, uncertain 255
Example generator, exercise on 321
Example generator, PYTHAGORUS 313
Example of concept in PYTHAGORUS 299
EXAMPLES_TASK_INTEREST 305
EXIFY, exercise on 49
Existential quantifier 111
Existential quantifier, clause form 201
Exoskeleton 430
Experience, direct 286
Experiment in PYTHAGORUS 298
Expert system 461
Expert system, advantages of 476
Expert system, future of AI 476
Expert system, learning 283
Expert system, limitations of 470
Expert system, maintenance of 8
Expert system, medical 470
Expert system, probabilistic inference network 245
Expert system, PROLOG example 219
Expert system, restaurant evaluation 263
Expert system, structure of 462
Expert system, TAXMAN 470
Expertise preserving 477
Expertise transfer 466
EXPLAIN_CHAIN 102
EXPLAIN_LINKS 101
Explanation in LINNEUS 101
Explicit representation: search space 149
Explicit vs implicit representation 93 128
Explode 82
Exploration: Piaget's paradigm 296
EXPLORE CONCEPTS 299 309
Explorer: TI workstation 467
Explosives 480
expr 36
EXPR, DEFUN 485
Extention, concept 315
EXTRACT_PATH 152
Eye of Copilia quadrata 389
Eye, human 381
F: search evaluation function 154 160 164
Fact 42
Factor of clause 207
Factorial 42
Factorial PROLOG example 227
Fail: PROLOG 227
Failure node 211
Failure tree 211
Fast Fourier Transform 397
| Faugeras 0 449
Fault diagnosis 245
Feature basis 409
Feigenbaum, E. 10 12 482
Feldman, J. 10 13
Feller, W. 276
Fennema, C. 449
Ferret box 426
FEXPR, DEFEXPR 484
FEXPR, definition of 36
FFT algorithm 397
Fidelity, image 392
Field of relation 125
Fifth generation project 187
Figure: image foreground 398
Fikes, R. 177
Filler: frame 113
Fillmore, C. 373
Filter combinatorial with constraints 124
Filter on CCD sensor 390
Filter, Gaussian 411
Filter, image 380
Filter, Laplacian 413
Filter, low-pass 395
Filter, median 397
Filter, moving-average 397
Filter, speech 328
Filter, Waltz 446
finance 246
FIND_DIR 369
FIND_DIR1 369
FIND_EXAMPLES_OF 302
Fire 79
Firing: production rule 55
First-level hypothesis 248
First-order logic, limitation of 343
First-order logic, predicate calculus 110
Flatly contradictory Dempster — Shafer calculus 274
Flip, in exercise on Cycle-Flip puzzle 182
FLONUM 16
Flow, optical 442
Fluoroscopy 387
Focal element: Dempster — Shafer calculus 272
Focus camera 391
Focus of expansion 443
Focus, Dempster — Shafer calculus 275
Food quality: probabilistic inference 263
Foreign language translation 324
Forgetting: learning 285
Fork in search procedure 403
Form, functional, in LISP 19
Form, special, in LISP 24
Formal language 329
Formal parameter in LISP function 28
Formalization, knowledge 313
FORMAT 193
Formatting of LISP programs 44
FORTRAN 27 31
Forward chaining 98 196
Four-peg Towers of Hanoi puzzle, exercise on 180
Fourier transform, FFT algorithm 397
Fourier transform, reference on 448
Fourier transform, two-dimensional 395
Fovea: vision 382
Frame case 326
Frame in knowledge representation summary chart 129
Frame in vision 379
Frame knowledge representation 90 112
Frame learning 287
Frame of discernment 272 274
Frame script 340
Frame use in lexicon 338
Frame, display of 466
Frame, exercise on 137
France: example search space 149
Frankenstein monster 479
Freeman code 415 431
Freeman, H. 415
Frei — Chen operator 409
Frei, W. 409 448
Freidman, D. 47
French 323
French, exercise on 84
French, translation 373
Frequency Fourier transform 395
Frequency sampling 392
Fromkin, V. 372
Funarg 35
Function 35 485
function body 27
Function defining with DEFUN 27
Function evaluation 154
Function evaluation of LISP 34
Function in exercise in PYTHAGORUS 321
Function naming 44
Function predicate calculus 111
Functional argument 34 35
Functional form in LISP 19
Functional programming 44
Functor: PROLOG 219
Future of AI 475
Future of human language 481
Future of intellectual activity 481
Future planning man's 479
Fuzzy logic 246
Fuzzy logic, exercise on 278
Fuzzy logic, reference on 276
G: search distance value 164
game playing 168
Game playing, chess as search 140
Game tree 169
Game tree, exercise on 183
Ganglion cell: vision 381
Gap-filling: edge linking 415
Garbage collection 46 467
Gaschnig, J. 277
Gauging: robotics 391
Gaussian filter 411 448
Gazdar, G. 373
Gelernter, H. 11 231
Gender: pronoun reference 351
Generality vs speed 471
Generalization dropping conjuncts 289
Generalization learning 285
Generalized cylinder 439
Generator, example 313
genetic engineering 2 177
Geniculate body, lateral 382
GENSYM 309
Geological exploration 3
Geometry illusion 384
Geometry in PYTHAGORUS 298
Geometry painted squares puzzle 141
German, exercise on 84
Gerund 351
get 40 485
GET in retrieving relationships 96
GETNTH 66 223 401
GETVAL 401
getvar 223
GET_REG 485
Gilmore, P. 231
Ginsburg, H. 296 316
Girgus, J. 446
Give: example event 326
Go 177
GO in PROG 32 487
Go, game playing 168
Go, game playing reference 177
Goal in LEIBNIZ 71
|
|
|
Реклама |
|
|
|