Logic-Based Artificial Intelligence

Front Cover
Jack Minker
Springer Science & Business Media, Dec 31, 2000 - Computers - 606 pages
0 Reviews
The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense. In a series of papers in the 1960's he expanded upon these ideas and continues to do so to this date. It is now 41 years since the idea of using a formal mechanism for AI arose. It is therefore appropriate to consider some of the research, applications and implementations that have resulted from this idea. In early 1995 John McCarthy suggested to me that we have a workshop on Logic-Based Artificial Intelligence (LBAI). In June 1999, the Workshop on Logic-Based Artificial Intelligence was held as a consequence of McCarthy's suggestion. The workshop came about with the support of Ephraim Glinert of the National Science Foundation (IIS-9S2013S), the American Association for Artificial Intelligence who provided support for graduate students to attend, and Joseph JaJa, Director of the University of Maryland Institute for Advanced Computer Studies who provided both manpower and financial support, and the Department of Computer Science. We are grateful for their support. This book consists of refereed papers based on presentations made at the Workshop. Not all of the Workshop participants were able to contribute papers for the book. The common theme of papers at the workshop and in this book is the use of logic as a formalism to solve problems in AI.
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

III
3
V
4
VI
9
VII
10
VIII
11
IX
12
X
13
XI
14
XCVIII
281
C
282
CI
285
CII
288
CIII
290
CIV
293
CV
297
CVI
306

XII
15
XIII
16
XIV
17
XVI
18
XVII
19
XVIII
20
XIX
21
XX
27
XXI
37
XXIII
38
XXIV
45
XXV
47
XXVI
49
XXVII
51
XXVIII
52
XXX
59
XXXII
61
XXXIII
63
XXXIV
68
XXXV
76
XXXVI
79
XXXVIII
82
XXXIX
84
XL
90
XLI
94
XLII
95
XLIII
97
XLIV
107
XLV
108
XLVI
109
XLVII
111
XLVIII
113
XLIX
119
L
122
LI
127
LII
128
LIII
130
LIV
133
LV
136
LVI
140
LVII
142
LVIII
147
LIX
148
LX
149
LXI
152
LXII
153
LXIII
158
LXIV
162
LXV
169
LXVI
170
LXVII
174
LXIX
177
LXX
182
LXXI
187
LXXII
188
LXXIII
190
LXXIV
193
LXXV
198
LXXVI
202
LXXVII
203
LXXVIII
205
LXXIX
213
LXXX
214
LXXXII
219
LXXXIII
221
LXXXIV
225
LXXXV
229
LXXXVI
233
LXXXVIII
235
LXXXIX
238
XC
241
XCI
248
XCII
250
XCIII
252
XCIV
257
XCV
259
XCVI
270
XCVII
275
CVII
315
CIX
316
CX
320
CXI
322
CXII
326
CXIII
333
CXIV
334
CXV
335
CXVI
341
CXVII
346
CXVIII
353
CXIX
361
CXX
362
CXXI
365
CXXII
367
CXXIV
372
CXXV
375
CXXVI
376
CXXVII
382
CXXVIII
383
CXXIX
384
CXXX
388
CXXXI
389
CXXXII
391
CXXXIII
396
CXXXIV
400
CXXXV
405
CXXXVI
407
CXXXVII
408
CXXXVIII
410
CXXXIX
413
CXL
416
CXLI
420
CXLII
430
CXLIII
439
CXLIV
445
CXLV
447
CXLVI
451
CXLVII
453
CXLVIII
456
CXLIX
458
CL
460
CLI
465
CLIII
467
CLIV
469
CLV
472
CLVII
473
CLVIII
476
CLIX
482
CLX
487
CLXII
491
CLXIV
504
CLXV
507
CLXVI
509
CLXVII
512
CLXVIII
519
CLXIX
521
CLXX
526
CLXXI
531
CLXXII
537
CLXXIII
543
CLXXV
544
CLXXVI
548
CLXXVII
549
CLXXVIII
552
CLXXIX
557
CLXXX
561
CLXXXII
563
CLXXXIII
567
CLXXXIV
571
CLXXXV
572
CLXXXVI
573
CLXXXVII
576
CLXXXVIII
578
CLXXXIX
585
CXC
587
CXCI
593
Copyright

Common terms and phrases

References to this book

All Book Search results »

Bibliographic information