Name Index
Abelson, Harold 29, 31
Abrahamson, Joseph 216
Ackoff, Russell Lincoln 107
Adams, C.W. 16
Adams, Douglas 55, 85, 245
Agre, Philip 57
Alain 101
al-Khuwarizmi, abu-Jafar Mohammed ibn-Musa 44
Allen, James 106, 257-258
Allport, Alan 181
Alt, Franz 69, 247
Alther, Lisa 61
Amory, Mark 86
Amosov, Nikolai 194
Anderson, John 183, 194
Anderson, Poul 53
Anshen, Melvin 262
Appel, Kenneth 240-241
Aristotle 191, 203, 206
Arouet, Françoise-Marie 224
Ashby, W. Ross 15, 150-151
Asimov, Isaac 229, 267
Astray, General Millán 60
Atanasoff, John 20
Ayer, Alfred J. 100, 102
Babbage, Charles 4-11, 17, 19, 23, 25, 32, 149, 192
Bach, George 262
Bach, Johann Sebastian 38
Bacon, Francis 117
Bains, Sunny 19
Bar-Hillel Yehoshua 69-70, 74
Barlow, Nora 149
Bartlett, Fredrick 114
Baudrillard, Jean 60
Baum, L. Frank 10
Bayes, Reverend Thomas 110-111
Beckett, Samuel 72, 106
Bennett, Frederick 227
Benson, Michael 269
Berkeley, George 201-202
Berliner, Hans 34
Bierce, Ambrose 10
Black, Max 88
Blake, William 46-47, 126
Bloch, Arthur 121
Blum, Avrim 58
Bobrow, Daniel 75-76, 250, 262
Boden, Margaret 268
Bohr, Niels 121
Boland, Richard 254
Boole, George 81, 87
Booth, A.D. 69
Borges, Jorge Luis 97
Borgnine, Ernest 180
Bork, Alfred 244
Borning, Alan 70
Borodin, Allan 223
Boswell, James 179, 211
Boulez, Pierre 38
Bourbaki, Nicolas 158
Bowden of Chesterfield, Lord 221-222, 237
Bowden, Vivian 222
Bower, Gordon 133
Boyle, Jim 101
Bradshaw, Jeffrey 166, 168, 174
Brando, Marlon 168, 180
Brinch Hansen, Per 27
Brisse, Baron L. 4
Bronowski, Jacob 13, 78, 121
Brooks, Rodney 53, 65, 145, 260-261, 264-265
Brown, John Seely 206
Bryson, Arthur 147
Buchanan, Bruce 52, 124-125, 156-157, 224
Burgard, Wolfram 230
Burks, Arthur W. 20
Burns, Robert 56
Bush, George W. 204
Butler, Samuel 94-95
Byron, Lord 9
Caley, D.H.N. 11
Capek, Karel 162, 234
Carbonell, Jaime 132, 135, 140, 152-154
Carlyle, Thomas 101
Carr, J.L. 121
Carroll, Lewis 25
Castelfranchi, Cristiano 172, 253
Chace, William 266
Chapman, David 57
Charniak, Eugene 1, 77, 190
Chartier, Emile-Auguste 101
Chase, Alexander 136, 235
Chaucer, Geoffrey 130
Chesterfield, Lord 131
Chesterton, G.K. 53, 107
Chomsky, Noam 38, 70-71
Church, Alonzo 16
Cicero 86
Clancey, William 44, 226
Clarke, Arthur C. 34, 235, 269
Clarke, Donald 2
Claxton, Guy 181
Cleary, Tom 157
Clowes, Max 179
Colby, Kenneth 78, 185-186
Cole, Michael 172
Coles, L. Stephen 244
Collins, Allan 75, 206
Colmerauer, Alain 114
Comrie, L.J. 12
Confucius 120
Copernicus, Nicolaus 262
Coren, Alan 136
Coyne, Richard 221
Crick, Francis 147, 196
Croker, John Wilson 5
Cross, Amanda 105
Dahl, O.J. 16
Damasio, Antonio 161, 164
Dao, James 228
Darwin, Charles 10, 149-151, 195-196, 216, 262-263
Davis, Ernest 104
Davis, Philip J. 22, 91
Davis, Randall 61, 124
de la Rochefoucauld, Duc 160
De Quincey, Thomas 178
De Reuck, A. 107
Dechter, Rina 47
Dehn, Doris 175
Dejong, Gerald 140
Deming, W. Edwards 53
Dennett, Daniel 96, 184, 199, 214, 216
Dern, Laura 175
Descartes, René 23, 49, 103, 161, 200-201, 206, 208
Dewey, John 221
Dijkstra, Edsger 16, 24, 30
Donne, John 171
Dreyfus, Hubert 202-203, 248, 256, 267
Duguid, Paul 206
Dunn, Alan 215
Dunsany, Lord 33-34
Durkheim, Emile 64
Dyson, Freeman 227
Eccles, John 220
Eckert, J. Presper 20-21
Eco, Umberto 102
Edelman, Gerald 52, 195-196, 216
Einstein, Albert 201
Eisenhower, Dwight 21
Ekman, Paul 164
Ershov, Andrei P. 29
Fanshawe, Simon 96
Faraday, Michael 11
Fatmi, Haneef 61
Feigenbaum, Edward 52, 62, 117, 123, 126, 183, 227, 249
Feldman, Jerome 62
Feltovich, Paul 225
Feynman, Richard 38
Finke, Ronald 157
Firschein, Oscar 244
Fischler, Martin 244
Fitzgerald, F. Scott 119
Flood, Merrill 214
Flores, Fernando 255
Fodor, Jerry 193
Ford, Kenneth 225
Forsyth, Richard 225
Foster, Caxton 16
Foster, J.M. 70
Fraser, Allan 34
Frayn, Michael 228
Fredkin, Edward 1, 246, 268
Frege, Gottlöb 88-89
Freidan, Betty 54
Freud, Sigmund 139, 215, 262
Fromm, Erich 263
Frost, Robert 50
Fuller, Thomas 45, 120
Furst, Merrick 58
Galileo Galilei 79, 138, 262-263
Gardner, Howard 28
Gardner, Martin 79
Gascoigne, Paul 238
Gasser, Les 64
Geach, Peter 88
Gelfond, Michael 202
Genesereth, Michael 170
Gide, André 45
Ginsberg, Matt 64
Glass, George 168
Gödel , Kurt 42, 92
Goethe, Johann Wolfgang von 177
Goldsmith, M. 107
Goldstein, Ira 52
Goldstine, Herman 13, 20
Good, Irving John 247
Goodman, Nelson 208
Gotlieb, Calvin 223
Graubard, Stephen 199
Greeno, James 206
Gregory, Richard 220
Grosz, Barbara 66, 171
Guha, R.V. 155-156
Gurdjieff, George 191
Hadamard, Jacques 201
Haddawy, Peter 112
Haken, Wolfgang 240-241
HAL 235
Haldane, J.B.S. 160
Haldeman, H.R. 201
Hanks, W.F. 206
Hansen, Eric 48
Hare, Maurice Evan 211
Harman, Gilbert 109
Harrison, George 47
Harvey, William 184
Haugeland, John 51, 75
Hawking, Stephen 93, 233
Hayes, Patrick 76, 81, 145, 250, 262
Hayes-Roth, Frederick 118
Hearst, Marti 34
Hegel, Georg 4
Heidegger, Martin 221, 256-257
Heisenberg, Werner 121
Heller, Joseph 41
Henry, D.P. 87
Hepburn, Katharine 180
Herbert, Nick 214
Hersh, Reuben 22, 91
Hewitt, Carl 114, 168
Hilf, Franklin 186
Hilgard, Ernest 133
Hinton, Geoffrey 146
Hirsch, Haym 34
Hirschheim, Rudy 254
Ho, Yu-Chi 147
Hoare, C.A.R. 16
Hobbes, Thomas 79
Hoffer, Eric 97
Hoffman, Robert 225
Hoffnung, Gerard 26
Hofstadter, Douglas 62
Hogan, C. Lester 242
Hollerith, Herman 11
Hollingdale, S.H. 23
Holmes, Oliver Wendell 103
Hookway, Christopher 96, 184
Hsieh, Tehyi 45
Huet, Gerard 130
Huffman, David 179
Huhns, Michael 64
Hume, David 151, 159, 201-202
Hunt, Morton 209
Huxley, Aldous 94-95
Huxley, Thomas Henry 10
Ibn-Abi-Talib, Ali 67
Inhelder, Barbel 87
Ishiguro, Kazuo 167
Jackson, Justice Robert 36
Janeway, William 239
Jenkins, Clive 243
Jevons, William Stanley 87
Johnson, Samuel 179, 211
Johnson-Laird, Phil 185
Jonas, Hans 192
Jonassen, David 205
Kahneman, Daniel 112
Kander, Michael 268
Kant, Immanuel 67, 114, 201, 204
Kasparov, Garry 33-34, 159-160, 240
Kay, Alan 39
Kellner, Douglas 236
Kempelen, Baron Wolfgang von 177
Kennedy, John F. 97, 108, 192
Kilmer, Joyce 40
Kintsch, Walter 183-184, 193
Kircher, Athanasius 163
Kitano, Hiroaki 195, 230
Klahr, David 206
Kline, Morris 101
Knight, Kevin 1
Knuth, Donald 31
Koestler, Arthur 151
Korf, Richard 47
Korukonda, Appa Rao 65
Korzybski, Alfred 207-208
Kotovsky, Kenneth 206
Kowalski, Robert 89
Kramnik, Vladimir 33, 240
Kraus, Sarit 171
Krishnamurti, Jiddu 52
Kronenberger, Louis 122
Krutch, Joseph Wood 232
Kundera, Milan 200
Kurzweil, Ray 259-260
Lakoff, George 198, 204
Lancaster, F. Wilfrid 245
Lanier, Jaron 170-171
Lao Tse 130
Laplace, Pierre-Simon 211
Lave, Jean 206
Lawrence, D.H. 24
Lederberg, Joshua 52
Leibniz, Gottfried Wilhelm 3, 11, 79-80, 102, 123
Lem, Stanislaw 68, 268
Lenat, Douglas 70, 117-118, 151-156, 248
Leone, Nicola 202
Levesque, Hector 108
Levy, David 33
Lighthill, James 73
Lindner, Robert 13
Lippmann, Walter 158
Livingston, Gary 156-157
Locke, John 201-202
Locke, W.N. 69
Lovelace, Ada 4, 9-10, 32, 149
Lucas, John 94
Ludgate, P.E. 19
Lull, Ramon 79
Lusk, Ewing 101
Lyotard, Jean-Françoise 117
Mackay, Alan 121
Macmillan, Harold 69
Mandler, George 193
Mann, Steve 165
Mannes, Marya 159
Mao Tse-Tung 131
Marcuse, Herbert 236
Martin, Henry 141
Martin, James 243
Marx, Groucho 129
Mauchly, John 20-21, 23-24
Maugham, W. Somerset 132, 160, 219
Mays, W. 87
McCarthy, John 42, 59, 81, 103, 113, 145, 150, 168-169, 198, 242, 259
McCorduck, Pamela 1, 227, 246, 249
McCulloch, Warren 13, 15
McDermott, Drew 1, 51, 190, 199-200
McDonald, David 70
McKenzie, Rev. Ronald 228
Meltzer, Bernard 48, 52, 81, 145, 221
Menebrae, Louis 9, 32, 149
Merrifield, C.L. 9
Michalski, Ryszard 135, 140, 152-154
Michie, Donald 48, 52, 81, 145, 221, 250
Miedaner, Terrel 162
Miles, T.R. 61
Mill, John Stuart 80
Miller, James 193
Mills, Harlan D. 22
Minsky, Marvin 17, 59, 62, 94, 113-114, 135, 147, 150, 218-220, 227, 246-247, 259
Mitchell, Tom 135, 140, 152-154
Moravec, Hans 165, 243, 258-259, 261-262
More, Trenchard 59
Moreau, René 20
Morgenstern, Oskar 13, 180
Morrison, Elting 159
Moto-oka, Tohru 115, 248
Movellan, Javier 163
Mowshowitz, Abbe 236
Mumford, Enid 254
Munro, H.H. 129
Nagel, Ernest 93
Naito, Taketo 173
Napoleon I 46
Nash, Ogden 40
Naur, Peter 30
Negroponte, Nicholas 166
Neisser, Ulric 181, 187
Newell, Allen 32, 36-38, 50-51, 59, 75, 125, 128, 142, 189, 194, 198, 222, 239-241
Newman, James 93
Nietzsche, Friedrich 102
Nilsson, Nils 170, 261-262
Nixon, Richard 86
Norman, Adrian 243
Norvig, Peter 1, 176, 251
O’Brien, Flann 86, 264
Olivier, Lord 180
Ouspensky, Piotr 191
Overbeek, Ross 101
Ovid 49
Papert, Seymour 52, 135, 147, 227, 244
Partridge, Derek 30, 152
Pascal, Blaise 2-3, 258
Pascual-Leone, Juan 182
Pauker, Stephen 111
Pearl, Judea 111, 253
Peirce, Charles 155
Penrose, Roger 93-94, 220, 256-257
Pepys, Samuel 3
Pereira, Fernando 66
Perlis, Alan J. 31
Perrier, L. 3
Piaget, Jean 39, 87
Picard, Rosalind 163, 167
Pillar, Charles 163
Pinker, Steven 191, 210, 213, 216
Pitts, Walter 13, 15
Plato 120, 191, 201
Plunkett, Edward 33
Poincaré, Henri 151
Pollock, John 58, 199
Polson, Peter 193
Polya, George 97, 104, 158
Popper, Karl 121-123, 138-139, 158, 216
Prendergast, Karen 124, 239
Price, Richard 110
Putnam, Hilary 93-94, 203, 213, 215
Pylyshyn, Zenon 190
Python, Monty 175
Quevedo, Leonardo Torres y 23-24
Randell, Brian 30
Raphael, Bertram 113
Rawlins, Gregory 232
Reeke, George 52, 218
Reiter, Raymond 202
Revkin, Andrew 228
Rhys, Jean 120
Rice, Elmer 74
Rich, Elaine 1, 44, 258
Robertson, Douglas 41
Robinson, J. Alan 83, 113, 222
Rochester, Nathaniel 59, 259
Rorem, Ned 61
Rosenberg, John 156
Rosenblatt, Frank 134, 147
Rossum, Robert 234
Roszak, Theodore 254-255
Rousseau, Jean-Jacques 136
Roux, Joseph 159
Rowe, Jon 152
Rubin, Martin 244
Rubinoff, Morris 247
Rumelhart, David 147
Russell, Bertrand 50, 60-61, 81, 101, 161, 202, 208
Russell, Rosalind 180
Russell, Stuart 1, 176, 251
Ryle, Gilbert 99-100, 123
Sacks, Oliver 196-197
Sackville-West, Vita 92, 123
Saki 129
Samuel, Arthur 59, 133-134, 146, 241-246
Sanders, George 180
Santayana, George 61, 91
Schaeffer, Jonathan 35
Schank, Roger 77-78, 157
Schickard, Wilhelm 3
Schopenhauer, Arthur 4, 201
Scriven, Michael 91, 161
Searle, John 192, 217-219
Seidel, Robert 244
Selfridge, Oliver 59
Selz, Otto 114
Shakespeare, William 25, 29, 74, 83, 174
Shannon, Claude 14-15, 32, 59, 87, 150, 259
Shaw, Cliff 50
Shaw, George Bernard 30, 71, 223
Shelley, Mary 9-10, 66
Shelley, Percy Bysshe 9, 66
Sherman, Barrie 243
Shneiderman, Ben 174
Shoham, Yoav 169
Shortliffe, Edward 124-125
Shrobe, Howard 251
Simmons, Reid 231
Simon, Herbert 36-38, 50-51, 59, 65, 125, 128, 135, 162, 180, 189, 198, 206, 222, 239-241, 262
Singer, Isaac B. 212
Singley, Mark 183
Skinner, B.F. 188, 211
Sloman, Aaron 199, 263
Smalheiser, Neil 156
Smith, Brian Cantwell 37, 257
Smith, Logan Pearsall 61
Smith, Mayo 6
Smith, Steve 157
Smolensky, Paul 148, 210
Socrates 78, 102
Solomonoff, Ray 59, 144
Sonenclar, Ken 249
Sophocles 45, 97
Sowa, John 127, 191
Sperry, Roger 220
Spinoza, Benedict de 99
Star, Susan Leigh 64
Stefik, Mark 64
Stella 60
Stent, Gunther 196
Stibitz, George 11
Stonier, Tom 225
Suchman, Lucy 57
Sussman, Gerald 29, 31
Swanson, Don 156
Swift, Jonathan 67-68, 226
Syrus, Publilus 50, 56
Szolovits, Peter 111
Tagore, Rabindranath 100
Takeuchi, Akikazu 173
Talleyrand, Charles-Maurice de 187
Taylor, Craig 70
Taylor, Frederick Winslow 118-119
Taylor, Richard 32, 149
Tenenbaum, Jay 244
Tennyson, Alfred Lord 133
Thagard, Paul 193
Thomas, B.D. 235
Thoreau, Henry David 126
Thurber, James 46
Tinsley, Marion 34
Toffler, Alvin 134
Tolstoy, Leo 102
Tootill, G.C. 23
Truman, Harry S. 21
Tsotsos, John 188
Turing, Alan 16-17, 29-32, 48, 63-65, 93, 148-149, 238
Untermeyer, Louis 110
Uthurusamy, Sam 224
Valdés-Pérez, Raúl 157
Valéry, Paul 186
van den Herik, H. Japp 35
van Mulken, Susan 175
Vaucanson, Jacques de 233
Voltaire 224
Von Neumann, John 12-15, 20, 180, 192
Vygotsky, Lev 172
Walter, W. Grey 15
Waltz, David 179
Ward, Thomas 157
Warren, David 114
Waterman, Donald 118
Watson, John 187
Waugh, Evelyn 86
Weaver, Warren 69
Weber, Sylvia 186
Wegner, Peter 197
Weizenbaum, Joseph 71-73, 177, 186, 192, 236
Weld, Daniel 58
Wells, H.G. 154
Wenger, Etienne 206
Werbos, Paul 147
Weyer, Steven 70
Whitehead, Alfred North 50, 81-82, 95, 142
Whitman, Walt 144
Wiener, Norbert 14-15
Wiener, P. 123
Wilde, Oscar 60, 85, 161
Wilder, Thornton 129
Wilkes, Maurice 12, 21
Williams, Tennessee 107
Willick, Marshall 265
Winograd, Terry 73-77, 113-114, 128, 168, 255-256
Winston, Patrick 94, 114, 124, 239, 263
Wood, Grant 149
Woods, William 75
Wooldridge, Michael 115
Woolf, Virginia 67
Wos, Larry 101
Wyly, Sam 118
Xenakis, Iannis 38
Young, J.Z. 209
Young, R.W. 61
Zemanek, Heinz 192
Zhang, Weixiong 47
Zilberstein, Shlomo 48
Zuse, Konrad 21
Subject Index
abacus 2
ABC 20-21
abduction 116
ACT* 183, 194
acting 180
actor 168
ACTs 77-78
adaptive networks 146
Advice Taker 103, 113, 168
agent 166-176, 251-255
AI – Artificial Intelligence, film 232
AIBO 234
algorithm 44
ALVINN 265-266
AM 152-156
analogy 139-140
analytic philosophy 198-203
analytical engine 4-11, 19, 23, 25, 32, 149
animated agent 173-176
anthropomorphism 7-8
anytime algorithm 180
applications of AI 221-224
arithmetic, by machine 3-4
Arrowsmith 156
artificial 60
artificial life 148, 232-234
artificial paranoia 185-186
assertion 29-30
augmented intelligence 174
autoepistemic logic 105
automated reasoning 80-102
automation 23-24
autonomy 166-168, 175, 211, 265
back-propagation 147
backtracking 45
Bayes’ theorem 110-111
Bayesian network 111-112, 128, 148
behaviour-based AI 53-54, 145, 172, 185-189
behaviourism 186-189
belief 119-120
belief revision 105
BINAC 21
binary numbers 11
biorobotics 233
Boolean algebra 82
bounded rationality 180-181
breadth-first search 45
brittleness (of expert system) 122, 148, 155
bug 29
built-in operations 22-24
butler 166-167
calculator 2-3
case-based reasoning 140, 237
causality 80-81, 95, 111, 155, 253
characteristica universalis 80
checkers 34, 133-134, 241
chess 8, 10, 13, 23, 31-35, 40, 54-55, 125, 230, 240-241, 256-257
Chinese room 218-219
Chinook 34
chunking 142
Church-Turing hypothesis 18
circumscription 105
closed-world assumption 105
cognitive psychology 51, 181-182, 187-188, 191
cognitive science 189-198, 209-210
collaboration 55, 98, 158, 167, 171-173
common sense 21-22, 102-107, 119, 155
commonsense reasoning 103-107, 155, 267
completeness 92-93, 108
computability 16-18
computational theory of mind 191, 210-213
computer science 28-29
concept learning 136
conceptual dependency network 78
conditional instruction 25
conjunctive normal form 84
connectionism 143-148, 193, 210
consciousness 93-94, 169, 187, 214-220
consistency 94-95
constraint satisfaction 179
constructivism 205-206
context 57-58, 107-108, 113, 172
context-free language 70
creativity 149-159
Critical Theory 236
Cyberiad 68
cybernetics 14-15
cybernocracy 234-235
cyberocracy 234-237
cyborg 265
CYC 70, 154-156, 248
data mining 141, 156
data structure 41-42
decidability 92
declarative-procedural controversy 77, 85, 89, 115
deconstructivism 238-239
Deep Blue 33-34, 49, 159-160, 240
Deep Fritz 33, 240
default reasoning 105-106
defence, AI applications in 227-228
deliberative AI 53-54, 100
DENDRAL 52, 125, 156
depth-first search 45
determinism 211-214
diagnosis 90
difference engine 5-8
digital personal assistant 251
discovery 90, 151-158
distributed AI 171-172
doctrine of the affections 163
dualism 100, 200, 208-209, 216
Durkheim test 64
EBG, see explanation-based generalization
edge detection 178-179
EDSAC 21
education, AI applications in 226-227, 244-245
effective procedure 17
electronic brain 13
ELIZA 71-72, 162, 185-186
embodied cognition 198
embodied conversational agent 173
emotion 159-167
emotion recognition 163
emotional car 165
emotivism 159
encyclopedia 69-70, 154-155
ENIAC 21
enterprise automation 252
EPAM 183
epistemology 120, 172, 199, 203-208
ESPRIT 249
ethics 216
EURISKO 153-154
evaluation function 47
evolution 61, 144-145, 154, 160, 191, 216-218, 263-269
evolutionary biology 191
exhaustive search 46
expert 121-122
expert system 121-132, 143, 148, 155-156, 166, 183, 223-226, 229, 237, 239, 248, 250
explanation 128-129, 140
explanation-based generalization 140-141, 143
exponential complexity 92
failure-driven learning 139
feed-forward network 147
Fifth Generation Computer Systems project 115, 248-249, 251
first-order logic 89, 91-92, 98, 104, 113-116
Forbin Project 235
frame problem 96-97, 114, 193
frame 114
Frankenstein 9-10
free will 211
function, in logic 88
functionalism 185, 213, 216-217
fuzzy logic 109-110
games 8, 23, 31-35, 133-134, 159-160, 240
General Problem Solver 50-51, 59, 85, 116, 122, 142, 189
generality 47, 50
generalization 136
genetic algorithms 145
Gödel’s theorem 92-94
Google News 237
GPS, see General Problem Solver
GRACE 231
grammar 70-71
Grand Challenge 230
Graphplan 58
grounding 131
HAMB 156-157
Harvard-IBM machine 12
heuristic 47-48, 152-156
hidden Markov model 177
hidden units 147
hill-climbing problem 135
homunculus fallacy 195
Horn sentence 109
human-computer collaboration 55, 156, 171-172
implicit knowledge 108
indexical 108
induction 116, 136-139, 157
inductive logic programming 137-138
information society 252
information structure 41
information theory 14, 32, 59
instrumental reason 236
intelligence 60-62
intentional 193, 217-219
interaction model 197
introspectionism 186-187
iteration 25
Junior 160, 240
knowledge 37, 116-120, 172, 199, 204-208
knowledge acquisition 130-131, 154, 180
knowledge compilation 109
knowledge discovery 156
knowledge engineer 123-132, 155, 207
knowledge industry 118, 225
knowledge principle 117
knowledge representation 37, 116, 146
knowledge transfer 226
knowledge-based system 117-121, 129, 141, 207, 252
language 66-78
language generation 68
language translation 69-72, 245
learning 132-149
legal aspects of AI 265-266
libraries 245
LifeCode 224
lifelike agent 166
Lighthill report 73
linguistic competence 71, 76
linguistic performance 71, 76
lips 115
Lisp 42-43, 128, 154
list 42
list processing 42
local reasoning 107-108
logic 78-116, 156
logic programming 113-115, 128, 140
Logic Theorist 50, 59
logical argument 82-85, 91
logical design 87
logical omniscience 99
logical piano 87
logical positivism 75, 102, 200, 220
Logistello 34
Lotka-Volterra equations 195-196
machine 2
machine translation 69
macro-operation 46
means-end analysis 50
medicine, AI applications in 223-224
meta-knowledge 129
metaphor 36, 189-190, 218, 238-239
meta-reasoning 108, 128-129
mind-body problem 208-213
miracles 7-8
mobile utility robots 259
modal logic 98-99
monotonic 104-105
multi-agent systems 171-173, 229, 253
multi-valued logics 109
MYCIN 125, 127-128, 224
natural language understanding 68
neural Darwinism 196
neural nets 13, 144-148
neuron 12-13, 50, 144-148, 195-196, 218-220
neuroscience 161, 194, 260
non-monotonic reasoning 104-105
object 27, 168
objectivism 204
oracle 65
PAC, see probably approximately correct
pain 170, 217
paperless offices 245
parallel distributed processing 146
parallel processing 49-50, 194
pattern-matching 71-72
PDP1 174
perception 176-181
perceptron 134-135, 143-146
persona effect 175
phenomenalism 120
physical symbol system 36-37, 64-65
Planner 114
planning 33-34, 53-59, 89-90, 171, 180-181, 200, 237
plausible reasoning 104-109
Pod 165
pointer 41
pragmatism 155, 220-221
predicate logic 78, 86-92, 95-98, 101, 104, 106, 109, 113-116
predictions 237-247
primary emotion 164
probabilistic reasoning 109-113
probability 109-113
probably approximately correct 142
problem reduction 49
problem solving 48-52
procedural semantics 75
production rule 125-126
production system 125-128, 130, 142-143, 193
program proving 29-30
programming 21-31
Prolog 114-115
Prometheus 66
proof 84
proposition 82
propositional logic 82-89
Prospector 127
protocol analysis 187
Pygmalion 71
qualitative modelling 43
quantifier 88
quantum gravity theory 220
R.U.R. (Rossum’s Universal Robots) 162, 234
rationalism 101-102, 136, 200
REA 173
reactive AI 53-54, 57, 65, 100, 188
Real World Computing programme 251
recognise-act cycle 126
recursion 25-27, 42-43, 50
recursive functions 42
reductionism 209-210
referential transparency 98
relevance reasoning 108
religion, and AI 228-229
resolution 83-86, 89, 92-95, 101, 107-108, 113-115, 127, 222
RHINO 230
Robbins algebra problem 241
RoboCup 229-230
robot 53-54, 56, 65, 162, 165, 229-232
robot pets 234
robotics, laws of 229
Rubik cube 26, 44-46, 50, 53
rule 125-126
rule-governed behaviour 38-39
rules of inference 83
schema 114
search 34, 44-51, 56, 144-145, 156, 179
secondary emotion 164
self-awareness 215
self-knowledge 99
Shakey 56-57
SHRDLU 73-75, 128, 168
simulated annealing 135
SIR 113
situated action 57
situated cognition 57, 100, 146, 197
situatedness 108, 176
situation 57, 96
smart weapons 227
Soar 142-143, 194
social constructivism 205
social sciences, and AI 172, 252-255
software engineering 30
somatic markers 161
soundness 86, 91
specialist knowledge 117
speech 66
speech recognition 176-177, 237, 264
speech synthesis 177-178
spreading activation 183
state-space search 48-49
statistical linguistics 77
stored program 19-21
STRIPS 56-57
subroutine 24
sub-symbolic 65
support vector machines 141
symbol 11, 17, 32-41, 53, 64-66, 79-82
Taylorization 118
temporal reasoning 106-107
theorem-proving 80-102
theory revision 138
Tiktok 10
Tower of Hanoi 27
tree 40
Trilobite 259
truth 79, 84, 86, 93, 95, 101, 113, 198, 201, 239
Turing award 31, 51, 222
Turing machine 16-19, 24, 42, 64, 148, 177, 197, 210-213
Turing test 63-67, 72, 93, 185, 189, 239, 260, 264
ultra-intelligent machines 246-247
uncertainty 97
undecidable 92
unified theory of cognition 194
universal computing machine 11
utility theory 112, 180
vagueness 110
variable 24-25
verification principle 75
version space 139
vision 66, 178-179
von Neumann machine 12-13, 115, 195
Waltz algorithm 179
wearable computers 164-165
weight modification 133-134
work, influence of technology on 242-243
working memory 126
World Brain 154
world knowledge 70, 74-75
XCON 127
Z-3 21Back to Drakkar Press home page
Back to Whoever Said .. home page