CSC 380: Artificial Intelligence

vinegarclothΤεχνίτη Νοημοσύνη και Ρομποτική

17 Ιουλ 2012 (πριν από 5 χρόνια και 1 μήνα)

370 εμφανίσεις


CSC 380: Artificial Intelligence

Spring 20
1
1

Computer Science Department

The College of New Jersey



Class Time:






Textbook:





"Artificial Intelligence, A Modern Approach"
,
Third
Edition, b
y
: S. Russell, P. Norvig

Prentice Hall Series in Artificial Intelligence, ISBN
0
-
20
-
153377
-
4


Lecture Slides





Section 01 :

Wednesday 9
-
12

at Holman Hall
252
/ 370

Instructor:

Dr. M. Martinovic

E
-
mail:
mmma
rtin@tcnj.edu


Telephone:

+1 609 771 2789

Office:
Holman Hall 20
8
/ 230

Office Hours:



Tue.

11
-
1
(appt.)
;

Wed.

12
-
2:30 (
appt
.)
;


Thu.

9
-
10,
1
0
-
12 (appt.), 12
-
1
;

Fri
.

11
-
1
;




Grading Policy:




Homework, Attendance, Class Participation and Effort








20%



Ho
mework 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.



Thr
ee or more unexcused absences from the class will result in failing the course.



Midterm Exam

(March
16
, 20
1
1
)











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 wi
ll 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


Schedule
(tentative)




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 Appr
oach (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




Handouts giv
en in class






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 C
hapter 2



Handouts given in class



Figure for HW





Part II: Problem Solving






Solving Problems by Searching





Chapter 3


|


Weeks 2
, 3



General Search Pseudo Code



Homework 3:



Read Chapter 3
-
4



Handouts given in class




Informed Search and Exploration





Chapter 4


|


Wee
ks 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



Handouts given
in class



Chain problem specification





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




Handouts given in class

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

SimReflAgentWithSta
te

o

ConditionActionTab

ConditionActionTablewithState



Part III: Knowledge and Reasoning




F
irst Order Logic







Chapter 8


|


W
e
eks 5, 6


o

Syntax and Semantics




Homework 6:




Read Chapter 8




Handouts given in class


o

Extensions

o

Usage of First Order Logic (FOL)

o

FOL Agent for the Wumpus Wor
ld

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







Infer
ence in First Order Logic





Chapter 9


|


Weeks 6, 7


o

Rules Involv
ing 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



Handouts give
n in class


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


|


We
eks 8, 9


o

Indexing, Retrieval

and Unification


o

Logic Programming Systems
-
Prolog


o

Theorem Provers






Part III: Knowledge and Reasoning




Infer
ence in First Order Logic





Chapter 9


|


Weeks 8, 9


o

Forward Chaining Production Systems


o

Frame System
s 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 O
ntology




Practice Example:



Electronic Circuit Domain

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




Handouts given
in class

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



Handouts given in class







Part
VII: Communicating, Perce
iving, 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 Grammar
s


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 U
nderstanding



Homework 10:




Read Chapter 22



Read
Slides (transparencies used in class)



NLP Homework







Final Exam Rev
iew







Cum
u
lative


|


Week 15




Final Exam Sample