Three
properties
of heuristics computed by problem relaxation,
as written in class on 2014-03-04
Definition of search tree with an example, from Edelkamp and Schroedl
(Stefan Edelkamp and Stefan Schroedl.
Heuristic Search: Theory and Applications.
Morgan Kauffman, 2011.
Propositions and Inference,
covering chapter 5 of [P]
Quizzes (In-Class Exercises)
Quiz 1 of 17-01-11
(with answer)
Quiz 3 of 17-01-19
(with answer) (This quiz was assigned before quiz 2.)
Quiz 2 of 17-01-24
(with answer)
Quiz 4 of 17-02-02
(with answer) (The quiz as assigned had an error; all students who
took it are given full credit.)
Quiz 5 of 17-02-16
(with answer)
Quiz 6 of 17-03-28
(with answer; docx format)
Quiz 7 of 17-03-39
(with answer; docx format)
Quiz 8 of 17-03-30
(with answer; docx format)
Quiz 9 of 17-03-30
(with answer; docx format)
Quiz 10 of 17-03-30
(with answer; docx format)
Quiz 11 of 17-04-11
(with answer; docx format)
Quiz 12 of 17-04-18
(with answer; docx format)
The USC Blackboard
has a site for this course.
Some useful links:
-
Brian Hayes. "The Manifest Destiny of Artificial
Intelligence." American Scientist, Volume 100, Number 4 (July-August
2012), 282-287
(local copy)
.
- Bruce G. Buchanan. "A (Very) Brief History of Artificial Intelligence."
AI Magazine, Winter 2005, pp.53-60
(local copy),
related links at aaai.org, compiled
by the author, including
AI in the News, a digest compiled by the
Association for the Advancement of Artificial Intelligence (AAAI).
-
Allen Newell. "Intellectual Issues in the History of Artificial Intelligence."
From: Fritz Machlup and Una Mansfield, eds. The Study of Information:
Interdisciplinary Messages. John Wiley and Sons, 1983, pp.187-227.
(local copy).
-
Derek Partridge and Yorick Wilks.
"Does AI Have a Methodology Different from Software Engineering?"
Technical Report MCCS-86-53, Computing Research Laboratory,
New Mexico State University, 1986
(local copy).
-
An obituary of Ray Solomonoff,
co-inventor of
descriptive complexity (Kolmogorov complexity) and advocate of the use
of probability in artificial intelligence, written by his wife, Grace
(_Algorithms_ 2010, 3, 255-259).
- In this class, we write dates according to
ISO Standard 8601.
-
The
Alan Turing Home Page, maintained by Andrew Hodges.
-
Alan Turing's
``Computing Machinery and Intelligence,''
Mind, 49 (1950), pp.433-460
, in HTML format.
-
Hart, P., Nilsson, N., and Raphael, B.,
"A Formal Basis for the Heuristic Determination of Minimum Cost Paths,"
IEEE Trans. Syst. Science and Cybernetics, SSC-4(2):100-107, 1968.
(local copy).
-
Hart, P., Nilsson, N., and Raphael, B.,
"Correction to 'A Formal Basis for the Heuristic Determination of
Minimum-Cost Paths'," SIGART Newsletter, no. 37, pp. 28-29, December, 1972.
(local copy).
-
Judea Pearl. "On the Discovery and Generation of Certain Heuristics."
AI Magazine, 4, 1 (Winter/Spring 1983), 23-34
(local copy).
-
M. Valtorta. "A Result on the Computational Complexity of Heuristic
Estimates for the A* Algorithm.
Information Sciences, 34, 47-59 (1984),
(local copy).
-
Irina Rish and Rina Dechter.
"Resolution vs. Search: Two Strategies for SAT."
Report R-80, Department of Information and Computer Science,
University of California, Irvine, undated.
Published under the same title in: Journal of Automated Reasoning.
Volume 24, Issue 1/2 (special issue on SAT), pp. 225-275, January, 2000.
-
John McCarthy's Obituary from the _New York Times_, 2011-10-25
(local copy).
-
Local copy of
Raymond Reiter, "A Theory of Diagnosis from First Principles." Artificial
Intelligence, 32, 1, pp.57-96, 1987.
-
Local copy of
Russell Greiner, Barbara A. Smith, and Ralph W. Wilkerson.
"A Correction to the Algorithm in Reiter's Theory of
Diagnosis. Artificial Intelligence, 41, pp.79-88.
-
George F. Luger and William A. Stubblefield.
AI Algorithms, Data Structures, and Idioms in Prolog, Lisp, and Java.
Addison-Welsey, 2009
(local copy).