CS 289, Spring 1999, Stuart Russell
Reading List for Knowledge Representation and Reasoning



Books

Artificial Intelligence: A Modern Approach, by Stuart Russell and Peter Norvig, Prentice Hall, 1995.

Week 1 (1/19): Logical agents, propositional logic

Russell and Norvig Ch.2 (skim), Ch.6.

Stephen A. Cook and David G. Mitchell, ``Finding Hard Instances of the Satsifiability Problem: A Survey.'' In Du, D., Gu, J., and Pardalos, P. (Eds.), Satisfiability Problem: Theory and Applications. DIMACS Series in Discrete Mathamatics and Theoretical Computer Science, Volume 35. Providence, R.I.: American Mathematical Society, 1997.

Week 2 (1/26): Propositional logic contd.; first-order logic.

Selman, B., Kautz, H., and McAllester, D., ``Ten Challenges in Propositional Reasoning and Search.'' In Proc. IJCAI-97.

Russell and Norvig Ch.7.1-7.3

Week 3 (2/2): Logic programming and resolution.

Russell and Norvig, Ch.9, Ch.10.1-10.4

Robinson, J. A. ``A machine-oriented logic based on the resolution principle.'' JACM 12(1), 23-41, 1965.

Stickel, M.E. ``A Prolog technology theorem prover: a new exposition and implementation in Prolog.'' Theoretical Computer Science, 104, 109-128, 1992.

Week 4 (2/9): Reasoning about action.

Russell and Norvig Ch.7.4-7.7

Thielscher, M., ``Towards State Update Axioms: Reifying Successor State Axioms.'' In JELIA-98.

Week 5 (2/16): General ontologies.

Russell and Norvig Ch.8

Hayes, P., ``Naive Physics I: An Ontology for Liquids.'' In Hobbs, J. and Moore, R., Formal Theories of the Commonsense World. Ablex, 1985.

Week 6 (2/23): Reasoning about knowledge; logical planning.

Ch.2.5-2.8 of Davis, E., Representations of Commonsense Knowledge. Morgan Kaufmann, 1990.

Russell and Norvig, Ch.11, Ch.12.4, Ch.13

D. Weld, ``Recent Advances in AI Planning.'' To appear in AI Magazine, 1999.

Week 7 (3/2): Logical planning; software agents.

M. Ernst, T. Millstein, and D. Weld, ``Automatic SAT-Compilation of Planning Problems.'' In IJCAI-97.

O. Etzioni, D. Weld, ``A Softbot-Based Interface to the Internet.'' Communications of the ACM, pages 72-76, July 1994.

C. Kwok, D. Weld, ``Planning to Gather Information.'' In AAAI-96.

K. Golden, D. Weld, ``Representing Sensing Actions: The Middle Ground Revisited.'' In KR-96.

B. Doorenbos, O. Etzioni, and D. Weld, ``A Scalable Comparison-Shopping Agent for the World-Wide Web.'' In AGENTS-97.

D. Weld, C. Anderson and D. Smith, ``Extending Graphplan to Handle Uncertainty and Sensing Actions.'' In AAAI-98.

Alon Y. Levy, Anand Rajaraman, and Joann J. Ordille, ``Query answering algorithms for information agents.'' In AAAI-96.

Oliver M. Duschka and Alon Y. Levy, ``Recursive Plans for Information Gathering.'' In IJCAI-97.

Week 8 (3/9): Autonomous logical agents; Bayesian networks.

Pell, B., Bernard, D., Chien, S., Gat, E., Muscettola, N., Nayak, P., Wagner, M., and Williams, B., ``An Autonomous Spacecraft Agent Prototype .'' In AGENTS-97.

Williams, B. and Nayak, P., ``A Model-based Approach to Reactive Self-Configuring Systems.'' In AAAI-96.

Nayak, P. and Williams, B., ``Fast Context Switching in Real-time Propositional Reasoning.'' In AAAI-97.

Williams, B., and Nayak, P., ``A Reactive Planner for a Model-based Executive.'' In IJCAI-97.

Russell and Norvig Ch.14 (review), Ch.15.1-15.2

Week 9 (3/16): Inference in Bayesian networks.

Russell and Norvig (additional material from AIMA 2E)

Zhang, N.L. and Poole, D., ``Exploiting Causal Independence in Bayesian Network Inference.'' JAIR, 5, 301-328, 1996.

Week 10 (3/23): Spring break

Schultz, C. et al. ``Comics.'' In Hearst, W. R. III (Ed.) Sunday Examiner/Chronicle, March 21, 1999.

Week 11 (3/30): Qualitative models; temporal models.

Wellman, M. P., ``Fundamental concepts of qualitative probabilistic networks.'' Artificial Intelligence, 44(3), 257-303, 1990.

Russell and Norvig, Ch.17.4-17.5 (and additional material)

G. Zweig and S. Russell, ``Speech Recognition with Dynamic Bayesian Networks.'' In AAAI-98.

Week 12 (4/6): Object identification; logic and probability.

Timothy Huang, Stuart Russell, ``Object Identification in a Bayesian Context.'' In IJCAI-97.

Halpern, J. ``An analysis of first-order logics of probability.'' Artificial Intelligence, 46(3), 311-50, 1990.

Week 13 (4/13): Logic and probability contd.

D. Koller and A. Pfeffer., ``Object-Oriented Bayesian Networks.'' In UAI-97.

D. Koller and A. Pfeffer., ``Probabilistic frame-based systems.'' In AAAI-98.

Week 14 (4/20): Decision making under uncertainty.

Russell and Norvig, Ch.16, Ch.17.1-3

Craig Boutilier, Richard Dearden, and Moises Goldszmidt, ``Exploiting structure in policy construction.'' In IJCAI-95.

Anthony R. Cassandra, Leslie Pack Kaelbling, and Michael L. Littman, ``Acting Optimally in Partially Observable Stochastic Domains,'' In AAAI-94.

E. A. Hansen., ``Solving POMDPs by Searching in Policy Space.'' In UAI-98.

Week 15 (4/27): Reinforcement learning.

Russell and Norvig, Ch. 21

Leslie Pack Kaelbling, Michael L. Littman, and Andrew W. Moore, ``Reinforcement Learning: A Survey,'' JAIR, 4, 1996.

Ron Parr and Stuart Russell, ``Reinforcement Learning with Hierarchies of Machines.'' In Advances in Neural Information Processing Systems 10, MIT Press, 1998.

Week 16 (5/4): Value of information, metareasoning, bounded optimality.

Stuart Russell and Eric Wefald, ``On optimal game-tree search using rational metareasoning.'' In IJCAI-89.

Russell, S.J., ``Rationality and Intelligence.'' Artificial Intelligence, 94, 57-77, 1997.