|
|
Авторизация |
|
|
Поиск по указателям |
|
|
|
|
|
|
|
|
|
|
Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP |
|
|
Предметный указатель |
A* algorithm 160
Abduction: hypothesis formation 251
ABS: absolute value function 154
Absolute value of crossed differences 408
Abstraction: learning 285
ABSTRIPS, reference on 177
Accident: learning 296
Accountability, human 472
Accretion region 443
Acoustic rangefmder 391
Acoustical level: speech 328
Acquisition, image 386
Acquisition, knowledge 129 313
Acquisition, language 297 373
Acquisition, learning 283
Acronym 2
ACRONYM, reference on 449
Action in COND form 26
Active sensing 391
Active voice 327 339
ACT_UPON 368
Add axiom 196
add1 19 483
ADD: exercise on rational numbers 87
Additive law: probability 241
ADDMATCH 362
ADDSUBSET 96 309
ADDSUPERSET 96 309
ADDTOSET 96 309
ADD_PAIR 206 222
Adjacency, graph representation 149
Adjacency, pixel 398
Adjective 117
Admissibility of A* algorithm 162
Advising 461
Agenda 298 299
Agent 117 327
Aho, A. 131
Algorithm: A* search 160
Aliasing, exercise on 454
Aliasing, sampling 392
Alienation, human 478
Allen, J. 47 373
ALLEQUAL 301
ALL_BUT_LAST 145
Alpha cutoff 176
Alpha-beta search 172
Alpha-beta search, reference on 177
Alphabet: language 329
AM 3 91 316
Amacrine cell: vision 381
Ambiguity: syntax 332
Ambiguity: syntax, exercise on 376
Analog-to-Digital Converter 389 394
Anaphora: pronoun reference 350
Anatomy: vision 381
AND 24 483
AND, parallelism 467
AND-OR graph 171
Andrews, H. 448
Andriole, S. 472
ANDWFF 193
Angiosperms: example of relation 125
Angle, solid 388
Antecedent: pronoun reference 351
Antisymmetry 93 131
ANY 97
Apathy, human 478
APPEND 31 483
Append function in exercise on PROLOG 237
Append function in PROLOG 226
APPEND, compared with NCONC 41
Application of AI 8 461
Application of LISP function 34
apply 34 483
APPLY, exercise on 50
Approximate reasoning 276
Approximation in modelling 464
Approximation, polygonal 431
Arbib, M. 449
Arc augmented transition network 349
Arc expression 265
Arc expression, exercise on 279
Arc in definition of graph 93
Arc in semantic net 115
Arch exercise on learning 319
Arch learning example 291
Architecture, parallel 468
ARC_DIST 160
Area 302
Area centralis 382
Area seventeen: vision 382
AREA1 302
Argument evaluation of LISP 34
Argument to LISP function 27
Argument, functional 34
Arithmetic expression, exercise on 52
Array for image in LISP 400
Array processor 468
Array use in Stone World 356
Array, three-dimensional 438
ART 465
Art, image formation 387
Art, visual 481
Article 366
Article, indefinite 92
Artificial intelligence definition 6
Artificial intelligence mind 479
Asimov, I. 479 482
Aspect ratio: shape 426
Assert function: PROLOG 227
Assoc axiom 196
Association in semantic net 115
ASTAR 162
ATN: augmented transition network 349 355
atom 25 483
Atom, LISP definition 16
ATOMCAR 82
Atomic proposition 188
ATRANS 342
Attachment to frame slot 114
Attention, conversation 354
Attention, learning 297
Attribute-value pair in frame 113
Attribute: representation in semantic net 117
Augmented transition network 349
Augmented transition network in Stone World 355
Automatic programming 477
Automobile repair: fuzzy inference 248
Average subspace 409
Axiom in non-monotonic logic 228
Axiom in Principia Mathematica 196
Axiom in Wang's algorithm 190
Axiom input to theorem prover 217
Axiom of probability 241 271
Axon: vision 381
A_STAR_SEARCH 162
B-tree 373
B-tree in lexicon 338
Babu, K. 448
Backed-up value in game tree 170
Backgammon 177
Background, image 398
Backing up values in game tree 169
Backtracking in an ATN 356
Backtracking in parsing 333
Backtracking LISP implementation 144
Backtracking relation to depth-first search 151
Backtracking search 142
Backups in LISP programming 45
| Backus — Naur form 108
Backward chaining 98 196
BACON: Langley 316
Ballard, D. 448
Banerji, R. 317
Barnett, J. 276
Baroque Chess game, exercise on 184
Barr, A. 12
Barrow, H. 449
Barwise, J. 373
Basic probability assignment 272
Basic probability assignment example 274
Basis vector 409
Bayes' rule 242 252
Bayes' rule, exercises on 279
Bayes' rule, limitation of 271
Bayes' rule, odds-likelihood formulation 253
Bayes, T. 242 276
Bayesian dilemma 257
Be, verb to 92
Belief 240
Belief as probability 242
Belief function 272
Belief, degree of 271
Belief, human 10 478
Belief, religious 479
Belief, semantics 347
Berkeley, E. 47
Berliner, H. 177
Best-first search 154
Best-first search in PYTHAGORUS 298
Beta cutoff 176
Better 156
Binary relation 93 131
Binary relation in semantic net 115
Binary resolvent 207
Binding in function call 27
Binding of LISP variable 34
Binford, T. 2
BINOCULAR stereo 391 440
Binomial coefficient 241
Biochemical computation 476
Biology: theory formation 314
BIOSCALL 483
Bipolar cell: vision 381
Blind search 153 157 159
Blocks world example in planning 165
Blocks world in exercise on planning 182
Blocks world vision 381 442
Board evaluation function 169
Bobrow, D. 47 131 374
Boden, M. 482
Book, compared with expert system 478
Book, knowledge source 286
Boolean value in LISP 25
Boose, J. 315 472
Borning, A. 131
Botany: example for knowledge representation 125
Bottom-up parsing 331
Bottom-up parsing, exercise on 377
Boundary of point set 430
Bounding box 426
BOUNDP 484
Boyer, R. 231
Boyle, J. 233
Brachman, R. 131
Brain semantic net 90 115
Brain vision 379 381
Brainwashing: learning 284
Branch 402
BREADTH FIRST SEARCH 153
BREADTH FIRST SEARCH, exercise on 180
Breadth-first search 152
Breadth-first search, robot planning example 166
break 43 484
Bresnan, J. 373
Brice, C. 449
Briggs, F. 472
British Museum search 140 195
Brodie, M. 131
Brooks, R. 2 449
Brown, C. 448
Bruce, B. 373
Brute-force search 195
Brute-force search, exercise on 179
Buchanan, B. 315
Bundy, A. 231
Burt, P. 448
Buy: example event 338
CAADR 369
CAAR 484
CAAR, CADR, etc. 22
CADAR 484
CADDR 148 484
cadr 484
CADUCEOUS 470
Calculus, Dempster — Shafer 271
Calculus, differentiation with LEIBNIZ 71
Calculus, formula manipulation 82
Calculus, predicate 110
Calculus, propositional 108
Camera, CCD 389
Camera, vidicon 389
CAR 20 484
Carbonell, J. 317
Cardiology: motion vision application 442
Careers in AI 8
Caricature, visual 481
Case frame 326 338
Case frame script 340
Case frame, exercise on 376
CAT scanning 387
CAT scanning volume representation 438
Cataloging 296
Category in ISA hierarchy 95
Causal link: semantic primitive 343
CCD camera 390
CCD camera, sensing 389
CDAR 484
CDAR, CDDR, etc. 22
CDDR 484
CDR 22 484
CDR-coding of LISP memory 47 467
Cell, LISP memory 17 20 45
Cellular logic 404
Cellular logic, octagonal closure 427
Cellular logic, references on 449
Cellular space in Stone World 355
Cercone, N. 130
Certainty 240
Chain code 415 431
Chain rule in LEIBNIZ exercise 86
Chaining, backward 196
Chaining, forward 196
Chandrasekaran, B. 472
Chang, C. 231
Change detection 442
Charniak, E. 11 12 47 82
Checkers evaluation function 173
Checkers example of alpha-beta search 173
Checkers game playing 168
Checkers reference on learning in 315
Checkers, Samuel's program 3
Checkers,reference on 177
Chemical computation: learning 285
Chemistry: theory formation 314
Chen, C. 448
Chess as search 139
Chess game playing 168
Chess, alpha-beta search 172
|
|
|
Реклама |
|
|
|