√лавна€    Ex Libris     ниги    ∆урналы    —татьи    —ерии     аталог    Wanted    «агрузка    ’удЋит    —правка    ѕоиск по индексам    ѕоиск    ‘орум   
blank
јвторизаци€

       
blank
ѕоиск по указател€м

blank
blank
blank
 расота
blank
Rowe N.C. Ч Artifical intelligence through Prolog
Rowe N.C. Ч Artifical intelligence through Prolog



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



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


Ќазвание: Artifical intelligence through Prolog

јвтор: Rowe N.C.

язык: en

–убрика: Computer science/

—ери€: —делано в холле

—татус предметного указател€: √отов указатель с номерами страниц

ed2k: ed2k stats

√од издани€: 1988

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

ƒобавлена в каталог: 20.11.2008

ќперации: ѕоложить на полку | —копировать ссылку дл€ форума | —копировать ID
blank
ѕредметный указатель
"car" in Lisp      79
"cdr" in Lisp      79
"nil" in Lisp      79 390
abolish predicate      155 394 395
Abstraction      263 280 285
action      see Operator
Ada      see Programming languages
Agenda      113 197 199 233 241Ч242 243 248 249
agenda predicate      233 234 235 247
Algorithm      99
Analogy      305Ч306 370
AND      5 23Ч24 28 43 113 165 307Ч342 350 352Ч357 359 381Ч383 395
And, rearrangement for improved efficiency      311Ч318
And-combination      166 167 170Ч171 174 175 176 178 180
AND-OR tree      see And-or-not lattice
And-or-not lattice      100 113Ч115 180 249
append predicate      84Ч87 90 270
Appliance diagnosis      110Ч111 126Ч134 146 173 350 367Ч368 371
Argument      5 8 9 14 395
Argument, order in predicates      11 15
Arithmetic      46 74Ч78 165
Arithmetic assignment      75Ч76 83 394 396
Arithmetic comparison      74Ч75 394 396
Array      8 78 212 213 389 390 391 392
Artificial intelligence: definition      1
Artificial intelligence: difficulty of learning      2 36Ч37 65Ч66
Artificial intelligence: problems unsuitable for      365 372Ч373
ask predicate      126 129 130
askifpredicate      127Ч128 130 143 178 371
ask_which predicate      144
asserta predicate      101 102 126 138 139 235 394 395
assertion      9
assertz predicate      101 138 139 145 233 235 394 395
Associativity      381
Atomic formula      see Predicate expression
Attenuator      180
Augmented transition network      117
Automatic programming      367Ч368
Automobile diagnosis      165Ч167 174 183 192 264 370
Automobile repair      192 193 196 200 201 202 205 207 226Ч229 235Ч236 243Ч244 249 271 366
a_kind__of predicate      11 45 53 55 57Ч58 286 287 288 289 290 301
Backtracking      27Ч34 136 138 141Ч142 144 151 230 231Ч232 233 238Ч241 314 315 321 326 371 394
Backtracking, decision lattice avoidance of      112 271
Backtracking, dependency-based      319Ч321
Backtracking, for generation of options      82 87
Backtracking, implementation      35Ч36
Backtracking, in a rule      49Ч52
Backtracking, in an and      27Ч34 47 50Ч52
Backtracking, in an or      34
Backtracking, in depth-first search      197
Backtracking, in means-ends analysis      268 280
Backtracking, nonchronological      see Backtracking dependency-based
Backtracking, not predicate      see not predicate backtracking
Backtracking, tabular representation      31 32 33 51 320
Backtracking, wrong answers with      84 239
Backward chaining control structure      100Ч102 109 116 125Ч134 198 205 209 211 352 354 355Ч356 357 358
bagof predicate      172 233 236Ч238 240 331 398
Bar symbol (1 )      79 396
Bayes's rule      182Ч183 184
better_add predicate      77
Binary tree      see Tree
Binding      see Variable binding
Boolean algebra      see Propositional logic
Brackets in Prolog      25 78 392 396
Branch      192 193Ч194 197 223
Branch, discreteness      192
Branch, efficient representation      192
Branch, pruning      199
Branching factor      207Ч208 357Ч358
Caching      88 100 101 112 126 130 135 191 249
CALL      see Query
call predicate      141 151 240Ч241 394 397
CAR      see Automobile diagnosis and Automobile repair
Cartesian product      408
CASE      365Ч366
Case of the first letter of a word      5 21
Cause      166 182 351Ч352
Certainty      see Probability
Chaining      see Backward chaining control structure and Forward chaining control structure
character string      8 126 179 389 395 397
class      see Frame or Type
Classification      110Ч112
Clause form      350Ч354
clause predicate      146 149 350 394 397
Closed-world assumption      25 110
Code optimization      see Compilation
color_object predicate      44 45 46 49 55
Combinatorial explosion      207
Combinatorial methods      29 207Ч208 324Ч325
Comma in Prolog      5 24 25 78Ч79 395 396
comment      61 396
Common sense      1 4
Commutativity      60 381
Compilation      19 110 151 248Ч249 357
Compiled control structure      see Control structure compiled
Completeness of a frame description      286
Compound term      5
Computation time      see Efficiency
Concatenation      84 129
Concept      see Frame
Conclusion      see Rule left
Concurrency      see Parallelism
conflict resolution      193
Confusion matrix      365 366
Conjunction      see And
Conjunctive normal form      179 354 382
Connective, logical      see And Or and
Conservative assumption      169 176
Constant      5 44
Constraint      307 309 326
Constraint propagation      see Relaxation
consult predicate      27 134 249 394
context      see State
Context-limiting      see Partitioning
Contra positive      352
Control structure      99Ч163 371
Control structure, compiled      100 110Ч115 151
Control structure, ordering of actions in      100 106 108Ч109 112Ч113
con_andcombine predicate      174
con_orcombine predicate      173
Cooperativeness      365 371Ч372
Corpus      365
Cost function      197 202 204 224 244 249 280 369
Cost of execution      312 313 314 315 316 317 318
cost predicate      224 225 244
Cryptarithmetic      326Ч329 334Ч336 339Ч342
Cut predicate (!)      46 81 233 238Ч241 394 397
CYCLE      see Infinite loop
DATA      see Fact
Data structures      389Ч392
Data type      6Ч8 389
Database      14 (see also Prolog database)
Database order      23 36 46 47 106 108Ч109 265
Database query language      19
Database schema      14
Debugging of artificial-intelligence programs      364Ч373 398
Decision lattice      100 110Ч112 115 151Ч155 248
Decision lattice, implementation      152Ч155
Decision tree      see Decision lattice
Declarative interpretation      81 84 87 349 350Ч353 387
Declarative programming      65Ч66
default      56 61 64 108 299 301
Definition by examples      46
Degrees of certainty      see Probability
Dejargonizing program      89Ч90
delete predicate      83Ч84 137 138 139 229 239 270 359
Demon      see Parallelism or
DeMorgan's laws      140 351 353 383
Dependency      314Ч315 316 318 319Ч321
Diagnosis      109 110 125Ч126 131 165
diagnosis predicate      125Ч126 131 154 180
difference predicate      268 276 277 278 279
Difference table      263Ч264 265 267 268 272Ч273
Difference table, implementation of      268 272
Difference table, order in      265 266 272
Directed acyclic graph      see Lattice
Discrimination net      see Decision lattice
Disjunction      see Or
Disjunctive normal form      179 382
Distributivity      381Ч382
Do-until construct      240
doall predicate      142 240 397
Domain of an artificial-intelligence program      99 109 183 199Ч200 358
done predicate      136 139 145 151 240Ч241 314
Double-blind test      365
Eckert Ч Mauchly computer model      114
Edge in a graph      12Ч13 194Ч196
Edge in a picture      212 309
Editor      27
Efficiency of Prolog programs and queries      36 88Ч89 99 106 111Ч112 113 114Ч115 140 145 148Ч149 198 200 207Ч211 239Ч241 244 307Ч342 350 357 358 372Ч373 389Ч392
English      see Natural language
entropy      see Probability maximum-entropy
Epistemology      4
Equals ( = ) predicate      75 76 394 396
eval predicate      224 225 241
Evaluation function      197 199 200Ч202 203 204 208 214 224 241Ч242 243 244 280 369
exception      108
Expert      13 183 193 364Ч365
Expert system      2 99 102 109 112 125 130Ч134 193 240 370 371
Expert-system, shell      125Ч163 370
Explanation facilities      37 52 128 281 370Ч371
Extended heuristic      247 248
Extension      12 291Ч292 297
Fact      4Ч37 45 46 48 80 102 105 313 395
Fact in resolution      355 357 358
Fact, disjunctive      349
Fact, negative      103 349
Fact, order      see Database order
Fact, virtual      100 101Ч102 126 248
fail predicate      136 235 397
Failure      20 22 28 31 44 59 81 235 311 366 371
Fallacy      68Ч69 189 304 363 408
Falsity      20 349 351Ч352 381 382
Fanout      207
findall predicate      172 236 398
Finite-state machine      110
first predicate      80
Flashlight repair      271Ч281 371 373
flexibility      13 22 29 77 78 100 110 112 166 356 390
Focus-of-attention      102Ч103 138 193 326
For construct      241
forall predicate      141 238 240 397
FORM      288Ч290
FORTRAN      see Programming languages
Forward chaining control structure      93 100 102Ч105 116 191 194 196 198 200 201 202 205 206 209Ч211 357 358
Forward chaining control structure, efficiency versus backward chaining      208Ч211
Forward chaining control structure, handling of not      see not predicate forward
Forward chaining control structure, implementation      137Ч149
Forward chaining control structure, indexing of right sides      148Ч149
Forward chaining control structure, input and output      143Ч146
Frame      285Ч302 370
Frame component      288
Frame implementation      292Ч293
Frame lattice      293Ч295 300Ч301
Frame problem      228
Function      14Ч15 76 77 387 function Evaluation and
Fuzzy set theory      173
game playing      257Ч262
Gate      see Logic gate
Generate-and-test approach      34 113
Goal      see State goal
Goal query      100 101 114
goalreached predicate      223 225 228 231 235
Gold Standard      364Ч365 367Ч368 369 370
Gradient      213
Grammar      5 115Ч117
Graph      12 110 194 198 391Ч392
halt predicate      397
Heuristic      109 197 199 208 214 224 247Ч248 280 315 326 328 358
Hierarchical reasoning      263 264
Hierarchy      see Lattice
Horn clause      352 355
Human reasoning      1 2 4 8 9 10 36Ч37 43 110 115 164 168 212 214 264 268 280 298 371 372
Hybrid control structures      105Ч107 116
Hybrid control structures, rule-cycle      see Rule-cycle hybrid control structure
Hybrid control structures, time-sharing      107
If-then construct      see Rule
Image      212Ч214
Implication      43 350 381
Independence assumption      167Ч172 174 176 183 185 311 312 319
indep_andcombine predicate      170Ч171
indep_orcombine predicate      171Ч172
INDEX      35Ч36 102 148Ч149 249
Individual      12
Inference      1 4 19Ч37 43 354 356
Inference Engine      see Control structure
infinite loop      58Ч60 115 198 241
Infix form      74 75 396
Information content      184
inheritance      54Ч58 292 296 297 300Ч302 370
Inheritance, downward      56 58
Inheritance, implementation      59
inheritance, multiple      299Ч302
Inheritance, part-kind      291
Inheritance, slot      290 296 300
Inheritance, upward      56
Inheritance, value      287Ч288 290 295Ч296 300
Input      see Variable input
Input coding      127Ч128
Input/Output      see read predicate write and
Instance      see Extension
Instantiation      see Binding
integer_in_range predicate      77Ч78
Intelligence      1 264
Intension      12 291Ч292
in_range predicate      75 77
is predicate      46 75Ч78 394 396
is_a predicate      see a_kind_of predicate
Iteration      136 137 141Ч143 234 240Ч241 243 329 377
Join      36
Knowledge      4
Knowledge acquisition      13
Knowledge representation      see Fact and Rule
Label      309Ч311
Lack-of-knowledge inference      see Closed-world assumption
Language      see Natural language or Programming languages
last predicate      80
Lattice      62 110 150 152 198 249 390 391 392
Laws of logic      381Ч384
Learning      367Ч368
length predicate      82 88 150
Level      see Search level
Liberal assumption      169 176
lib_andcombine predicate      175
lib__orcombine predicate      175
Link      see Edge in a graph
Linked list      see List
Lisp      78 79 360 390 392
LIST      25 78Ч90 144 170Ч176 227Ч229 237 359 389Ч390 391 392 396
List, embedded      392
List, empty      79 82 396
List, possibility      321 326Ч329 331 369
List, processing of      80Ч89 170 171 173 174 175 238Ч240
List, variables in      78Ч79
listing predicate      145 394
Literal      5 382
Loading a Prolog      27 134
Logic      see Predicate logic
Logic gate      114Ч115 180 383
Logic programming      349
1 2 3
blank
–еклама
blank
blank
HR
@Mail.ru
       © Ёлектронна€ библиотека попечительского совета мехмата ћ√”, 2004-2020
Ёлектронна€ библиотека мехмата ћ√” | Valid HTML 4.01! | Valid CSS! ќ проекте