CS534 ARTIFICIAL INTELLIGENCE. SPRING 98
SCHEDULE OF CLASSES

PROF. CAROLINA RUIZ
Department of Computer Science
Worcester Polytechnic Institute

Date  Due	Topic 							Chapters 

J19  		Introduction, Agents					1, 2
J21		Agents, Problem solving, Search				2, 3

J26		Blind search, Informed search				3, 4
J28 [0]		Game playing						5

F02 [1,2]	Knowledge representation: Propositional logic		6
F04 [3]		First order logic, Unification				7, 9

F09  PY1	Inference in first order logic				9
F11 [6] 	Logic programming systems				10

F16 [7]		Rule-based systems					10
F18 [8]		Frame systems and inheritance				10

F23		Planning						11
F25 [4]		More on planning					12

M02		Review
M04		MIDTERM EXAM	

M09  PY2	Uncertainty						14
M11		Probabilistic reasoning systems				15

M16 [5]		Machine learning					18
M18		Inductive learning					18 

M23		TBA
M25             TBA

M30  PY4	Learning in neural and belief nets			19
A01             More on neural networks and error back propagation	19

A06		Genetic algorithms
A08		Additional topics on machine learning

A13		Natural language and natural language processing	22
A15		More on natural language processing			23

A20  PY3	Machine vision						24
A22		More on machine vision					24

A27		FINAL EXAM
A29		Conclusions and final remarks

Assigned Papers

• [0] Selman, B. et al. "Challenge Problems for Artificial Intelligence". Proc. AAAI-96, AAAI Press. Online version

• [1] Kirkpatrick, S. Gelatt, CD, and Vecchi, MP, "Optimization by Simulated Annealing", Science 220(4589):671-680, 1983.

• [2] Kaindl, H. and Kainz, G. (1997) "Bidirectional Heuristic Search Reconsidered", Volume 7, pages 283-317. Online version

• [3] J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of the ACM, 12(1):23-41, January 1965.

• [4] P. J. M. Val Laarhoven, E. H. L. Aarts, and J. K. Lenstra, "Job shop scheduling by simulated annealing", Operations Research 40(1):113-125, January-February 1992.

• [5] Webb, G.I. (1995) "OPUS: An Efficient Admissible Algorithm for Unordered Search", Volume 3, pages 431-465. Online version

• [6] Lifschitz, V. "Foundations of Logic Programming". Principles of Knowledge Representation", CSLI Publications, pp. 69-127.
  Read pp. 1-21, 33-36 (Prolog with Negation as Failure), 47-57.

• [7] Buchanan, B.G., Smith, R.G. "Fundamentals of Expert Systems" Ann. Rev. Compt. Sci. 3: 23-58. 1988

• [8] Minsky, M. "A Framework for Representing Knowledge" In Haugeland, J. ed. "Mind Design: Philosophy, psychology, Artificial Intelligence", MIT Press, 1981.

• [9] Minsky, M. "Logical Versus Analogical or Symbolic Versus Connectionist or Neat versus Scruffy" In P. Winston ed. "AI at MIT", MIT Press. (Reprinted in "AI Magazine" Summer 1991. pp 35-51.)