CS 289, Spring 1999, Stuart Russell
Reading List with Copyright Information
Week 1 (1/19): Logical agents, propositional logic
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, International Joint Conferences on Artificial Intelligence, Inc.
Week 3 (2/2): Logic programming and resolution.
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.
Thielscher, M.,
``Towards State Update Axioms: Reifying Successor State Axioms.''
In JELIA-98, Springer Verlag.
Week 5 (2/16): General ontologies.
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.
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, International Joint Conferences on Artificial Intelligence, Inc.
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, AAAI Press.
K. Golden, D. Weld, ``Representing Sensing Actions:
The Middle Ground Revisited.'' In KR-96, Morgan Kaufmann Publishers.
B. Doorenbos, O. Etzioni, and D. Weld,
``A Scalable Comparison-Shopping Agent for the World-Wide Web.''
In AGENTS-97, ACM Press.
D. Weld, C. Anderson and D. Smith,
``Extending Graphplan to Handle Uncertainty and Sensing Actions.''
In AAAI-98, AAAI Press.
Alon Y. Levy, Anand Rajaraman, and Joann J. Ordille,
``Query answering algorithms for information agents.''
In AAAI-96, AAAI Press.
Oliver M. Duschka and Alon Y. Levy,
``Recursive Plans for Information Gathering.''
In IJCAI-97, International Joint Conferences on Artificial Intelligence, Inc.
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, ACM Press.
Williams, B. and Nayak, P.,
``A Model-based Approach to Reactive Self-Configuring Systems.''
In AAAI-96, AAAI Press.
Nayak, P. and Williams, B.,
``Fast Context Switching in Real-time Propositional Reasoning.''
In AAAI-97, AAAI Press.
Williams, B., and Nayak, P.,
``A Reactive Planner for a Model-based Executive.''
In IJCAI-97, International Joint Conferences on Artificial Intelligence, Inc.
Week 9 (3/16): Inference in Bayesian networks.
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.
G. Zweig and S. Russell,
``Speech Recognition with Dynamic Bayesian Networks.''
In AAAI-98, AAAI Press.
Week 12 (4/6): Object identification; logic and probability.
Timothy Huang, Stuart Russell,
``Object Identification in a Bayesian Context.''
In IJCAI-97, International Joint Conferences on Artificial Intelligence, Inc.
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, Morgan Kaufmann Publishers.
D. Koller and A. Pfeffer.,
``Probabilistic frame-based systems.''
In AAAI-98, AAAI Press.
Week 14 (4/20): Decision making under uncertainty.
Craig Boutilier, Richard Dearden, and Moises Goldszmidt,
``Exploiting structure in policy construction.''
In IJCAI-95, International Joint Conferences on Artificial Intelligence, Inc.
Anthony R. Cassandra, Leslie Pack Kaelbling, and Michael L. Littman,
``Acting Optimally in Partially Observable Stochastic Domains,''
In AAAI-94, AAAI Press.
E. A. Hansen.,
``Solving POMDPs by Searching in Policy Space.''
In UAI-98, Morgan Kaufmann Publishers.
Week 15 (4/27): Reinforcement learning.
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, International Joint Conferences on Artificial Intelligence, Inc.
Russell, S.J.,
``Rationality and Intelligence.''
Artificial Intelligence, 94, 57-77, 1997.