|
|
|
CSC 380: Artificial Intelligence |
|
Spring 2011 |
|
Computer
Science Department |
|
The College
of New Jersey |
Class Time:
|
Section 01 : |
Wednesday
9-12 |
at Holman
Hall 252 / 370 |
Textbook: "Artificial
Intelligence, A Modern Approach", Third Edition, by: S. Russell, P. Norvig
Prentice
Hall Series in Artificial Intelligence, ISBN 0-20-153377-4
Instructor: Dr.
M. Martinovic
E-mail: mmmartin@tcnj.edu Telephone: +1
609 771 2789 Office:
Holman Hall 208 / 230
Office
Hours: Tue. 11-1 (appt.); Wed. 12-2:30 (appt.); Thu. 9-10, 10-12 (appt.), 12-1; Fri. 11-1;
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
16, 2011) 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
o Inference in Multiply Connected Belief
Networks
§ Reading Homework:
· Read Chapter 14
· Probabilistic
Reasoning Over Time Chapter
15 | Week
12, 13
o Inference in Multiply Connected Belief
Networks
o Approaches to Uncertain Reasoning
o Knowledge Engineering
§
Homework
9:
·
Read
Chapter 15
Part VII: Communicating, Perceiving, and Acting
·
Communicating Agents Chapter
22 |
Week
13, 14
o Communication as Action
o Types of Communicating Agents
o A Formal Grammar for a Subset of English
o Syntactic Analysis (Parsing)
o Definite Clause Grammars (DCG)
o Augmented Grammars
o Semantic Interpretation
o Ambiguity and Disambiguation
o A Communicating Agent
·
Natural Language Processing Chapter
22 | Weeks
14, 15
o Practical Applications
o Efficient Parsing
o Scaling Up the Lexicon
o Scaling Up the Grammar
o Ambiguities
o Discourse Understanding
§ Homework 10:
· Read Chapter 22
· Read Slides
(transparencies used in class)
·
Final Exam Review Cumulative |
Week
15
