Mercurial > cortex

annotate org/ai-journal-review.org @ 573:ebdedb039cbb tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add release.
author Robert McIntyre <rlm@mit.edu>
date Sun, 19 Apr 2015 04:01:53 -0700
parents ff0d8955711e
children
rev   line source
rlm@381 1 #+title:Interesting Papers in Artificial Intelligence
rlm@573 2 #+author: Robert McIntyre
rlm@573 3 #+email: rlm@mit.edu
rlm@573 4 #+setupfile: ../../aurellem/org/setup.org
rlm@573 5 #+include: ../../aurellem/org/level-0.org
rlm@381 6
rlm@383 7 I decided to read all of the /titles/ in the Artificial Intelligence
rlm@384 8 journal, and found these interesting papers. The entire title-reading
rlm@384 9 process took about 2 hours.
rlm@383 10
rlm@381 11 * Interesting Concept
rlm@381 12
rlm@384 13 - (2002) Jordi Delgado - Emergence of social conventions in complex networks
rlm@384 14
rlm@384 15 Here, "social conventions" means a very specific property of graphs
rlm@384 16 in the context of game theory. Their social networks are groups of
rlm@384 17 mindless automotaons which each have a single opinion that can take
rlm@384 18 the values "A" or "B". They use the "coordination game" payoff
rlm@384 19 matrix that engourages each pair of agents to agree with each other,
rlm@384 20 and study various ways the graph can come to 90% of the agents all
rlm@384 21 believe either "A" or "B". It's probably not useful for actual
rlm@384 22 social worlds, and there's no simulation of any interesting
rlm@384 23 environment, but it might be useful for designing protocols, or as a
rlm@384 24 problem solving method.
rlm@384 25
rlm@384 26 References:
rlm@384 27 + L.A. Nunes Amaral, A. Scala, M. Barthélémy, H.E. Stanley, Classes
rlm@384 28 of small-world networks, Proc. Nat. Acad. Sci. 97 (2000)
rlm@384 29 11149–11152.
rlm@384 30 + D.J Watts, S.H. Strogatz, Collective dynamics of small-world
rlm@384 31 networks, Nature 393 (1998) 440–442.
rlm@384 32 + Y. Shoham, M. Tennenholtz, On the emergence of social conventions:
rlm@384 33 Modeling, analysis and simulations, Artificial Intelligence 94
rlm@384 34 (1997) 139–166.
rlm@384 35
rlm@384 36 - (1997) Yoav Shoham, Moshe Tennenholtz - On the emergence of social
rlm@384 37 conventions: modeling, analysis, and simulations
rlm@384 38
rlm@381 39
rlm@381 40 Marcelo A. Falappa, Gabriele Kern-Isberner, Guillermo R. Simari -
rlm@381 41 Explanations, belief revision and defeasible reasoning
rlm@381 42
rlm@381 43 Claudio Bettini, X.Sean Wang, Sushil Jajodia - Solving
rlm@381 44 multi-granularity temporal constraint networks
rlm@381 45
rlm@381 46 Alberto Maria Segre, Sean Forman, Giovanni Resta, Andrew Wildenberg -
rlm@381 47 Nagging: A scalable fault-tolerant paradigm for distributed search
rlm@381 48
rlm@381 49 Fahiem Bacchus, Xinguang Chen, Peter van Beek, Toby Walsh - Binary
rlm@381 50 vs. non-binary constraints
rlm@381 51
rlm@381 52 Jie Cheng, Russell Greiner, Jonathan Kelly, David Bell, Weiru Liu -
rlm@381 53 Learning Bayesian networks from data: An information-theory based
rlm@381 54 approach
rlm@381 55
rlm@381 56 Kurt Engesser, Dov M. Gabbay - Quantum logic, Hilbert space, revision
rlm@381 57 theory
rlm@381 58
rlm@381 59 J.-D. Fouks, L. Signac - The problem of survival from an algorithmic
rlm@381 60 point of view
rlm@381 61
rlm@381 62 Catherine Carr - The MIT Encyclopedia of the Cognitive Sciences,
rlm@381 63 edited by Robert Wilson and Frank Keil
rlm@381 64
rlm@386 65 - Tim Taylor - Christoph Adami, Introduction to Artificial Life
rlm@386 66 References:
rlm@386 67 + M.A. Boden (Ed.), The Philosophy of Artificial Life, Oxford
rlm@386 68 University Press, Oxford, 1996.
rlm@386 69 + C.G. Langton (Ed.), Artificial Life: An Introduction, MIT Press,
rlm@386 70 Cambridge, MA, 1995.
rlm@381 71
rlm@381 72 A.S d'Avila Garcez, K Broda, D.M Gabbay - Symbolic knowledge
rlm@381 73 extraction from trained neural networks: A sound approach
rlm@381 74
rlm@381 75 José Hernández-Orallo - Truth from Trash. How Learning Makes Sense by
rlm@381 76 Chris Thornton
rlm@381 77
rlm@381 78 Fabio G. Cozman - Credal networks
rlm@381 79
rlm@381 80 Aaron N. Kaplan, Lenhart K. Schubert - A computational model of belief
rlm@381 81
rlm@381 82 Mike Perkowitz, Oren Etzioni - Towards adaptive Web sites: Conceptual
rlm@381 83 framework and case study
rlm@381 84
rlm@381 85 Wilhelm Rödder - Conditional logic and the Principle of Entropy
rlm@381 86
rlm@381 87 Christian Vilhelm, Pierre Ravaux, Daniel Calvelo, Alexandre Jaborska,
rlm@381 88 Marie-Christine Chambrin, Michel Boniface - Think!: A unified
rlm@381 89 numerical–symbolic knowledge representation scheme and reasoning
rlm@381 90 system
rlm@381 91
rlm@381 92 Charles L. Ortiz Jr. - A commonsense language for reasoning about
rlm@381 93 causation and rational action
rlm@381 94
rlm@381 95 Raúl E. Valdés-Pérez - Principles of human—computer collaboration for
rlm@381 96 knowledge discovery in science
rlm@381 97
rlm@381 98 Paul Snow - The vulnerability of the transferable belief model to
rlm@381 99 Dutch books
rlm@381 100
rlm@384 101 Simon Kasif, Steven Salzberg, David Waltz, John Rachlin, David
rlm@384 102 W. Aha - A probabilistic framework for memory-based reasoning
rlm@381 103
rlm@381 104 Geoffrey LaForte, Patrick J. Hayes, Kenneth M. Ford - Why Gödel's
rlm@381 105 theorem cannot refute computationalism
rlm@381 106
rlm@381 107 Hiroshi Motoda, Kenichi Yoshida - Machine learning techniques to make
rlm@381 108 computers easier to use
rlm@381 109
rlm@381 110 Aravind K. Joshi - Role of constrained computational systems in
rlm@381 111 natural language processing
rlm@381 112
rlm@381 113 Moshe Tennenholtz - On stable social laws and qualitative equilibria
rlm@381 114
rlm@381 115 Michael Arbib - The metaphorical brains
rlm@381 116
rlm@381 117 Andrew Gelsey, Mark Schwabacher, Don Smith - Using modeling knowledge
rlm@381 118 to guide design space search
rlm@381 119
rlm@381 120 Márk Jelasity, József Dombi - GAS, a concept on modeling species in
rlm@381 121 genetic algorithms
rlm@381 122
rlm@381 123 Randall H. Wilson - Geometric reasoning about assembly tools
rlm@381 124
rlm@381 125 Kurt Ammon - An automatic proof of Gödel's incompleteness theorem
rlm@381 126
rlm@381 127 Shmuel Onn, Moshe Tennenholtz - Determination of social laws for
rlm@381 128 multi-agent mobilization
rlm@381 129
rlm@381 130 Stuart J. Russell - Rationality and intelligence
rlm@381 131
rlm@381 132 Hidde de Jong, Arie Rip - The computer revolution in science: steps
rlm@381 133 towards the realization of computer-supported discovery environments
rlm@381 134
rlm@381 135 Adnan Darwiche, Judea Pearl - On the logic of iterated belief revision
rlm@381 136
rlm@381 137 R.C. Holte, T. Mkadmi, R.M. Zimmer, A.J. MacDonald - Speeding up
rlm@381 138 problem solving by abstraction: a graph oriented approach
rlm@381 139
rlm@381 140 R. Holte, T. Mkadmi, R.M. Zimmer, A.J. McDonald - Speeding up problem
rlm@381 141 solving by abstraction: a graph oriented approach
rlm@381 142
rlm@381 143 Raúl E. Valdés-Pérez - A new theorem in particle physics enabled by
rlm@381 144 machine discovery
rlm@381 145
rlm@381 146 Dan Roth - On the hardness of approximate reasoning
rlm@381 147
rlm@381 148 Bart Selman, David G. Mitchell, Hector J. Levesque - Generating hard
rlm@381 149 satisfiability problems
rlm@381 150
rlm@381 151 Herbert A. Simon - Artificial intelligence: an empirical science
rlm@381 152
rlm@381 153 John K. Tsotsos - Behaviorist intelligence and the scaling problem
rlm@381 154
rlm@381 155 Shigeki Goto, Hisao Nojima - Equilibrium analysis of the distribution
rlm@381 156 of information in human society
rlm@381 157
rlm@381 158 Raúl E. Valdés-Pérez - Machine discovery in chemistry: new results
rlm@381 159
rlm@381 160 Stephen W. Smoliar - Artificial life: Christopher G. Langton, ed.
rlm@381 161
rlm@381 162 Yoav Shoham, Moshe Tennenholtz - On social laws for artificial agent
rlm@381 163 societies: off-line design
rlm@381 164
rlm@381 165 Barbara Hayes-Roth - An architecture for adaptive intelligent systems
rlm@381 166
rlm@381 167 Bruce Randall Donald - On information invariants in robotics
rlm@381 168
rlm@381 169 Ian P. Gent, Toby Walsh - Easy problems are sometimes hard
rlm@381 170
rlm@381 171 Tad Hogg, Colin P. Williams - The hardest constraint problems: A
rlm@381 172 double phase transition
rlm@381 173
rlm@381 174 Yoram Moses, Yoav Shoham - Belief as defeasible knowledge
rlm@381 175
rlm@381 176 Donald Michie - Turing's test and conscious thought
rlm@381 177
rlm@381 178 John McDermott - R1 (“XCON”) at age 12: lessons from an elementary
rlm@381 179 school achiever
rlm@381 180
rlm@381 181 Takeo Kanade - From a real chair to a negative chair
rlm@381 182
rlm@381 183 Harry G. Barrow, J.M. Tenenbaum - Retrospective on “Interpreting line
rlm@381 184 drawings as three-dimensional surfaces”
rlm@381 185
rlm@381 186 Judea Pearl - Belief networks revisited
rlm@381 187
rlm@381 188 Glenn A. Kramer - A geometric constraint engine
rlm@381 189
rlm@381 190 Fausto Giunchiglia, Toby Walsh - A theory of abstraction
rlm@381 191
rlm@381 192 John L. Pollock - How to reason defeasibly
rlm@381 193
rlm@381 194 Aaron Sloman - The emperor's real mind: Review of Roger Penrose's the
rlm@381 195 emperor's new mind: Concerning computers, minds and the laws of
rlm@381 196 physics
rlm@381 197
rlm@381 198 Olivier Dordan - Mathematical problems arising in qualitative
rlm@381 199 simulation of a differential equation
rlm@381 200
rlm@381 201 Eric Saund - Putting knowledge into a visual shape representation
rlm@381 202
rlm@381 203 Michael Freund, Daniel Lehmann, Paul Morris - Rationality,
rlm@381 204 transitivity, and contraposition
rlm@381 205
rlm@381 206 Anthony S. Maida - Maintaining mental models of agents who have
rlm@381 207 existential misconceptions
rlm@381 208
rlm@381 209 Henry A. Kautz, Bart Selman - Hard problems for simple default logics
rlm@381 210
rlm@381 211 Mark J. Stefik, Stephen Smoliar - Four reviews of The Society of Mind
rlm@381 212 and a response
rlm@381 213
rlm@381 214 Michael G. Dyer - A society of ideas on cognition: Review of Marvin
rlm@381 215 Minsky's The Society of Mind
rlm@381 216
rlm@381 217 Matthew Ginsberg - The society of mind: Marvin Minsky
rlm@381 218
rlm@381 219 George N. Reeke Jr - The society of mind: Marvin Minsky
rlm@381 220
rlm@381 221 Stephen W. Smoliar - The society of mind: Marvin Minsky
rlm@381 222
rlm@381 223 Marvin Minsky - Society of mind: A response to four reviews
rlm@381 224
rlm@381 225 Stephen W. Smoliar - How to build a person: A prolegomenon: John
rlm@381 226 Pollock
rlm@381 227
rlm@381 228 David Makinson, Karl Schlechta - Floating conclusions and zombie
rlm@381 229 paths: Two deep difficulties in the “directly skeptical” approach to
rlm@381 230 defeasible inheritance nets
rlm@381 231
rlm@381 232 Donald A. Norman - Approaches to the study of intelligence
rlm@381 233
rlm@381 234 Rodney A. Brooks - Intelligence without representation
rlm@381 235
rlm@381 236 David Kirsh - Today the earwig, tomorrow man?
rlm@381 237
rlm@381 238 Douglas B. Lenat, Edward A. Feigenbaum - On the thresholds of
rlm@381 239 knowledge
rlm@381 240
rlm@381 241 Jordan B. Pollack - Recursive distributed representations
rlm@381 242
rlm@381 243 R. Bhaskar, Anil Nigam - Qualitative physics using dimensional
rlm@381 244 analysis
rlm@381 245
rlm@381 246 Don F. Beal - A generalised quiescence search algorithm
rlm@381 247
rlm@381 248 Kai-Fu Lee, Sanjoy Mahajan - The development of a world class Othello
rlm@381 249 program
rlm@381 250
rlm@381 251 Helmut Horacek - Reasoning with uncertainty in computer chess
rlm@381 252
rlm@381 253 Jeff Shrager - Induction: Process of inference, learning and
rlm@381 254 discovery: John H. Holland, Keith J. Holyoak, Richard E. Nisbett, and
rlm@381 255 Paul R. Thagard (MIT Press, Cambridge, MA, 1986); 355 pages
rlm@381 256
rlm@381 257 Daniel S. Weld - The psychology of everyday things: Donald A. Norman,
rlm@381 258 (Basic Books, New York, 1988); 257 pages, $19.95
rlm@381 259
rlm@381 260 John R. Anderson - A theory of the origins of human knowledge
rlm@381 261
rlm@381 262 G. Tesauro, T.J. Sejnowski - A parallel network that learns to play
rlm@381 263 backgammon
rlm@381 264
rlm@381 265 G. Priest - Reasoning about truth
rlm@381 266
rlm@381 267 Donald Perlis - Truth and meaning
rlm@381 268
rlm@381 269 Daniel S. Weld - Women, fire, and dangerous things: George Lakoff,
rlm@381 270 (University of Chicago Press, Chicago, IL, 1987); 614 pages, $29.95
rlm@381 271
rlm@381 272 Mark J. Stefik - On book reviews policy and process
rlm@381 273
rlm@381 274 Robert K. Lindsay - The science of the mind: Owen J. Flanagan, Jr.,
rlm@381 275 (MIT Press, Cambridge, MA, 1984); 290 pages
rlm@381 276
rlm@381 277 Sheila Rock - On machine intelligence: Donald Michie, 2nd ed. (Ellis
rlm@381 278 Horwood, Chichester, United Kingdom, 1986); 265 pages, £29.95
rlm@381 279
rlm@381 280 Stephen W. Smoliar - Epistemology and cognition: A.I. Goldman,
rlm@381 281 (Harvard University Press, Cambridge, MA, 1986); ix + 437 pages,
rlm@381 282 $27.50
rlm@381 283
rlm@381 284 David Elliot Shaw - On the range of applicability of an artificial
rlm@381 285 intelligence machine
rlm@381 286
rlm@381 287 Michael Gordon - Machine intelligence and related topics: An
rlm@381 288 information scientist's weekend book: Donald Michie, (Gordon and
rlm@381 289 Breach, New York, 1982); 328 pages, $57.75
rlm@381 290
rlm@381 291 Ryszard S. Michalski, Patrick H. Winston - Variable precision logic
rlm@381 292
rlm@381 293 Martin Herman, Takeo Kanade - Incremental reconstruction of 3D scenes
rlm@381 294 from multiple, complex images
rlm@381 295
rlm@381 296 vision : June 8–11, 1987, London, United Kingdom
rlm@381 297
rlm@381 298 André Vellino - Artificial intelligence: The very idea: J. Haugeland,
rlm@381 299 (MIT Press, Cambridge, MA, 1985); 287 pp.
rlm@381 300
rlm@381 301 Judea Pearl - Fusion, propagation, and structuring in belief networks
rlm@381 302
rlm@381 303 Daniel G. Bobrow - Scientific debate
rlm@381 304
rlm@381 305 Mark Stefik - The AI business: Commercial uses of artificial
rlm@381 306 intelligence: P.H. Winston and K.A. Prendergast, (MIT Press,
rlm@381 307 Cambridge, MA 1984); 324 pages, $15.95
rlm@381 308
rlm@381 309 Hans Berliner, Carl Ebeling - The SUPREM architecture: A new
rlm@381 310 intelligent paradigm
rlm@381 311
rlm@381 312 Donna Reese - Artificial intelligence: P.H. Winston, (Addison-Wesley,
rlm@381 313 Reading, MA, 2nd ed., 1984); 527 pages
rlm@381 314
rlm@381 315 Kenneth D. Forbus - Structure and interpretation of computer programs:
rlm@381 316 H. Abelson and G.J. Sussman with J. Sussman, (MIT, Cambridge, 1985);
rlm@381 317 503 pages
rlm@381 318
rlm@381 319 Chia-Hoang Lee, Azriel Rosenfeld - Improved methods of estimating
rlm@381 320 shape from shading using the light source coordinate system
rlm@381 321
rlm@381 322 Daniel G. Bobrow, Patrick J. Hayes - Artificial intelligence — Where
rlm@381 323 are we?
rlm@381 324
rlm@381 325 Barbara J. Grosz - Natural-language processing
rlm@381 326
rlm@381 327 Johan De Kleer - How circuits work
rlm@381 328
rlm@381 329 G.D. Ritchie, F.K. Hanna - am: A case study in AI methodology
rlm@381 330
rlm@381 331 Douglas B. Lenat, John Seely Brown - Why am and eurisko appear to work
rlm@381 332
rlm@381 333 Elaine Kant - On the efficient synthesis of efficient programs
rlm@381 334
rlm@381 335 Randall Davis, Reid G. Smith - Negotiation as a metaphor for
rlm@381 336 distributed problem solving
rlm@381 337
rlm@381 338 Patrick H. Winston - Learning new principles from precedents and
rlm@381 339 exercises
rlm@381 340
rlm@381 341 Paul S. Rosenbloom - A world-championship-level Othello program
rlm@381 342
rlm@381 343 Tomas Lozano-Perez - Robotics
rlm@381 344
rlm@381 345 Tom M. Mitchell - Generalization as search
rlm@381 346
rlm@381 347 Dana S. Nau - The last player theorem
rlm@381 348
rlm@381 349 Hans J. Berliner - Backgammon computer program beats world champion
rlm@381 350
rlm@381 351 Gerald Jay Sussman, Guy Lewis Steele Jr. - Constraints—A language for
rlm@381 352 expressing almost-hierarchical descriptions
rlm@381 353
rlm@381 354 Takeo Kanade - A theory of Origami world
rlm@381 355
rlm@381 356 Ria Follett - Synthesising recursive functions with side effects
rlm@381 357
rlm@381 358 John McCarthy - Circumscription—A form of non-monotonic reasoning
rlm@381 359
rlm@381 360 Michael A. Bauer - Programming by examples
rlm@381 361
rlm@381 362 Patrick H. Winston - Learning by creatifying transfer frames
rlm@381 363
rlm@381 364 Alan Bundy - Will it reach the top? Prediction in the mechanics world
rlm@381 365
rlm@381 366 Richard M. Stallman, Gerald J. Sussman - Forward reasoning and
rlm@381 367 dependency-directed backtracking in a system for computer-aided
rlm@381 368 circuit analysis
rlm@381 369
rlm@381 370 D. Marr - Artificial intelligence—A personal view
rlm@381 371
rlm@381 372 Berthold K.P. Horn - Understanding image intensities
rlm@381 373
rlm@381 374 F. Malloy Brown - Doing arithmetic without diagrams
rlm@381 375
rlm@381 376 Azriel Rosenfeld - The psychology of computer vision: Patrick Henry
rlm@381 377 Winston (ed.) McGraw-Hill, New York, 1975, vi+282 pages, $19.50
rlm@381 378
rlm@381 379 R.C.T. Lee - On machine intelligence: D. Michie. Halstead Press, a
rlm@381 380 division of John Wiley & Sons, 1974.
rlm@381 381
rlm@381 382 W.W. Bledsoe, Peter Bruell - A man-machine theorem-proving system
rlm@381 383
rlm@381 384 Gary G. Hendrix - Modeling simultaneous actions and continuous
rlm@381 385 processes
rlm@381 386
rlm@381 387 Yoshiaki Shirai - A context sensitive line finder for recognition of
rlm@381 388 polyhedra
rlm@381 389
rlm@381 390 Kenneth Mark Colby, Franklin Dennis Hilf, Sylvia Weber, Helena C
rlm@381 391 Kraemer - Turing-like indistinguishability tests for the validation of
rlm@381 392 a computer simulation of paranoid processes
rlm@381 393
rlm@381 394 Aaron Sloman - Interactions between philosophy and artificial
rlm@381 395 intelligence: The role of intuition and non-logical reasoning in
rlm@381 396 intelligence
rlm@381 397
rlm@381 398 * Story related
rlm@381 399
rlm@381 400 Charles B. Callaway, James C. Lester - Narrative prose generation
rlm@381 401
rlm@386 402 - Katja Markert, Udo Hahn :: Understanding metonymies in discourse
rlm@386 403 Metonymies are difficult enough to drive these people to use the
rlm@386 404 context of the sentences around the metonymy to interpret
rlm@386 405 it. They create a set of heuristics which interpret
rlm@386 406 metonomies. The first is obvious violations of sentence rules,
rlm@386 407 such as having a non-agent do something only an agent can do.
rlm@386 408
rlm@386 409 Another rule is that metonomyies should be more "apt", where it's
rlm@386 410 more likely for a T.V. Screen to refer to the T.V. than a small
rlm@386 411 button on the T.V., or a transistor.
rlm@386 412
rlm@386 413 Metonymies should be very difficult for current parsers to
rlm@386 414 understand, and are good examples, since they are short and
rlm@386 415 require context and common sense.
rlm@386 416
rlm@386 417 They have a dumb, ad-hoc "common sense database" that is
rlm@386 418 dissapointing. It contains subclasses and has-a relations.
rlm@386 419
rlm@386 420 References:
rlm@386 421 + D.A. Cruse, On the transitivity of the part-whole relation,
rlm@386 422 J. Linguistics 15 (1979) 29–38.
rlm@386 423 good quotes:
rlm@386 424 - We took the door off its hinges and went through it.
rlm@386 425 - The house has a handle.sources
rlm@386 426
rlm@381 427
rlm@381 428 Kathleen R. McKeown, Steven K. Feiner, Mukesh Dalal, Shih-Fu Chang -
rlm@381 429 Generating multimedia briefings: coordinating language and
rlm@381 430 illustration
rlm@381 431
rlm@381 432 Varol Akman - Formalizing common sense: Papers by John McCarthy:
rlm@381 433 V. Lifschitz, ed., (Ablex Publishing Corporation, Norwood, NJ, 1990);
rlm@381 434 vi+256 pages, hardback, ISBN 0-89391-535-1 (Library of Congress:
rlm@381 435 Q335.M38 1989)
rlm@381 436
rlm@381 437 Akira Shimaya - Interpreting non-3-D line drawings
rlm@381 438
rlm@381 439 Adam J. Grove - Naming and identity in epistemic logic part II: a
rlm@381 440 first-order logic for naming
rlm@381 441
rlm@381 442 Luc Lismont, Philippe Mongin - A non-minimal but very weak
rlm@381 443 axiomatization of common belief
rlm@381 444
rlm@381 445 on integration of natural language and vision processing
rlm@381 446
rlm@381 447 Russell Greiner - Learning by understanding analogies
rlm@381 448
rlm@381 449 * Review Articles
rlm@381 450
rlm@381 451 H.Jaap van den Herik, Jos W.H.M. Uiterwijk, Jack van Rijswijck - Games
rlm@381 452 solved: Now and in the future
rlm@381 453
rlm@381 454 Jonathan Schaeffer, H.Jaap van den Herik - Games, computers, and
rlm@381 455 artificial intelligence
rlm@381 456
rlm@381 457 Peter A. Flach - On the state of the art in machine learning: A
rlm@381 458 personal review
rlm@381 459
rlm@381 460 A.G. Cohn, D. Perlis - “Field Reviews”: A new style of review article
rlm@381 461 for Artificial Intelligence
rlm@381 462
rlm@381 463 James Delgrande, Arvind Gupta, Tim Van Allen - A comparison of
rlm@381 464 point-based approaches to qualitative temporal reasoning
rlm@381 465
rlm@381 466 Weixiong Zhang, Rina Dechter, Richard E. Korf - Heuristic search in
rlm@381 467 artificial intelligence
rlm@381 468
rlm@381 469 Karen Sparck Jones - Information retrieval and artificial intelligence
rlm@381 470
rlm@381 471 Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dirk Hähnel, Gerhard
rlm@381 472 Lakemeyer, Dirk Schulz, Walter Steiner, Sebastian Thrun - Experiences
rlm@381 473 with an interactive museum tour-guide robot
rlm@381 474
rlm@381 475 Minoru Asada, Hiroaki Kitano, Itsuki Noda, Manuela Veloso - RoboCup:
rlm@381 476 Today and tomorrow—What we have learned
rlm@381 477
rlm@381 478 Margaret A. Boden - Creativity and artificial intelligence
rlm@381 479
rlm@381 480 Daniel G. Bobrow, J.Michael Brady - Artificial Intelligence 40 years
rlm@381 481 later
rlm@381 482
rlm@381 483 Fangzhen Lin, Hector J. Levesque - What robots can do: robot programs
rlm@381 484 and effective achievability
rlm@381 485
rlm@381 486 Melanie Mitchell - L.D. Davis, handbook of genetic algorithms
rlm@381 487
rlm@381 488 Russell Greiner, Adam J. Grove, Alexander Kogan - Knowing what doesn't
rlm@381 489 matter: exploiting the omission of irrelevant data
rlm@381 490
rlm@381 491 W. Whitney, S. Rana, J. Dzubera, K.E. Mathias - Evaluating
rlm@381 492 evolutionary algorithms
rlm@381 493
rlm@381 494 David S. Touretzky - Neural networks in artificial intelligence:
rlm@381 495 Matthew Zeidenberg
rlm@381 496
rlm@381 497 Mark J. Stefik, Stephen W. Smoliar - The commonsense reviews
rlm@381 498
rlm@381 499 Peter Szolovits, Stephen G. Pauker - Categorical and probabilistic
rlm@381 500 reasoning in medicine revisited
rlm@381 501
rlm@381 502 Daniel G. Bobrow - Artificial intelligence in perspective: a
rlm@381 503 retrospective on fifty volumes of the Artificial Intelligence Journal
rlm@381 504
rlm@381 505 David Kirsh - Foundations of AI: The big issues
rlm@381 506
rlm@381 507 Hector J. Levesque - All I know: A study in autoepistemic logic
rlm@381 508
rlm@381 509 J.T. Schwartz, M. Sharir - A survey of motion planning and related
rlm@381 510 geometric algorithms
rlm@381 511
rlm@381 512 Larry S. Davis, Azriel Rosenfeld - Cooperating processes for low-level
rlm@381 513 vision: A survey
rlm@381 514
rlm@381 515 Hans J. Berliner - A chronology of computer chess and its literature
rlm@381 516
rlm@381 517 John McCarthy - Artificial intelligence: a paper symposium: Professor
rlm@381 518 Sir James Lighthill, FRS. Artificial Intelligence: A General
rlm@381 519 Survey. In: Science Research Council, 1973
rlm@381 520 * Cortex related (sensory fusion / simulated worlds)
rlm@381 521
rlm@381 522 Alfonso Gerevini, Jochen Renz - Combining topological and size
rlm@381 523 information for spatial reasoning
rlm@381 524
rlm@381 525 John Slaney, Sylvie Thiébaux - Blocks World revisited
rlm@381 526
rlm@381 527 Wai K. Yeap, Margaret E. Jefferies - Computing a representation of the
rlm@381 528 local environment
rlm@381 529
rlm@381 530 R.P. Loui - On the origin of objects: B.C. Smith's MIT Press,
rlm@381 531 Cambridge, MA, 1996. $37.50 (cloth). $17.50 (paper). 440 pages. ISBN
rlm@381 532 0-262-69209-0
rlm@381 533
rlm@381 534 Tze Yun Leong - Multiple perspective dynamic decision making
rlm@381 535
rlm@381 536 Cristiano Castelfranchi - Modelling social action for AI agents
rlm@381 537
rlm@381 538 Luc Steels - The origins of syntax in visually grounded robotic agents
rlm@381 539
rlm@381 540 Sebastian Thrun - Learning metric-topological maps for indoor mobile
rlm@381 541 robot navigation
rlm@381 542
rlm@381 543 John Haugeland - Body and world: a review of What Computers Still
rlm@381 544 Can't Do: A critique of artificial reason (Hubert L. Dreyfus): (MIT
rlm@381 545 Press, Cambridge, MA, 1992); liii + 354 pages, $13.95
rlm@381 546
rlm@381 547 David J. Musliner, Edmund H. Durfee, Kang G. Shin - World modeling for
rlm@381 548 the dynamic construction of real-time control plans
rlm@381 549
rlm@381 550 Jozsef A. Toth - Reasoning agents in a dynamic world: The frame
rlm@381 551 problem: Kenneth M. Ford and Patrick J. Hayes, eds., (JAI Press,
rlm@381 552 Greenwich, CT, 1991); 290+xiv pages
rlm@381 553
rlm@381 554 Michael A. Arbib, Jim-Shih Liaw - Sensorimotor transformations in the
rlm@381 555 worlds of frogs and robots
rlm@381 556
rlm@381 557 Ingemar J. Cox, John J. Leonard - Modeling a dynamic environment using
rlm@381 558 a Bayesian multiple hypothesis approach
rlm@381 559
rlm@381 560 on integration of natural language and vision processing
rlm@381 561
rlm@381 562 Demetri Terzopoulos, Andrew Witkin, Michael Kass - Constraints on
rlm@381 563 deformable models:Recovering 3D shape and nonrigid motion
rlm@381 564
rlm@381 565 Bruce R. Donald - A search algorithm for motion planning with six
rlm@381 566 degrees of freedom
rlm@381 567
rlm@381 568 Yorick Wilks - Making preferences more active
rlm@381 569
rlm@381 570 * Vision Related
rlm@381 571
rlm@381 572 Azriel Rosenfeld - B. Jähne, H. Haussecker, and P. Geissler, eds.,
rlm@381 573 Handbook of Computer Vision and Applications. 1. Sensors and
rlm@381 574 Imaging. 2. Signal Processing and Pattern Recognition. 3. Systems and
rlm@381 575 Applications
rlm@381 576
rlm@381 577 Thomas F. Stahovich, Randall Davis, Howard Shrobe - Qualitative
rlm@381 578 rigid-body mechanics
rlm@381 579
rlm@381 580 Tzachi Dar, Leo Joskowicz, Ehud Rivlin - Understanding mechanical
rlm@381 581 motion: From images to behaviors
rlm@381 582
rlm@381 583 Minoru Asada, Eiji Uchibe, Koh Hosoda - Cooperative behavior
rlm@381 584 acquisition for mobile robots in dynamically changing real worlds via
rlm@381 585 vision-based reinforcement learning and development
rlm@381 586
rlm@381 587 Thomas F. Stahovich, Randall Davis, Howard Shrobe - Generating
rlm@381 588 multiple new designs from a sketch
rlm@381 589
rlm@381 590 Ernst D. Dickmanns - Vehicles capable of dynamic vision: a new breed
rlm@381 591 of technical beings?
rlm@381 592
rlm@381 593 Thomas G. Dietterich, Richard H. Lathrop, Tomás Lozano-Pérez - Solving
rlm@381 594 the multiple instance problem with axis-parallel rectangles
rlm@381 595
rlm@381 596 Rajesh P.N. Rao, Dana H. Ballard - An active vision architecture based
rlm@381 597 on iconic representations
rlm@381 598
rlm@381 599 John K. Tsotsos, Scan M. Culhane, Winky Yan Kei Wai, Yuzhong Lai, Neal
rlm@381 600 Davis, Fernando Nuflo - Modeling visual attention via selective tuning
rlm@381 601
rlm@381 602 Roger Mohr, Boubakeur Boufama, Pascal Brand - Understanding
rlm@381 603 positioning from multiple images
rlm@381 604
rlm@381 605 Andrew Zisserman, David Forsyth, Joseph Mundy, Charlie Rothwell, Jane
rlm@381 606 Liu, Nic Pillow - 3D object recognition using invariance
rlm@381 607
rlm@381 608 Naresh C. Gupta, Laveen N. Kanal - 3-D motion estimation from motion
rlm@381 609 field
rlm@381 610
rlm@381 611 Damian M. Lyons - Vision, instruction, and action: David Chapman, (MIT
rlm@381 612 Press Cambridge, MA, 1991); 295 pages, $35.00, (paperback)
rlm@381 613
rlm@381 614 Yoshinori Suganuma - Learning structures of visual patterns from
rlm@381 615 single instances
rlm@381 616
rlm@381 617 Dana H. Ballard - Animate vision
rlm@381 618
rlm@381 619 Raymond Reiter, Alan K. Mackworth - A logical framework for depiction
rlm@381 620 and image interpretation
rlm@381 621
rlm@381 622 Ellen Lowenfeld Walker, Martin Herman - Geometric reasoning for
rlm@381 623 constructing 3D scene descriptions from images
rlm@381 624
rlm@381 625 Michele Barry, David Cyrluk, Deepak Kapur, Joseph Mundy, Van-Duc
rlm@381 626 Nguyen - A multi-level geometric reasoning system for vision
rlm@381 627
rlm@381 628 Alex P. Pentland - Shading into texture
rlm@381 629
rlm@381 630 Brady - Parallelism in Vision
rlm@381 631
rlm@381 632 Jon A. Webb, J.K. Aggarwal - Structure from motion of rigid and
rlm@381 633 jointed objects
rlm@381 634
rlm@381 635 Michael Brady - Computer vision
rlm@381 636
rlm@381 637 Takeo Kanade - Recovery of the three-dimensional shape of an object
rlm@381 638 from a single view
rlm@381 639
rlm@381 640 Rodney A. Brooks - Symbolic reasoning among 3-D models and 2-D images
rlm@381 641
rlm@381 642 H.K. Nishihara - Intensity, visible-surface, and volumetric
rlm@381 643 representations
rlm@381 644
rlm@381 645 Thomas O. Binford - Inferring surfaces from images
rlm@381 646
rlm@381 647 Larry S. Davis, Azriel Rosenfeld - Cooperating processes for low-level
rlm@381 648 vision: A survey
rlm@381 649
rlm@384 650 - (1980) Berthold K.P. Horn, Brian G. Schunck - Determining optical
rlm@384 651 flow
rlm@384 652
rlm@384 653 Optical flow is an estimation of the movement of brightness
rlm@384 654 patterns. If the image is "smooth" then optical flow is also an
rlm@384 655 estimate of the movement of objects in the image (projected onto the
rlm@384 656 plane of the image). They get some fairly good results on some very
rlm@384 657 contrived examples. Important point is that calculating optical flow
rlm@384 658 involves a relaxation process where the velocities of regions of
rlm@384 659 constant brightness are inferred from the velocities of the edges of
rlm@384 660 those regions.
rlm@384 661
rlm@384 662 This paper is a lead up to Horn's book, Robot Vision.
rlm@384 663
rlm@384 664 Hexagonal sampling may be a good alternative to rectangular
rlm@384 665 sampling.
rlm@384 666
rlm@384 667 A reduced version of this algorithm is implemented in hardware in
rlm@384 668 optical mice to great effect.
rlm@384 669
rlm@384 670 + Hamming, R.W., Numerical Methods for Scientists and Engineers
rlm@384 671 (McGraw-Hill, New York, 1962).
rlm@384 672 + Limb, J.O. and Murphy, J.A., Estimating the velocity of moving
rlm@384 673 images in television signals, Computer Graphics and Image
rlm@384 674 Processing 4 (4) (1975) 311-327.
rlm@384 675 + Mersereau, R.M., The processing of hexagonally sampled
rlm@384 676 two-dimensional signals, Proc. of the IEEE 67 (6) (1979) 930-949.
rlm@384 677
rlm@384 678
rlm@384 679 - (1993) Berthold K.P. Horn, B.G. Schunck - “Determining optical flow”: a
rlm@384 680 retrospective
rlm@384 681
rlm@384 682 Very useful read where Horn criticies his previous paper.
rlm@384 683
rlm@384 684 - Whishes that he distinguished "optical flow" form "motion
rlm@384 685 field". "Optical flow" is an image property, whilc the "motion
rlm@384 686 field" is the movement of objects in 3D space. "Optical flow" is a
rlm@384 687 2D vector field; the "motion field" is 3D.
rlm@384 688 - Wished he made the limitations of his algorithm more clear.
rlm@384 689 - His original paper didn't concern itself with flow segmentation,
rlm@384 690 which is required to interpret real world images with objects and
rlm@384 691 a background.
rlm@384 692 - Thinks that the best thing about the original paper is that it
rlm@384 693 introduced variational calculus methods into computer vision.
rlm@384 694
rlm@384 695 References:
rlm@384 696
rlm@384 697 + R. Courant and D. Hilbert, Methods of Mathematical Physics
rlm@384 698 (Interscience, New York, 1937/1953).
rlm@384 699 + D. Mart, Vision (Freeman, San Francisco, CA, 1982).
rlm@384 700 + C.M. Thompson, Robust photo-topography by fusing
rlm@384 701 shape-from-shading and stereo,Ph.D. Thesis, Mechanical Engineering
rlm@384 702 Department, MIT, Cambridge, MA (1993).
rlm@384 703 + K. Ikeuchi and B.K.P. Horn, Numerical shape from shading and
rlm@384 704 occluding boundaries, Artif lntell. 17 (1981) 141-184.
rlm@381 705
rlm@381 706 Katsushi Ikeuchi, Berthold K.P. Horn - Numerical shape from shading
rlm@381 707 and occluding boundaries
rlm@381 708
rlm@381 709 Andrew P. Witkin - Recovering surface shape and orientation from
rlm@381 710 texture
rlm@381 711
rlm@381 712 Irwin Sobel - On calibrating computer controlled cameras for
rlm@381 713 perceiving 3-D scenes
rlm@381 714
rlm@381 715 P.M. Will, K.S. Pennington - Grid coding: A preprocessing technique
rlm@381 716 for robot and machine vision
rlm@381 717
rlm@381 718 M.B. Clowes - On seeing things
rlm@381 719
rlm@381 720 Claude R. Brice, Claude L. Fennema - Scene analysis using regions
rlm@383 721
rlm@383 722 * Cryo!
rlm@383 723
rlm@384 724 - (1999) Kenneth D. Forbus, Peter B. Whalley, John O. Everett, Leo
rlm@384 725 Ureel, Mike Brokowski, Julie Baher, Sven E. Kuehne - CyclePad: An
rlm@384 726 articulate virtual laboratory for engineering thermodynamics
rlm@384 727
rlm@384 728 Should learn about thermodynamics, and about "thermal cycles."
rlm@384 729 http://www.qrg.northwestern.edu/projects/NSF/cyclepad/cyclepad.htm
rlm@384 730
rlm@384 731 This system is more about expressing models and assumtions than
rlm@384 732 automatically generating them, and as such is similiar to our "math
rlm@384 733 language" idea.
rlm@384 734
rlm@384 735 It's like a simple circuit modeller, and similar to Dylan's idea of
rlm@384 736 an online circuit modeler.
rlm@384 737
rlm@384 738 #+begin_quote
rlm@384 739 We found that if CyclePad did not do the “obvious” propagation in
rlm@384 740 preference to interpolation, students trusted it less.
rlm@384 741 #+end_quote
rlm@384 742
rlm@384 743 It's too bad that the paper doesn't mention the shortcommings of the
rlm@384 744 system.
rlm@384 745
rlm@384 746 + J.O. Everett, Topological inference of teleology: Deriving
rlm@384 747 function from structure via evidential reasoning, Artificial
rlm@384 748 Intelligence 113 (1999) 149–202.
rlm@384 749 + P. Hayes, Naive physics 1: Ontology for liquids, in: J. Hobbs,
rlm@384 750 R. Moore (Eds.), Formal Theories of the Commonsense World, Ablex,
rlm@384 751 Norwood, NJ, 1985.
rlm@384 752 + P. Nayak, Automated modeling of physical systems, Ph.D. Thesis,
rlm@384 753 Computer Science Department, Stanford University, 1992.
rlm@384 754 + R.W. Haywood, Analysis of Engineering Cycles: Power, Refrigerating
rlm@384 755 and Gas Liquefaction Plant, Pergamon Press, 1985.
rlm@384 756 + R.M. Stallman, G.J. Sussman, Forward reasoning and
rlm@384 757 dependency-directed backtracking in a system for computer-aided
rlm@384 758 circuit analysis, Artificial Intelligence 9 (1977) 135–196.
rlm@384 759 + Dylan should read this, since it concerns his online circuit
rlm@384 760 analysis idea.
rlm@384 761
rlm@384 762