|
CSC 380:
Artificial Intelligence |
|
Spring
2008 |
|
Computer Science Department |
|
The College of New Jersey |
Class Time:
|
Section 01 : |
Wednesday
9-12 |
at
Holman Hall 128/117. |
Textbook: "Artificial
Intelligence, A Modern Approach", Second Edition, by: S. Russell, P. Norvig
Prentice Hall Series in Artificial Intelligence, ISBN
0-13-790395-2
AI Resources : http://www.the-it-resource.com/Artificial-Intelligence/
Instructor: Dr. Miroslav Martinovic,
E-mail: mmmartin@tcnj.edu Telephone:
+1 609 771 2789 Office:
Holman Hall 207 / 230
Office Hours: Mon 9-12:30; Tue 12-2; Wed 12-2:30 (appt. only); Thursday 9-11; Friday 3-5 (appt. only)
Grading Policy:
·
Homework,
Attendance, Class Participation and Effort 20%
§ Homework is regularly due on the next class period. No late homework will be accepted.
§ One unexcused absence from the class will lower the final grade by one full grade.
§ Two unexcused absences from the class will lower the final grade by two full grades.
§ Three or more unexcused absences from the class will result in failing the course.
·
Midterm
Exam (March 26, 2008) 20%
§ Unexcused absence from the midterm exam will result in failing the course.
§ Midterm Exam Sample Midterm Exam Sample Solutions
§ Midterm Exam ( 3/4/2004 ) Solution Set Midterm Exam ( 3/3/2005 ) Solution Set
·
Project(s) 25%
§ Failing to submit the project will result in failing the course.
§ Project(s’) work does not follow course outline timetable and should begin "asap".
§ Project auxiliaries:
·
C++
o logic.h logic.cpp xarray.h JavaPtrArray
o test1.cpp test2.cpp test3.cpp From C++ Templates to Java Interfaces
·
Java
o http://www.tcnj.edu/~mmmartin/Logic
·
Final Exam 35%
§ Final exam is cumulative.
§ Failing to attend final exam will result in failing the course.
§
There will be no make up exam for the course.
|
CSC 380 |
Part I: Artificial Intelligence
·
Introduction Chapter
1 | Week
1
o What is AI?
o Turing Test Approach (Acting Humanly)
o Cognitive Modeling Approach (Thinking Humanly)
o The Laws of Thought Approach (Thinking Rationally)
o The Rational Agent Approach (Acting Rationally)
o The Foundations of AI
o Philosophy, Mathematics, Psychology, Computer Engineering, Linguistics
o History of AI and the State of the Art
§ Homework 1:
· Read Chapter 1
Part I: Artificial Intelligence
·
Intelligent
Agents Chapter
2 | Weeks
1, 2
o
Acting of Intelligent Agents
o
Structure of Intelligent Agents
o
Environments
§ Practice Examples:
·
Generic_Agent Memory Action
Percept
§ Homework 2:
· Read Chapter 2
· Handouts given in class Figure for HW
Part II: Problem Solving
·
Solving
Problems by Searching Chapter
3 | Weeks
2, 3
§ Homework 3:
·
Read Chapter 3-4
·
Informed
Search and Exploration Chapter
4 | Weeks
2, 3
·
Constraint
Satisfaction Problems Chapter
5 | Weeks
3, 4
Part II: Problem Solving
·
Adversarial
Search Chapter
6 | Weeks
3, 4
§ Homework 4:
· Read Chapters 4-6
Part III: Knowledge and Reasoning
·
Logically
Reasoning Agents Chapter
7 | Weeks 4, 5
o
Logic Representation Systems
o
Propositional Logic
o
Wumpus World Example
§
Homework 5:
·
Read Chapter 7
o
Wumpus World
Agent in Propositional Logic
§
Practice Example
·
Wumpus Agent in
Boolean Logic
· Agents Class Hierarchy (Hints):
o GenericAgent Memory Action Percept Condition
o Rule State SimpReflAgent SimReflAgentWithState
o ConditionActionTab ConditionActionTablewithState
Part III: Knowledge and Reasoning
·
First
Order Logic Chapter
8 | Weeks 5, 6
o
Syntax and Semantics
§
Homework 6:
·
Read Chapter 8
o
Extensions
o
Usage of First Order Logic (FOL)
o
FOL Agent for the Wumpus World
o
A Simple Reflex Agent
o
Representing Change in the World
o
Deducing Hidden Properties of the World
o
Preferences among Actions
o
Goal-Based Agent
§
Reading Homework:
·
Read Chapter 8
·
Inference
in First Order Logic Chapter
9 | Weeks 6, 7
o
Rules Involving Quantifiers
o
An Example Proof
o
Modus Ponens Generalized
o
Forward and Backward Chaining
Part III: Knowledge and Reasoning
o
Completeness
o
Resolution
§
Homework 7:
·
Read Chapter 9
o
Completeness of Resolution
§
Reading Homework:
·
Read Chapter 9
·
Pre-Midterm Exam Review Week 7
·
Midterm
Exam Week 8
·
Midterm
Exam Solution Set Discussion
·
Inference
in First Order Logic Chapter
9 | Weeks 8, 9
o
Indexing, Retrieval and Unification
o
Logic Programming Systems - Prolog
o
Theorem Provers
Part III: Knowledge and Reasoning
·
Inference
in First Order Logic Chapter
9 | Weeks 8, 9
o
Forward Chaining Production Systems
o
Frame Systems and Semantic Networks
§
Reading Homework:
·
Read Chapter 9
·
Knowledge
Representation Chapter
10 | Week 9
o
Building a Knowledge Base (KB)
o
Properties of a Knowledge Base
o
Knowledge Engineering
o
Example of a KB: Electronic Circuit Domain
o
General Ontology
§ Practice
Example:
o
The Grocery Shopping World
§
Reading Homework:
·
Read Chapter 10
Part V: Uncertain Knowledge and Reasoning
·
Uncertainty
Chapter
13 | Week 10
o
Uncertain
Knowledge
·
Probabilistic
Reasoning Chapter
14 | Weeks 11, 12
o
Probability and Axioms of Probability
o
Bayes' Rule
§ Homework 8:
·
Read Chapter 13
o
Knowledge in an Uncertain Domain
o
Semantics of Belief Networks
o
Inference in Belief Networks
