Foundations of Artificial Intelligence

CS 5100, Fall 2011

Schedule

Lectures & Assignments

Date Topics Readings Reviews
Sept. 8 Introduction; Intelligent Agents; Python Introduction

Assignment 1
RN 1.3 & 1.4, Ch. 2

Bill Griswold, How to Read an Engineering Research Paper.
Stan Franklin and Art Graesser. Is It an Agent, or Just a Program?: A Taxonomy for Autonomous Agents. Intelligent Agents III, Berlin: Springer Verlag, 21-35, 1996.
Sept. 15 Agents, Logic, and Reasoning



Assignment 2
RN 7.1-7.5, Ch. 8 Joseph Y. Halpern and Vikki Weissman. Using First-Order Logic to Reason about Policies. ACM Transactions on Computational Logic, February 2008.
Sept. 22 First-order Logic RN 9.1-9.3 No Review
Sept. 29 Logical Inference

RN 9.4-9.5 Jan Wielemaker, Zhisheng Huang, and Lourens Van der Meij. SWI-Prolog and the Web. Theory and Practice of Logic Programming, 8(3): 363-392, May 2008.
Oct. 6 Search Problems and Solutions

Assignment 3
RN Ch. 3 Andrew V. Goldberg, Haim Kaplan, and Renato F. Werneck. Reach for A*: Efficient Point-to-Point Shortest Path Algorithms. Workshop on Algorithm Engineering and Experiments, 129-143, 2006.
Oct. 13 AI Planning RN 10.1-10.3 Dana Nau, Tsz-Chiu Au, Okhtay Ilghami, Ugur Kuter, J. William Murdock, Dan Wu, and Fusun Yaman. SHOP2: An HTN planning system. Journal of Artificial Intelligence Research, 20:379-404, Dec. 2003.
Oct. 20 Ontology Design and Development

Assignment 4
Natalya F. Noy and Carole D. Hafner. Ontological Foundations for Experimental Science Knowledge Bases (excerpt). Applied Artificial Intelligence, 14(6): 565-518. July 2000.

Natalya F. Noy and Deborah L. McGuinness. Ontology development 101: A guide to creating your first ontology. Technical Report SMI-2001-0880, Stanford Medical Informatics, 2001.
Aditya Kalyanpur, Bijan Parsia, Evren Sirin, Bernardo Cuenca Grau, and James Hendler. Swoop: A Web Ontology Editing Browser. Journal of Web Semantics, 4(2): 144-153, June 2006.
Oct. 27
MIDTERM EXAM
Nov. 3 Probabilistic Inference RN Ch. 13, 14.1-14.3 Patrick Pantel and Dekang Lin. SpamCop: A Spam Classification & Organization Program. AAAI Workshop on Learning for Text Categorization, 95-98, 1998.
Nov. 10 Bayesian Networks RN 14.4 & 14.7 Marina Velikova, Peter J.F. Lucas, Nivea Ferreira, Maurice Samulski, and Nico Karssemeijer. A Decision Support System for Breast Cancer Detection in Screeing Programs. 18th European Conference on Artificial Intelligence, 2008.
Nov. 17 Decision Trees

Assignment 5
RN 18.1-18.4 Hendrik Blockeel, Leander Schietgat, Jan Struyf, Sao Deroski, and Amanda Clare.Decision Trees for Hierarchical Multi-label Classification: A Case Study in Functional Genomics. Proc. of the 10th European Conf. on Principles and Practice of Knowledge Discovery in Databases, 18--29, 2006.
Nov. 24 Thanksgiving Holiday!
Dec. 1 Natural Language Processing RN Ch. 22, 23.1 & 23.2 Mihai Surdeanu, Massimiliano Ciaramita, and Hugo Zaragoza. Learning to Rank Answers to Non-Factoid Questions from Web Collections. Computational Linguistics, 37(2), 351--383, 2010.
Dec. 8 Support Vector Machines RN 18.9

Vikramaditya Jakkula, Tutorial on Support Vector Machine (SVM).

Kristin P. Bennett and Colin Campbell. Support Vector Machines: Hype or Halleluja? SIGKDD Explorations, 2(2), Dec. 2000.
Latifur Khan, Mamoun Awad, and Bhavani Thuraisingham. A new intrusion detection system using support vector machines and hierarchical clustering. The VLDB Journal-The International Journal on Very Large Data Bases, 16(4), October 2007.
Dec. 15
FINAL EXAM

Assignments

Presentations

In order to become acquainted with applications of AI, students will work in teams of 3 or 4 to study an application paper, and present a 15 minute talk to the class. The papers will be selected from either the Innovative Applications of Artificial Intelligence conference or from AI Magazine--selections from AI magazine must be pre-approved by the professor to be sure they qualify as "application papers". The presentations will take place during the last four weeks of the semester.