Instructor:  Milos Hauskrecht
Computer Science Department
5329 Sennott Square
phone: x4-8845
e-mail: milos at cs pitt edu
office hours: Tuesday 2:00-4:00pm

TA:  Jiang Zheng
Computer Science Department
xxx Sennot Square
phone: xxx
e-mail: jzheng@cs.pitt.edu
office hours: Monday 11:00am-12:30pm, Wednesday 3:00-4:30pm

• Instructions to access and run LISP on CS servers .
• Term projects are due on Thursday April 26, 2007 at 10:00am. The term project will be evaluated based on:
  • a project report
  • a 10 minute ppt presentation
  The term project presentations will be held on Thursday, 2007 from 10:00am-12:30 in SNSQ 5313. The project reports are due (in the electronic form) at the time of your presentation. The final project report should be structured like a conference paper or a journal article. The report should include the introduction, methods, experiments and results, discussion (analysis of the solutions and results, did you achive the goals) and conclusions sections. Briefly, the introduction should give the background on the problem addressed and goals of the project; methods should describe your solutions to the problem, results the experiments and evaluation of the performance of your solutions and comparison to other solutions (if applicable), discussion the analysis of the solutions and results (did you achieve the goals ?). New methods and results should be described to the sufficient depth so that they are selfexplanatory.

• Please upload both the reports and your presentations to the course submission dirtectory. I will need to copy your presentations to a laptop, so please upload these by 9:40am on April 26.

• Homework solutions:
  • Homework 1
  • Homework 3
  • Homework 4
  • Homework 5
  • Homework 6
  • Homework 7
• Sematic Web links:
  • WWW consortium

Course description
Lectures
Homeworks
Term projects

This introductory knowledge representation course will provide an overview of existing representational frameworks developed within AI, their key concepts and inference methods. The course will cover propositional and first-order logics, their object-oriented extensions (frames), default logic and reasoning, inheritance relations, as well as new topics related to Semantic web, design of KB ontologies, and probabilistic extensions of logic.

Course syllabus

Prerequisites

CS 2710 Foundations of Artificial Intelligence, or equivalent, or the permission of the instructor.

• R. Brachman, H. Levesque. Knowledge Representation and Reasoning Morgan Kaufman, 2004.

Homework assignments will include a mix of programming and written problems. Programming assignments will be implemented in the lisp language. The assignments (both written and programming parts) are due at the beginning of the class on the day specified on the assignment. In general, no extensions will be granted. See rules for the submission of programs.

Collaborations: You may discuss material with your fellow students, but the report and programs should be written individually.
 

The term project is due at the end of the semester and accounts for a significant portion of your grade. In very general terms, a project should address a knowledge representation and/or reasoning problem. It may consist of a development of a simple knowledge base (expert system) application, the development of a reasoning, explanation, or consistency checking modules for KBs, or application of KR and reasoning to support advanced web queries.

Students With Disabilities:
If you have a disability for which you are or may be requesting an accommodation, you are encouraged to contact both your instructor and Disability Resources and Services, 216 William Pitt Union, (412) 648-7890/(412) 383-7355 (TTY), as early as possible in the term. DRS will verify your disability and determine reasonable accomodations for this course.