rlm@381: #+title:Interesting Papers in Artificial Intelligence
rlm@381: 
rlm@383: I decided to read all of the /titles/ in the Artificial Intelligence
rlm@384: journal, and found these interesting papers.  The entire title-reading
rlm@384: process took about 2 hours.
rlm@383: 
rlm@381: * Interesting Concept
rlm@381: 
rlm@384: - (2002) Jordi Delgado - Emergence of social conventions in complex networks
rlm@384:  
rlm@384:   Here, "social conventions" means a very specific property of graphs
rlm@384:   in the context of game theory. Their social networks are groups of
rlm@384:   mindless automotaons which each have a single opinion that can take
rlm@384:   the values "A" or "B". They use the "coordination game" payoff
rlm@384:   matrix that engourages each pair of agents to agree with each other,
rlm@384:   and study various ways the graph can come to 90% of the agents all
rlm@384:   believe either "A" or "B".  It's probably not useful for actual
rlm@384:   social worlds, and there's no simulation of any interesting
rlm@384:   environment, but it might be useful for designing protocols, or as a
rlm@384:   problem solving method.
rlm@384: 
rlm@384:   References: 
rlm@384:   + L.A. Nunes Amaral, A. Scala, M. Barthélémy, H.E. Stanley, Classes
rlm@384:     of small-world networks, Proc. Nat. Acad. Sci. 97 (2000)
rlm@384:     11149–11152.
rlm@384:   + D.J Watts, S.H. Strogatz, Collective dynamics of small-world
rlm@384:     networks, Nature 393 (1998) 440–442.
rlm@384:   + Y. Shoham, M. Tennenholtz, On the emergence of social conventions:
rlm@384:     Modeling, analysis and simulations, Artificial Intelligence 94
rlm@384:     (1997) 139–166.
rlm@384: 
rlm@384: - (1997) Yoav Shoham, Moshe Tennenholtz - On the emergence of social
rlm@384:   conventions: modeling, analysis, and simulations
rlm@384: 
rlm@381: 
rlm@381: Marcelo A. Falappa, Gabriele Kern-Isberner, Guillermo R. Simari -
rlm@381: Explanations, belief revision and defeasible reasoning
rlm@381: 
rlm@381: Claudio Bettini, X.Sean Wang, Sushil Jajodia - Solving
rlm@381: multi-granularity temporal constraint networks
rlm@381: 
rlm@381: Alberto Maria Segre, Sean Forman, Giovanni Resta, Andrew Wildenberg -
rlm@381: Nagging: A scalable fault-tolerant paradigm for distributed search
rlm@381: 
rlm@381: Fahiem Bacchus, Xinguang Chen, Peter van Beek, Toby Walsh - Binary
rlm@381: vs. non-binary constraints
rlm@381: 
rlm@381: Jie Cheng, Russell Greiner, Jonathan Kelly, David Bell, Weiru Liu -
rlm@381: Learning Bayesian networks from data: An information-theory based
rlm@381: approach
rlm@381: 
rlm@381: Kurt Engesser, Dov M. Gabbay - Quantum logic, Hilbert space, revision
rlm@381: theory
rlm@381: 
rlm@381: J.-D. Fouks, L. Signac - The problem of survival from an algorithmic
rlm@381: point of view
rlm@381: 
rlm@381: Catherine Carr - The MIT Encyclopedia of the Cognitive Sciences,
rlm@381: edited by Robert Wilson and Frank Keil
rlm@381: 
rlm@386: - Tim Taylor - Christoph Adami, Introduction to Artificial Life
rlm@386:   References:
rlm@386:   + M.A. Boden (Ed.), The Philosophy of Artificial Life, Oxford
rlm@386:     University Press, Oxford, 1996.
rlm@386:   + C.G. Langton (Ed.), Artificial Life: An Introduction, MIT Press,
rlm@386:     Cambridge, MA, 1995.    
rlm@381: 
rlm@381: A.S d'Avila Garcez, K Broda, D.M Gabbay - Symbolic knowledge
rlm@381: extraction from trained neural networks: A sound approach
rlm@381: 
rlm@381: José Hernández-Orallo - Truth from Trash. How Learning Makes Sense by
rlm@381: Chris Thornton
rlm@381: 
rlm@381: Fabio G. Cozman - Credal networks
rlm@381: 
rlm@381: Aaron N. Kaplan, Lenhart K. Schubert - A computational model of belief
rlm@381: 
rlm@381: Mike Perkowitz, Oren Etzioni - Towards adaptive Web sites: Conceptual
rlm@381: framework and case study
rlm@381: 
rlm@381: Wilhelm Rödder - Conditional logic and the Principle of Entropy
rlm@381: 
rlm@381: Christian Vilhelm, Pierre Ravaux, Daniel Calvelo, Alexandre Jaborska,
rlm@381: Marie-Christine Chambrin, Michel Boniface - Think!: A unified
rlm@381: numerical–symbolic knowledge representation scheme and reasoning
rlm@381: system
rlm@381: 
rlm@381: Charles L. Ortiz Jr. - A commonsense language for reasoning about
rlm@381: causation and rational action
rlm@381: 
rlm@381: Raúl E. Valdés-Pérez - Principles of human—computer collaboration for
rlm@381: knowledge discovery in science
rlm@381: 
rlm@381: Paul Snow - The vulnerability of the transferable belief model to
rlm@381: Dutch books
rlm@381: 
rlm@384: Simon Kasif, Steven Salzberg, David Waltz, John Rachlin, David
rlm@384: W. Aha - A probabilistic framework for memory-based reasoning
rlm@381: 
rlm@381: Geoffrey LaForte, Patrick J. Hayes, Kenneth M. Ford - Why Gödel's
rlm@381: theorem cannot refute computationalism
rlm@381: 
rlm@381: Hiroshi Motoda, Kenichi Yoshida - Machine learning techniques to make
rlm@381: computers easier to use
rlm@381: 
rlm@381: Aravind K. Joshi - Role of constrained computational systems in
rlm@381: natural language processing
rlm@381: 
rlm@381: Moshe Tennenholtz - On stable social laws and qualitative equilibria
rlm@381: 
rlm@381: Michael Arbib - The metaphorical brains
rlm@381: 
rlm@381: Andrew Gelsey, Mark Schwabacher, Don Smith - Using modeling knowledge
rlm@381: to guide design space search
rlm@381: 
rlm@381: Márk Jelasity, József Dombi - GAS, a concept on modeling species in
rlm@381: genetic algorithms
rlm@381: 
rlm@381: Randall H. Wilson - Geometric reasoning about assembly tools
rlm@381: 
rlm@381: Kurt Ammon - An automatic proof of Gödel's incompleteness theorem
rlm@381: 
rlm@381: Shmuel Onn, Moshe Tennenholtz - Determination of social laws for
rlm@381: multi-agent mobilization
rlm@381: 
rlm@381: Stuart J. Russell - Rationality and intelligence
rlm@381: 
rlm@381: Hidde de Jong, Arie Rip - The computer revolution in science: steps
rlm@381: towards the realization of computer-supported discovery environments
rlm@381: 
rlm@381: Adnan Darwiche, Judea Pearl - On the logic of iterated belief revision
rlm@381: 
rlm@381: R.C. Holte, T. Mkadmi, R.M. Zimmer, A.J. MacDonald - Speeding up
rlm@381: problem solving by abstraction: a graph oriented approach
rlm@381: 
rlm@381: R. Holte, T. Mkadmi, R.M. Zimmer, A.J. McDonald - Speeding up problem
rlm@381: solving by abstraction: a graph oriented approach
rlm@381: 
rlm@381: Raúl E. Valdés-Pérez - A new theorem in particle physics enabled by
rlm@381: machine discovery
rlm@381: 
rlm@381: Dan Roth - On the hardness of approximate reasoning
rlm@381: 
rlm@381: Bart Selman, David G. Mitchell, Hector J. Levesque - Generating hard
rlm@381: satisfiability problems
rlm@381: 
rlm@381: Herbert A. Simon - Artificial intelligence: an empirical science
rlm@381: 
rlm@381: John K. Tsotsos - Behaviorist intelligence and the scaling problem
rlm@381: 
rlm@381: Shigeki Goto, Hisao Nojima - Equilibrium analysis of the distribution
rlm@381: of information in human society
rlm@381: 
rlm@381: Raúl E. Valdés-Pérez - Machine discovery in chemistry: new results
rlm@381: 
rlm@381: Stephen W. Smoliar - Artificial life: Christopher G. Langton, ed.
rlm@381: 
rlm@381: Yoav Shoham, Moshe Tennenholtz - On social laws for artificial agent
rlm@381: societies: off-line design
rlm@381: 
rlm@381: Barbara Hayes-Roth - An architecture for adaptive intelligent systems
rlm@381: 
rlm@381: Bruce Randall Donald - On information invariants in robotics
rlm@381: 
rlm@381: Ian P. Gent, Toby Walsh - Easy problems are sometimes hard
rlm@381: 
rlm@381: Tad Hogg, Colin P. Williams - The hardest constraint problems: A
rlm@381: double phase transition
rlm@381: 
rlm@381: Yoram Moses, Yoav Shoham - Belief as defeasible knowledge
rlm@381: 
rlm@381: Donald Michie - Turing's test and conscious thought
rlm@381: 
rlm@381: John McDermott - R1 (“XCON”) at age 12: lessons from an elementary
rlm@381: school achiever
rlm@381: 
rlm@381: Takeo Kanade - From a real chair to a negative chair
rlm@381: 
rlm@381: Harry G. Barrow, J.M. Tenenbaum - Retrospective on “Interpreting line
rlm@381: drawings as three-dimensional surfaces”
rlm@381: 
rlm@381: Judea Pearl - Belief networks revisited
rlm@381: 
rlm@381: Glenn A. Kramer - A geometric constraint engine
rlm@381: 
rlm@381: Fausto Giunchiglia, Toby Walsh - A theory of abstraction
rlm@381: 
rlm@381: John L. Pollock - How to reason defeasibly
rlm@381: 
rlm@381: Aaron Sloman - The emperor's real mind: Review of Roger Penrose's the
rlm@381: emperor's new mind: Concerning computers, minds and the laws of
rlm@381: physics
rlm@381: 
rlm@381: Olivier Dordan - Mathematical problems arising in qualitative
rlm@381: simulation of a differential equation
rlm@381: 
rlm@381: Eric Saund - Putting knowledge into a visual shape representation
rlm@381: 
rlm@381: Michael Freund, Daniel Lehmann, Paul Morris - Rationality,
rlm@381: transitivity, and contraposition
rlm@381: 
rlm@381: Anthony S. Maida - Maintaining mental models of agents who have
rlm@381: existential misconceptions
rlm@381: 
rlm@381: Henry A. Kautz, Bart Selman - Hard problems for simple default logics
rlm@381: 
rlm@381: Mark J. Stefik, Stephen Smoliar - Four reviews of The Society of Mind
rlm@381: and a response
rlm@381: 
rlm@381: Michael G. Dyer - A society of ideas on cognition: Review of Marvin
rlm@381: Minsky's The Society of Mind
rlm@381: 
rlm@381: Matthew Ginsberg - The society of mind: Marvin Minsky
rlm@381: 
rlm@381: George N. Reeke Jr - The society of mind: Marvin Minsky
rlm@381: 
rlm@381: Stephen W. Smoliar - The society of mind: Marvin Minsky
rlm@381: 
rlm@381: Marvin Minsky - Society of mind: A response to four reviews
rlm@381: 
rlm@381: Stephen W. Smoliar - How to build a person: A prolegomenon: John
rlm@381: Pollock
rlm@381: 
rlm@381: David Makinson, Karl Schlechta - Floating conclusions and zombie
rlm@381: paths: Two deep difficulties in the “directly skeptical” approach to
rlm@381: defeasible inheritance nets
rlm@381: 
rlm@381: Donald A. Norman - Approaches to the study of intelligence
rlm@381: 
rlm@381: Rodney A. Brooks - Intelligence without representation
rlm@381: 
rlm@381: David Kirsh - Today the earwig, tomorrow man?
rlm@381: 
rlm@381: Douglas B. Lenat, Edward A. Feigenbaum - On the thresholds of
rlm@381: knowledge
rlm@381: 
rlm@381: Jordan B. Pollack - Recursive distributed representations
rlm@381: 
rlm@381: R. Bhaskar, Anil Nigam - Qualitative physics using dimensional
rlm@381: analysis
rlm@381: 
rlm@381: Don F. Beal - A generalised quiescence search algorithm
rlm@381: 
rlm@381: Kai-Fu Lee, Sanjoy Mahajan - The development of a world class Othello
rlm@381: program
rlm@381: 
rlm@381: Helmut Horacek - Reasoning with uncertainty in computer chess
rlm@381: 
rlm@381: Jeff Shrager - Induction: Process of inference, learning and
rlm@381: discovery: John H. Holland, Keith J. Holyoak, Richard E. Nisbett, and
rlm@381: Paul R. Thagard (MIT Press, Cambridge, MA, 1986); 355 pages
rlm@381: 
rlm@381: Daniel S. Weld - The psychology of everyday things: Donald A. Norman,
rlm@381: (Basic Books, New York, 1988); 257 pages, $19.95
rlm@381: 
rlm@381: John R. Anderson - A theory of the origins of human knowledge
rlm@381: 
rlm@381: G. Tesauro, T.J. Sejnowski - A parallel network that learns to play
rlm@381: backgammon
rlm@381: 
rlm@381: G. Priest - Reasoning about truth
rlm@381: 
rlm@381: Donald Perlis - Truth and meaning
rlm@381: 
rlm@381: Daniel S. Weld - Women, fire, and dangerous things: George Lakoff,
rlm@381: (University of Chicago Press, Chicago, IL, 1987); 614 pages, $29.95
rlm@381: 
rlm@381: Mark J. Stefik - On book reviews policy and process
rlm@381: 
rlm@381: Robert K. Lindsay - The science of the mind: Owen J. Flanagan, Jr.,
rlm@381: (MIT Press, Cambridge, MA, 1984); 290 pages
rlm@381: 
rlm@381: Sheila Rock - On machine intelligence: Donald Michie, 2nd ed. (Ellis
rlm@381: Horwood, Chichester, United Kingdom, 1986); 265 pages, £29.95
rlm@381: 
rlm@381: Stephen W. Smoliar - Epistemology and cognition: A.I. Goldman,
rlm@381: (Harvard University Press, Cambridge, MA, 1986); ix + 437 pages,
rlm@381: $27.50
rlm@381: 
rlm@381: David Elliot Shaw - On the range of applicability of an artificial
rlm@381: intelligence machine
rlm@381: 
rlm@381: Michael Gordon - Machine intelligence and related topics: An
rlm@381: information scientist's weekend book: Donald Michie, (Gordon and
rlm@381: Breach, New York, 1982); 328 pages, $57.75
rlm@381: 
rlm@381: Ryszard S. Michalski, Patrick H. Winston - Variable precision logic
rlm@381: 
rlm@381: Martin Herman, Takeo Kanade - Incremental reconstruction of 3D scenes
rlm@381: from multiple, complex images
rlm@381: 
rlm@381: vision : June 8–11, 1987, London, United Kingdom
rlm@381: 
rlm@381: André Vellino - Artificial intelligence: The very idea: J. Haugeland,
rlm@381: (MIT Press, Cambridge, MA, 1985); 287 pp.
rlm@381: 
rlm@381: Judea Pearl - Fusion, propagation, and structuring in belief networks
rlm@381: 
rlm@381: Daniel G. Bobrow - Scientific debate
rlm@381: 
rlm@381: Mark Stefik - The AI business: Commercial uses of artificial
rlm@381: intelligence: P.H. Winston and K.A. Prendergast, (MIT Press,
rlm@381: Cambridge, MA 1984); 324 pages, $15.95
rlm@381: 
rlm@381: Hans Berliner, Carl Ebeling - The SUPREM architecture: A new
rlm@381: intelligent paradigm
rlm@381: 
rlm@381: Donna Reese - Artificial intelligence: P.H. Winston, (Addison-Wesley,
rlm@381: Reading, MA, 2nd ed., 1984); 527 pages
rlm@381: 
rlm@381: Kenneth D. Forbus - Structure and interpretation of computer programs:
rlm@381: H. Abelson and G.J. Sussman with J. Sussman, (MIT, Cambridge, 1985);
rlm@381: 503 pages
rlm@381: 
rlm@381: Chia-Hoang Lee, Azriel Rosenfeld - Improved methods of estimating
rlm@381: shape from shading using the light source coordinate system
rlm@381: 
rlm@381: Daniel G. Bobrow, Patrick J. Hayes - Artificial intelligence — Where
rlm@381: are we?
rlm@381: 
rlm@381: Barbara J. Grosz - Natural-language processing
rlm@381: 
rlm@381: Johan De Kleer - How circuits work
rlm@381: 
rlm@381: G.D. Ritchie, F.K. Hanna - am: A case study in AI methodology
rlm@381: 
rlm@381: Douglas B. Lenat, John Seely Brown - Why am and eurisko appear to work
rlm@381: 
rlm@381: Elaine Kant - On the efficient synthesis of efficient programs
rlm@381: 
rlm@381: Randall Davis, Reid G. Smith - Negotiation as a metaphor for
rlm@381: distributed problem solving
rlm@381: 
rlm@381: Patrick H. Winston - Learning new principles from precedents and
rlm@381: exercises
rlm@381: 
rlm@381: Paul S. Rosenbloom - A world-championship-level Othello program
rlm@381: 
rlm@381: Tomas Lozano-Perez - Robotics
rlm@381: 
rlm@381: Tom M. Mitchell - Generalization as search
rlm@381: 
rlm@381: Dana S. Nau - The last player theorem
rlm@381: 
rlm@381: Hans J. Berliner - Backgammon computer program beats world champion
rlm@381: 
rlm@381: Gerald Jay Sussman, Guy Lewis Steele Jr. - Constraints—A language for
rlm@381: expressing almost-hierarchical descriptions
rlm@381: 
rlm@381: Takeo Kanade - A theory of Origami world
rlm@381: 
rlm@381: Ria Follett - Synthesising recursive functions with side effects
rlm@381: 
rlm@381: John McCarthy - Circumscription—A form of non-monotonic reasoning
rlm@381: 
rlm@381: Michael A. Bauer - Programming by examples
rlm@381: 
rlm@381: Patrick H. Winston - Learning by creatifying transfer frames
rlm@381: 
rlm@381: Alan Bundy - Will it reach the top? Prediction in the mechanics world
rlm@381: 
rlm@381: Richard M. Stallman, Gerald J. Sussman - Forward reasoning and
rlm@381: dependency-directed backtracking in a system for computer-aided
rlm@381: circuit analysis
rlm@381: 
rlm@381: D. Marr - Artificial intelligence—A personal view
rlm@381: 
rlm@381: Berthold K.P. Horn - Understanding image intensities
rlm@381: 
rlm@381: F. Malloy Brown - Doing arithmetic without diagrams
rlm@381: 
rlm@381: Azriel Rosenfeld - The psychology of computer vision: Patrick Henry
rlm@381: Winston (ed.) McGraw-Hill, New York, 1975, vi+282 pages, $19.50
rlm@381: 
rlm@381: R.C.T. Lee - On machine intelligence: D. Michie. Halstead Press, a
rlm@381: division of John Wiley & Sons, 1974.
rlm@381: 
rlm@381: W.W. Bledsoe, Peter Bruell - A man-machine theorem-proving system
rlm@381: 
rlm@381: Gary G. Hendrix - Modeling simultaneous actions and continuous
rlm@381: processes
rlm@381: 
rlm@381: Yoshiaki Shirai - A context sensitive line finder for recognition of
rlm@381: polyhedra
rlm@381: 
rlm@381: Kenneth Mark Colby, Franklin Dennis Hilf, Sylvia Weber, Helena C
rlm@381: Kraemer - Turing-like indistinguishability tests for the validation of
rlm@381: a computer simulation of paranoid processes
rlm@381: 
rlm@381: Aaron Sloman - Interactions between philosophy and artificial
rlm@381: intelligence: The role of intuition and non-logical reasoning in
rlm@381: intelligence
rlm@381: 
rlm@381: * Story related
rlm@381: 
rlm@381: Charles B. Callaway, James C. Lester - Narrative prose generation
rlm@381: 
rlm@386: - Katja Markert, Udo Hahn :: Understanding metonymies in discourse
rlm@386:      Metonymies are difficult enough to drive these people to use the
rlm@386:      context of the sentences around the metonymy to interpret
rlm@386:      it. They create a set of heuristics which interpret
rlm@386:      metonomies. The first is obvious violations of sentence rules,
rlm@386:      such as having a non-agent do something only an agent can do.
rlm@386: 
rlm@386:      Another rule is that metonomyies should be more "apt", where it's
rlm@386:      more likely for a T.V. Screen to refer to the T.V. than a small
rlm@386:      button on the T.V., or a transistor. 
rlm@386: 
rlm@386:      Metonymies should be very difficult for current parsers to
rlm@386:      understand, and are good examples, since they are short and
rlm@386:      require context and common sense.
rlm@386: 
rlm@386:      They have a dumb, ad-hoc "common sense database" that is
rlm@386:      dissapointing. It contains subclasses and has-a relations.
rlm@386: 
rlm@386:      References:
rlm@386:      + D.A. Cruse, On the transitivity of the part-whole relation,
rlm@386:        J. Linguistics 15 (1979) 29–38.
rlm@386:        good quotes:
rlm@386:        - We took the door off its hinges and went through it.
rlm@386:        - The house has a handle.sources 
rlm@386: 
rlm@381: 
rlm@381: Kathleen R. McKeown, Steven K. Feiner, Mukesh Dalal, Shih-Fu Chang -
rlm@381: Generating multimedia briefings: coordinating language and
rlm@381: illustration
rlm@381: 
rlm@381: Varol Akman - Formalizing common sense: Papers by John McCarthy:
rlm@381: V. Lifschitz, ed., (Ablex Publishing Corporation, Norwood, NJ, 1990);
rlm@381: vi+256 pages, hardback, ISBN 0-89391-535-1 (Library of Congress:
rlm@381: Q335.M38 1989)
rlm@381: 
rlm@381: Akira Shimaya - Interpreting non-3-D line drawings
rlm@381: 
rlm@381: Adam J. Grove - Naming and identity in epistemic logic part II: a
rlm@381: first-order logic for naming
rlm@381: 
rlm@381: Luc Lismont, Philippe Mongin - A non-minimal but very weak
rlm@381: axiomatization of common belief
rlm@381: 
rlm@381: on integration of natural language and vision processing
rlm@381: 
rlm@381: Russell Greiner - Learning by understanding analogies
rlm@381: 
rlm@381: * Review Articles
rlm@381: 
rlm@381: H.Jaap van den Herik, Jos W.H.M. Uiterwijk, Jack van Rijswijck - Games
rlm@381: solved: Now and in the future
rlm@381: 
rlm@381: Jonathan Schaeffer, H.Jaap van den Herik - Games, computers, and
rlm@381: artificial intelligence
rlm@381: 
rlm@381: Peter A. Flach - On the state of the art in machine learning: A
rlm@381: personal review
rlm@381: 
rlm@381: A.G. Cohn, D. Perlis - “Field Reviews”: A new style of review article
rlm@381: for Artificial Intelligence
rlm@381: 
rlm@381: James Delgrande, Arvind Gupta, Tim Van Allen - A comparison of
rlm@381: point-based approaches to qualitative temporal reasoning
rlm@381: 
rlm@381: Weixiong Zhang, Rina Dechter, Richard E. Korf - Heuristic search in
rlm@381: artificial intelligence
rlm@381: 
rlm@381: Karen Sparck Jones - Information retrieval and artificial intelligence
rlm@381: 
rlm@381: Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dirk Hähnel, Gerhard
rlm@381: Lakemeyer, Dirk Schulz, Walter Steiner, Sebastian Thrun - Experiences
rlm@381: with an interactive museum tour-guide robot
rlm@381: 
rlm@381: Minoru Asada, Hiroaki Kitano, Itsuki Noda, Manuela Veloso - RoboCup:
rlm@381: Today and tomorrow—What we have learned
rlm@381: 
rlm@381: Margaret A. Boden - Creativity and artificial intelligence
rlm@381: 
rlm@381: Daniel G. Bobrow, J.Michael Brady - Artificial Intelligence 40 years
rlm@381: later
rlm@381: 
rlm@381: Fangzhen Lin, Hector J. Levesque - What robots can do: robot programs
rlm@381: and effective achievability
rlm@381: 
rlm@381: Melanie Mitchell - L.D. Davis, handbook of genetic algorithms
rlm@381: 
rlm@381: Russell Greiner, Adam J. Grove, Alexander Kogan - Knowing what doesn't
rlm@381: matter: exploiting the omission of irrelevant data
rlm@381: 
rlm@381: W. Whitney, S. Rana, J. Dzubera, K.E. Mathias - Evaluating
rlm@381: evolutionary algorithms
rlm@381: 
rlm@381: David S. Touretzky - Neural networks in artificial intelligence:
rlm@381: Matthew Zeidenberg
rlm@381: 
rlm@381: Mark J. Stefik, Stephen W. Smoliar - The commonsense reviews
rlm@381: 
rlm@381: Peter Szolovits, Stephen G. Pauker - Categorical and probabilistic
rlm@381: reasoning in medicine revisited
rlm@381: 
rlm@381: Daniel G. Bobrow - Artificial intelligence in perspective: a
rlm@381: retrospective on fifty volumes of the Artificial Intelligence Journal
rlm@381: 
rlm@381: David Kirsh - Foundations of AI: The big issues
rlm@381: 
rlm@381: Hector J. Levesque - All I know: A study in autoepistemic logic
rlm@381: 
rlm@381: J.T. Schwartz, M. Sharir - A survey of motion planning and related
rlm@381: geometric algorithms
rlm@381: 
rlm@381: Larry S. Davis, Azriel Rosenfeld - Cooperating processes for low-level
rlm@381: vision: A survey
rlm@381: 
rlm@381: Hans J. Berliner - A chronology of computer chess and its literature
rlm@381: 
rlm@381: John McCarthy - Artificial intelligence: a paper symposium: Professor
rlm@381: Sir James Lighthill, FRS. Artificial Intelligence: A General
rlm@381: Survey. In: Science Research Council, 1973
rlm@381: * Cortex related (sensory fusion / simulated worlds)
rlm@381: 
rlm@381: Alfonso Gerevini, Jochen Renz - Combining topological and size
rlm@381: information for spatial reasoning
rlm@381: 
rlm@381: John Slaney, Sylvie Thiébaux - Blocks World revisited
rlm@381: 
rlm@381: Wai K. Yeap, Margaret E. Jefferies - Computing a representation of the
rlm@381: local environment
rlm@381: 
rlm@381: R.P. Loui - On the origin of objects: B.C. Smith's MIT Press,
rlm@381: Cambridge, MA, 1996. $37.50 (cloth). $17.50 (paper). 440 pages. ISBN
rlm@381: 0-262-69209-0
rlm@381: 
rlm@381: Tze Yun Leong - Multiple perspective dynamic decision making
rlm@381: 
rlm@381: Cristiano Castelfranchi - Modelling social action for AI agents
rlm@381: 
rlm@381: Luc Steels - The origins of syntax in visually grounded robotic agents
rlm@381: 
rlm@381: Sebastian Thrun - Learning metric-topological maps for indoor mobile
rlm@381: robot navigation
rlm@381: 
rlm@381: John Haugeland - Body and world: a review of What Computers Still
rlm@381: Can't Do: A critique of artificial reason (Hubert L. Dreyfus): (MIT
rlm@381: Press, Cambridge, MA, 1992); liii + 354 pages, $13.95
rlm@381: 
rlm@381: David J. Musliner, Edmund H. Durfee, Kang G. Shin - World modeling for
rlm@381: the dynamic construction of real-time control plans
rlm@381: 
rlm@381: Jozsef A. Toth - Reasoning agents in a dynamic world: The frame
rlm@381: problem: Kenneth M. Ford and Patrick J. Hayes, eds., (JAI Press,
rlm@381: Greenwich, CT, 1991); 290+xiv pages
rlm@381: 
rlm@381: Michael A. Arbib, Jim-Shih Liaw - Sensorimotor transformations in the
rlm@381: worlds of frogs and robots
rlm@381: 
rlm@381: Ingemar J. Cox, John J. Leonard - Modeling a dynamic environment using
rlm@381: a Bayesian multiple hypothesis approach
rlm@381: 
rlm@381: on integration of natural language and vision processing
rlm@381: 
rlm@381: Demetri Terzopoulos, Andrew Witkin, Michael Kass - Constraints on
rlm@381: deformable models:Recovering 3D shape and nonrigid motion
rlm@381: 
rlm@381: Bruce R. Donald - A search algorithm for motion planning with six
rlm@381: degrees of freedom
rlm@381: 
rlm@381: Yorick Wilks - Making preferences more active
rlm@381: 
rlm@381: * Vision Related
rlm@381: 
rlm@381: Azriel Rosenfeld - B. Jähne, H. Haussecker, and P. Geissler, eds.,
rlm@381: Handbook of Computer Vision and Applications. 1. Sensors and
rlm@381: Imaging. 2. Signal Processing and Pattern Recognition. 3. Systems and
rlm@381: Applications
rlm@381: 
rlm@381: Thomas F. Stahovich, Randall Davis, Howard Shrobe - Qualitative
rlm@381: rigid-body mechanics
rlm@381: 
rlm@381: Tzachi Dar, Leo Joskowicz, Ehud Rivlin - Understanding mechanical
rlm@381: motion: From images to behaviors
rlm@381: 
rlm@381: Minoru Asada, Eiji Uchibe, Koh Hosoda - Cooperative behavior
rlm@381: acquisition for mobile robots in dynamically changing real worlds via
rlm@381: vision-based reinforcement learning and development
rlm@381: 
rlm@381: Thomas F. Stahovich, Randall Davis, Howard Shrobe - Generating
rlm@381: multiple new designs from a sketch
rlm@381: 
rlm@381: Ernst D. Dickmanns - Vehicles capable of dynamic vision: a new breed
rlm@381: of technical beings?
rlm@381: 
rlm@381: Thomas G. Dietterich, Richard H. Lathrop, Tomás Lozano-Pérez - Solving
rlm@381: the multiple instance problem with axis-parallel rectangles
rlm@381: 
rlm@381: Rajesh P.N. Rao, Dana H. Ballard - An active vision architecture based
rlm@381: on iconic representations
rlm@381: 
rlm@381: John K. Tsotsos, Scan M. Culhane, Winky Yan Kei Wai, Yuzhong Lai, Neal
rlm@381: Davis, Fernando Nuflo - Modeling visual attention via selective tuning
rlm@381: 
rlm@381: Roger Mohr, Boubakeur Boufama, Pascal Brand - Understanding
rlm@381: positioning from multiple images
rlm@381: 
rlm@381: Andrew Zisserman, David Forsyth, Joseph Mundy, Charlie Rothwell, Jane
rlm@381: Liu, Nic Pillow - 3D object recognition using invariance
rlm@381: 
rlm@381: Naresh C. Gupta, Laveen N. Kanal - 3-D motion estimation from motion
rlm@381: field
rlm@381: 
rlm@381: Damian M. Lyons - Vision, instruction, and action: David Chapman, (MIT
rlm@381: Press Cambridge, MA, 1991); 295 pages, $35.00, (paperback)
rlm@381: 
rlm@381: Yoshinori Suganuma - Learning structures of visual patterns from
rlm@381: single instances
rlm@381: 
rlm@381: Dana H. Ballard - Animate vision
rlm@381: 
rlm@381: Raymond Reiter, Alan K. Mackworth - A logical framework for depiction
rlm@381: and image interpretation
rlm@381: 
rlm@381: Ellen Lowenfeld Walker, Martin Herman - Geometric reasoning for
rlm@381: constructing 3D scene descriptions from images
rlm@381: 
rlm@381: Michele Barry, David Cyrluk, Deepak Kapur, Joseph Mundy, Van-Duc
rlm@381: Nguyen - A multi-level geometric reasoning system for vision
rlm@381: 
rlm@381: Alex P. Pentland - Shading into texture
rlm@381: 
rlm@381: Brady - Parallelism in Vision
rlm@381: 
rlm@381: Jon A. Webb, J.K. Aggarwal - Structure from motion of rigid and
rlm@381: jointed objects
rlm@381: 
rlm@381: Michael Brady - Computer vision
rlm@381: 
rlm@381: Takeo Kanade - Recovery of the three-dimensional shape of an object
rlm@381: from a single view
rlm@381: 
rlm@381: Rodney A. Brooks - Symbolic reasoning among 3-D models and 2-D images
rlm@381: 
rlm@381: H.K. Nishihara - Intensity, visible-surface, and volumetric
rlm@381: representations
rlm@381: 
rlm@381: Thomas O. Binford - Inferring surfaces from images
rlm@381: 
rlm@381: Larry S. Davis, Azriel Rosenfeld - Cooperating processes for low-level
rlm@381: vision: A survey
rlm@381: 
rlm@384: - (1980) Berthold K.P. Horn, Brian G. Schunck - Determining optical
rlm@384:   flow
rlm@384: 
rlm@384:   Optical flow is an estimation of the movement of brightness
rlm@384:   patterns. If the image is "smooth" then optical flow is also an
rlm@384:   estimate of the movement of objects in the image (projected onto the
rlm@384:   plane of the image). They get some fairly good results on some very
rlm@384:   contrived examples. Important point is that calculating optical flow
rlm@384:   involves a relaxation process where the velocities of regions of
rlm@384:   constant brightness are inferred from the velocities of the edges of
rlm@384:   those regions.
rlm@384:   
rlm@384:   This paper is a lead up to Horn's book, Robot Vision.
rlm@384: 
rlm@384:   Hexagonal sampling may be a good alternative to rectangular
rlm@384:   sampling.
rlm@384: 
rlm@384:   A reduced version of this algorithm is implemented in hardware in
rlm@384:   optical mice to great effect.
rlm@384: 
rlm@384:   + Hamming, R.W., Numerical Methods for Scientists and Engineers
rlm@384:     (McGraw-Hill, New York, 1962).
rlm@384:   + Limb, J.O. and Murphy, J.A., Estimating the velocity of moving
rlm@384:     images in television signals, Computer Graphics and Image
rlm@384:     Processing 4 (4) (1975) 311-327.
rlm@384:   + Mersereau, R.M., The processing of hexagonally sampled
rlm@384:     two-dimensional signals, Proc. of the IEEE 67 (6) (1979) 930-949.
rlm@384: 
rlm@384: 
rlm@384: - (1993) Berthold K.P. Horn, B.G. Schunck - “Determining optical flow”: a
rlm@384:   retrospective
rlm@384:   
rlm@384:   Very useful read where Horn criticies his previous paper.
rlm@384: 
rlm@384:   - Whishes that he distinguished "optical flow" form "motion
rlm@384:     field". "Optical flow" is an image property, whilc the "motion
rlm@384:     field" is the movement of objects in 3D space. "Optical flow" is a
rlm@384:     2D vector field; the "motion field" is 3D.
rlm@384:   - Wished he made the limitations of his algorithm more clear.
rlm@384:   - His original paper didn't concern itself with flow segmentation,
rlm@384:     which is required to interpret real world images with objects and
rlm@384:     a background.
rlm@384:   - Thinks that the best thing about the original paper is that it
rlm@384:     introduced variational calculus methods into computer vision.
rlm@384:     
rlm@384:   References:
rlm@384: 
rlm@384:   + R. Courant and D. Hilbert, Methods of Mathematical Physics
rlm@384:     (Interscience, New York, 1937/1953).
rlm@384:   + D. Mart, Vision (Freeman, San Francisco, CA, 1982).
rlm@384:   + C.M. Thompson, Robust photo-topography by fusing
rlm@384:     shape-from-shading and stereo,Ph.D. Thesis, Mechanical Engineering
rlm@384:     Department, MIT, Cambridge, MA (1993).
rlm@384:   + K. Ikeuchi and B.K.P. Horn, Numerical shape from shading and
rlm@384:     occluding boundaries, Artif lntell. 17 (1981) 141-184.
rlm@381: 
rlm@381: Katsushi Ikeuchi, Berthold K.P. Horn - Numerical shape from shading
rlm@381: and occluding boundaries
rlm@381: 
rlm@381: Andrew P. Witkin - Recovering surface shape and orientation from
rlm@381: texture
rlm@381: 
rlm@381: Irwin Sobel - On calibrating computer controlled cameras for
rlm@381: perceiving 3-D scenes
rlm@381: 
rlm@381: P.M. Will, K.S. Pennington - Grid coding: A preprocessing technique
rlm@381: for robot and machine vision
rlm@381: 
rlm@381: M.B. Clowes - On seeing things
rlm@381: 
rlm@381: Claude R. Brice, Claude L. Fennema - Scene analysis using regions
rlm@383: 
rlm@383: * Cryo!
rlm@383: 
rlm@384: - (1999) Kenneth D. Forbus, Peter B. Whalley, John O. Everett, Leo
rlm@384:   Ureel, Mike Brokowski, Julie Baher, Sven E. Kuehne - CyclePad: An
rlm@384:   articulate virtual laboratory for engineering thermodynamics
rlm@384:      
rlm@384:   Should learn about thermodynamics, and about "thermal cycles."
rlm@384:   http://www.qrg.northwestern.edu/projects/NSF/cyclepad/cyclepad.htm
rlm@384:   
rlm@384:   This system is more about expressing models and assumtions than
rlm@384:   automatically generating them, and as such is similiar to our "math
rlm@384:   language" idea.
rlm@384: 
rlm@384:   It's like a simple circuit modeller, and similar to Dylan's idea of
rlm@384:   an online circuit modeler.
rlm@384:   
rlm@384:   #+begin_quote
rlm@384:   We found that if CyclePad did not do the “obvious” propagation in
rlm@384:   preference to interpolation, students trusted it less.
rlm@384:   #+end_quote
rlm@384:   
rlm@384:   It's too bad that the paper doesn't mention the shortcommings of the
rlm@384:   system. 
rlm@384:   
rlm@384:   + J.O. Everett, Topological inference of teleology: Deriving    
rlm@384:     function from structure via evidential reasoning, Artificial
rlm@384:     Intelligence 113 (1999) 149–202.
rlm@384:   + P. Hayes, Naive physics 1: Ontology for liquids, in: J. Hobbs,
rlm@384:     R. Moore (Eds.), Formal Theories of the Commonsense World, Ablex,
rlm@384:     Norwood, NJ, 1985.
rlm@384:   + P. Nayak, Automated modeling of physical systems, Ph.D. Thesis,
rlm@384:     Computer Science Department, Stanford University, 1992.
rlm@384:   + R.W. Haywood, Analysis of Engineering Cycles: Power, Refrigerating
rlm@384:     and Gas Liquefaction Plant, Pergamon Press, 1985.
rlm@384:   + R.M. Stallman, G.J. Sussman, Forward reasoning and
rlm@384:     dependency-directed backtracking in a system for computer-aided
rlm@384:     circuit analysis, Artificial Intelligence 9 (1977) 135–196.
rlm@384:     + Dylan should read this, since it concerns his online circuit
rlm@384:       analysis idea.
rlm@384: 
rlm@384: