http://bactra.org/notebooks Cosma's Notebooks en http://bactra.org/notebooks/2009/04/10#ai <em>Note: I quite realize this notebook is grossly inadequate to its subject. I hope to put a much better one in its place soon.</em> <P><em>See also</em>: <a href="alife.html">Artificial Life</a>; <a href="cognitive-science.html">Cognitive Science</a>; <a href="learning-theory.html">Learning Theory, Computational and Statistical</a>; <a href="learning-inference-induction.html">Machine Learning, Statistical Inference and Induction</a>; <a href="multi-agent-systems.html">Multi-Agent Systems</a>; <a href="neuroscience.html">Neuroscience</a> <P><ul>Recommended: <li>Valentino Braitenberg, <cite>Vehicles: Experiments in Synthetic Psychology</cite> [<a href="../reviews/vehicles/">Review: Hume on Wheels, or, One Must Imagine Frankenstein Happy</a>] <li><a href="dennett.html">Daniel Dennett</a> <ul> <li><cite>Brainstorms</cite> <li><cite>Brainchildren: Essays on Designing Minds</cite> [<a href="../reviews/brainchildren/">Review: An Attempt to Introduce the Experimental Mode of Reasoning into Moral Subjects</a>] </ul> <li><a href="john-holland.html">John Holland</a>, <cite><a href="evol-comp.html">Adaptation in Natural and Artificial Systems</a></cite> <li><a href="http://www.cs.brandeis.edu/~brendy/">Brendan Kitts</a>, "<a href="http://www.cs.brandeis.edu/~brendy/life_sys.html#research">AI</a>" in <a href="http://www.cs.brandeis.edu/~brendy/life_sys.html">Intelligent Living Systems</a> [Usually a title like that makes my fingers twitch, but Kitts is himself a very intelligent and fairly discriminating living system, even if he does mis-spell my name.] <li>Marvin Minsky, <cite>The Society of Mind</cite> <li>Herbert <a href="simon.html">Simon</a>, <cite>The Sciences of the Artificial</cite> </ul> <ul>To read: <li>Philip Agre, <cite>Computation and Human Experience</cite> <li>Philip Agre and Ian Horswill, "Lifeworld Analysis," <cite>Journal of Artificial Intelligence Research</cite> <Strong>6</strong> (1997): 111--145 <li>James S. Albus and Alexander M. Meystel <ul> <li><cite>Engineering of Mind</cite> <li><citE>Intelligent Systems</cite> </ul> <li>Justine Cassell, Joseph Sullivan, Scott Prevost, and Elizabeth Churchill (eds.), <cite>Embodied Computational Agents</cite> <li>Harry M. Collins, <cite>Artificial Experts: Social Knowledge and Intelligent Machines</cite> <li>John C. Collins, "On the Compatibility Between Physics and Intelligent Organisms," <a href="http://arxiv.org/abs/physics/0102024">physics/0102024</a> [Claims to have a truly elegant refutation of Penrose] <li>Craig DeLancey, <cite>Passionate Engines: What Emotions Reveal about the Mind and Artificial Intelligence</cite> <li>Hamid R.Ekbia, <cite>Artificial Dreams: The Quest for Non-Biological Intelligence</cite> [<a href="http://cambridge.org/9780521703390">blurb</a>] <li>Kenneth M. Ford, Clark Glymour &amp; Patrick J. Hayes (eds.), <cite>Android Epistemology</cite> <li>Stefano Franchi and Guven Guzeldere (eds.), <cite>Mechanical Bodies, Computational Minds: Artificial Intelligence from Automata to Cyborgs</cite> <li>Vineet Gupta, Radha Jagadeesan and Prakash Panangaden, "Approximate reasoning for real-time probabilistic processes", <a href="http://arxiv.org/abs/cs.LO/0505063">cs.LO/0505063</a> <li>Joseph Y. Halpern and Riccardo Pucella, "Probabilistic Algorithmic Knowledge", <a href="http://arxiv.org/abs/cs.AI/0503018">cs.AI/0503018</a> <li>Marcus Hutter, "Towards a Universal Theory of Artificial Intelligence based on Algorithmic Probability and Sequential Decision Theory," <a href="http://arxiv.org/abs/cs.AI/0012011">cs.AI/0012011</a> <li><a href="http://www.cogs.susx.ac.uk/users/christ/teachpacks/mlcourse/contents.html">Learning in robots</a> <li>Hector J. Levesque and Gerhard Lakemeyer, <cite>The Logic of Knowledge Bases</cite> [<a href="http://mitpress.mit.edu/9780262122320">blurb</a>] <li>R. Levinson, "A General Programming Language for Unified Planning and Control," <cite>Artificial Intelligence</cite> <strong>76</strong> (1995) <li>Luo Zhaohui, <cite>Computation and Reason: A Type Theory for Computer Science</cite> <li>Arthur B. Markman, <cite>Knowledge Representation</cite> <li>N. Muscettola, G. A. Dorais, C. Fry, R. Levinson and C. Plaunt, "A Unified Approach to Model-Based Planning and Execution," in <cite>Proceedings of the 6th International Conference on Intelligent Autonomous Systems</cite> <li>Nils Nilsson, <cite>Artificial Intelligence</cite> [New textbook from one of the Masters] <li>John Pollock, <cite>How to Build a Person: A Prolegomenon</cite> <li>Alex Roland and Philip Shiman, <cite>Strategic Computing: DARPA and the Quest for Machine Intelligence, 1983--1993</cite> <li>Stuart Russell and Peter Norvig, <cite>Artificial Intelligence, a Modern Approach</cite> [<a href="http://www.stat.cmu.edu/~klinkner/">Kris</a> assures me it's as good as it looks.] <li>Stuart Russell and Eric H. Wefald, <cite>Do the Right Thing: Studies in Limited Rationality</cite> </ul>