|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP |
|
|
|
| Предметный указатель |
Language, LISP 15 228
Language, PASCAL 27 43
Language, PROLOG 217 228
Language, semantics 337
Language, SNOBOL 82
Language, syntax 328
Laplace, P. 241
Laplacian filter 413 448
Laser rangefinder 391
last 436
Last One Loses, exercise on 183
Lateral geniculate body 382
Law: legal reasoning 470
Learning 5 283
Learning by example 288
Learning for vision 464
Learning optimization 290
Learning, children's 296
Learning, computation speed 471
Learning, concept exploration 296
Learning, definition of 284
Learning, design of probabilistic inference networks 252
Learning, exercises on 318
Learning, incremental 291
Learning, inside-out 315
Learning, outside-in 315
Learning, PYTHAGORUS 298
Learning, version space 293
Lee, R. 231
Left-recursive production 336
Leftmost derivation 333
Legal reasoning 470
Lehrer, N. 277
Leibniz 70
LEIBNIZ, exercises on 86
Lenat, D. 3 297 316 472
Length 28
Lens vision 381
Lesser, V. 374
LESSP 25 486
Levialdi, S. 453
Levine, M. 386 446
Lex, reference on 315
Lex, version space 293
Lexeme 328
Lexicon 326 328 337
Lexicon, definition of 338
Lexicon, English 337
Light source 387
Likelihood ratio 253
Line detection with Hough transform 417
line drawing 444 449
Line enhancement 416
Line geometry 301
Line in images 408
Line polar form 418
Line subspace 409
Linear convex combination 255
Linear format strategy 214
Linguistics 372
Linking avoiding edge 409
Linking edge 415
Linking Guzman labelling 445
LINNEUS definition 99
LINNEUS in exercise on language understanding 378
LINNEUS, closed-world assumption 128
LINNEUS, exercises on 133
LINNEUS, sample session 102
LiPS, exercise on 236
LiPS, logical inferences per second 468
LISP, advantages of 43
LISP, compared with PROLOG 228
LISP, history of 15
LISP, implementation of 45
LISP, influence of 477
LISP, machine 467
LIST 25 486
List in LISP 16 17
List in PROLOG 225
Literal atom as label in PROG 32
Literal atom in LISP 16
Literal atom, evaluation of 34
Literal in exercises on unification 235
Literal propositional calculus 197
Literal, unification of 203
locate 39 486
Logic programming 218
Logic Theory Machine 195
Logic use for natural language 343
Logic, cellular 404
Logic, knowledge representation 90
Logic, modal 347
Logic, predicate 110
Logic, propositional 108
Logic, reasoning with 187
Logic, references on 230
Logical inferences per second 468
Logical inferences per second, exercise on 236
Logical reasoning 187
Longitude as heuristic information 154
LONGITUDE DIFF 154
loop, infinite 40
Lumped evidential variable 263
Lush resolution 218
Lusk, E. 233
Lyons, J. 373
MACE COL 360
MACE ROW 360
Machine Translation 3 7 324 373
Mackworth, A. 449
MacLisp 15
Macro-operator in Stone World exercise 378
Macro-operator planning 167
Macsyma 82
Magnetic resonance imaging 387
Maier, D. 131
Maintenance of expert system 461
MAKECONJ 101
MAKEOPPOSITES, exercise on 51
MAKEPAST 38
MAKE_ISA 310
MAKE_SPECIALIZATION 303 306 307
Malaria: Bayes' rule example 242
Malicious use 471
Manohar, R. 131
Manufacturing in semantic grammar example 349
Manufacturing, XCON 469
MANYSIDES 301
Mapcar 37 486
MAPCAR, exercises on 50
Marin, J. 317
Mark-and-sweep algorithm 46
Marketing 246
Marr, D. 447 448
Marseille dialect of PROLOG 225
Martelli, A. 448
Mass, probability: Dempster — Shafer calculus 272
Match 82
MATCH use in SHRINK 66
MATCH, exercises on 84
MATCH, LISP definition 63
MATCH1 60
MATCH2 60
MATCH3 61
MATCH4 61
MATCH5 62
MATCH6 63
MATCHARTICLE 100 101
MATCHKTH 29
MATCHNORTH 146
| MATCHWEST 146
Mathematical logic knowledge representation 107
Mathematical logic, reasoning with 187
Mathematical morphology 408
Mathematics formula manipulation 70
Mathematics logic 107 187
Mathematics theory formation 314
Mathematics, learning of 297
Matte surface 387 440
MAX 486
MAX as special form 24
Maximal image region 399
McCalla, G. 130
McCarthy, J. 15 47 229 231
McCarty, L. 472
McCorduck, P. 13 482
McDermott, D. 11 12 48 82 231
McDermott, J. 315 472
Mean 37
Meaning: semantics 337
Means-ends analysis in MOLGEN 2
Measure of evidence, residue, support 275
Medial axis transform 429
Median Filter 397
Medicine 477
Medicine in exercise on knowledge representation 132
Medicine probability example 241
Medicine vision in cardiology 442
Medicine, Bayes' rule example 242
Medicine, CADUCEOUS 470
Medicine, future of AI 477
Medicine, MYCIN 3
Medicine, probabilistic inference in 245
Mellish, C. 231
Member 486
Member function in exercise on PROLOG 237
Member function in PROLOG 225
Memory management in LISP 45
Mendelson E. 230
Merit function: learning 285
Message: communication 326
Metaphor expressed with is a 92
Methodology, expert system design 462
Methodology, future of 476
Methodology, LISP programming 43
Mexican hat operator 414
Michalski, R. 315
Michie, D. 277 482
Microworld 355 373
Military decision-making: probabilistic inference 246
Miller, R. 472
MIMD: parallel processing 468
MIN 486
Mind vs machine 479
Minerals prospecting: PROSPECTOR 3
Minimal description: learning 290
Minimax search 169
Minimum-length path: search 153
Minsky, M. 10 131 373 404 447
Missionaries and cannibals problem 128
Misunderstanding 354
Misuse of AI 471
Misuse of AI, exercise on 474
Mitchell, T. 315
Mock PROLOG 220
Modal logic 347
Model, Bayes' rule 242
Model, learning systems reference 315
Model, mathematical 315
Model, numerical 464
Model, predicate calculus 210
Modularity 53
Modularity in LISP 43
modus ponens 109
Modus ponens, compared with Bayes' rule 242
Molecular biology: theory formation 314
MOLGEN 2
MOLGEN, reference on 177
Monotonic logic 228
Montague semantics 343
Montague semantics, reference on 373
Montessori school 285
Moore, J. 231
Moore, R. 177
Morals: human belief 479
Morphology, erosion and dilation 406
Morphology, mathematical 408
Morphology, word 328 372
Moses, J. 82
Most general unifier 203
Mostow, D. 317
Motion map 443
Motion vision 437 442
Motion, parallax 441
Motion, reference on 449
Move 360
Move generator 140
MOVE_LEGAL 361
Moving-average filter 397
MTRANS 342
Mueller-Lyer illusion 384
Multi-resolution: vision 384 395
Multi-resolution: vision, references on 449
multiple inheritance 105
Multiple-evidence: probabilistic inference2 61
Multiplicative law: probability 242
MULTIPLY: exercise on rational numbers 87
Music: in learning example 288
MYCIN 3 91 276
MYCIN, EMYCIN 465
MYCIN, subjective-Bayesian updating 255 258
Myers, J. 473
MYSETQ 36
Naccarato, D. 448
Naming LISP functions 44
Natural language 323
Natural language interface 324
Natural language representation 326
Natural language understanding 92 323
Navigation: robot vision 442
NCONC 41 486
Near miss: learning 293
Necessity 266
Necessity coefficient 254
Necessity-only rule: subjective-Bayesian updating 258
negate 402
Negation as failure in PROLOG 227
Negation as failure vs circumscription 230
Negation as failure, closed-world assumption 129
NEIGHBOR CONTENTS 359
Neighborhood: pixel adjacency 398
NEIGHBOR_POS 359
NEQ: not-equal function 222
Nerve, optic 381
Nested functional forms in LISP 20
Nesting of PROG environments 33
Network augmented transition 349
Network search 139
Network semantic 115
Network, computer 476
Network, constraint 122
Network, probabilistic inference 245 264
Neural net: semantic net 115
Neuron: vision 381
Neurophysiology 446
Nevatia, R. 448
New-or-old decision: language reference 351
Newborn, M. 177
Newell, A. 11 176 195 231 373
NEW_ATOM 308
|
|
|
| Реклама |
|
|
|
|
|
О проекте