ITCS 6150/8150 (Intelligent Systems)

ITCS 6150/8150 Intelligent Systems Fall 2023

Textbooks (suggested):
Artificial Intelligence, a Modern Approach
Stuart Russell, Peter Norvig
Prentice Hall Series in AI
and
Logics for Computer Science
Anita Wasilewska
Springer

Course Syllabus for ITCS 6150/8150

Agents
Uniformed Searches
Informed Searches
A* Algorithm
Adversarial Searches
Logical Agents
Puzzles
Propositional Logic
First-Order Logic
Gentzen Systems (axioms, inference rules)
Godel's Completeness Theorem
Resolution
Knowledge Discovery
Knowledge Systems
Recommender Systems (Collaborative Filtering, Content Based)
Recommender Systems (Group, Knowledge Based, Hybrid)
Recommender Systems in Business
Recommender Systems in Healthcare & Art

LINK TO CLASS GOOGLE DRIVE FOLDER

What subjects and when you should cover them:

	Date	Topic	Reading	Slides

Week 1	August 21 - 27	Introduction Agents Uniformed Searches Informed Searches	Seven Stages of AI Chapter 2 Chapter 3 Chapter 4	Video Video (T. Reddick) PPT1, PPT2 PowerPoint
Week 2	August 28 - Sept 3	Informed Searches Dijkstra Algorithm (video) A* Algorithm (video)	Chapter 5 Games Sudoku	PowerPoint PowerPoint
Week 3	Sept 4 - 10	Advesarial Search	Chapter 6 Sample Problems	PowerPoint Video PDF
Week 4	Sept 11 - 17	Propositional Logic I Propositional Logic II Direct Proofs I Direct Proofs II Puzzles, Exercises	Chapter 7	Video PowerPoint, Video Video1, Video2 Video3, Video4 PDF
Week 5	Sept 18 - 24	RS Proof System Example RS Strategy Exercises Booklet		Video
Week 6	Sept 25 - Oct 1	Project Assignment		IS Project
Week 7	Oct 2 - 8	First-Order Logic First-Order Logic ExercisesBooklet Might help	Get familiar with problems in the Booklet on pages 1-18	Vid1, Vid2, Vid3 Doc1, Doc2 Booklet Vid1, Vid2
Week 8	Oct 9 -15	Review Solutions RS Proof System Example		PDF PDF PDF PDF
Week 9	Oct 19	Midterm Exam (On Canvas) 4:00-6:30pm		PDF
Week 10	Oct 23 - 29	First-Order Logic	Resolution Chapter 8 Exercises, Solutions Problem 10	PDF PowerPoint PDF, PDF PDF
Week 11	Oct 30 - Nov 5	First Order Logic	Resolution Strategies Resolution Exercises	PPT1,PPT2 Video PDF
Week 12	Nov 6 - 12	Decision Trees (DT) Classification Rules Action Rules	Video Example Video	PowerPoint, Video PowerPoint PowerPoint
Week 13	Nov 13 - 19	Recommender Systems (RS) Content-Based RS Knowledge Based RS RS in Healthcare RS in Business RS in Art	Video Hospital Admissions Procedure Graph Art Video	PowerPoint PowerPoint PowerPoint PowerPoint PowerPoint
Week 14 Week 15	Nov 20 - Dec 3	Review		Link
	Dec 11	PROJECT DUE DATE Maximum 4 people on the team Project Rubric		3-Dimensional Tic-tac-toe
Final	Dec 12 (Tuesday)& Dec 14 (Thursday)	Final Exam	On Canvas	5:00-7:30pm
		Association Rules	Video 1, Video 2	Link

ADDITIONAL Presentations/Software:

Orange

Decision Trees

Introduction to NLP

Exercise: Mini-Max 9 pennies (PPT format)

NPS Project (PPT Format)

SAS Project (PPT Format)

Intelligent Agents or alternate Presentation (PPT format)

More about Intelligent Agents (PPT format)

Solving Problems by Searching or alternate Presentation (PPT format)

Informed Search Algorithms or alternate Presentation (PPT format)

Constraint Satisfaction Problems or alternate Presentation (PPT format)

Game Playing or alternate Presentation (PPT format)

Agents and Propositional Logic or alternate Presentation (PPT format)

Logic Agents (PPT format)

First Order Logic (FOL) or alternate Presentation (PPT format)

Inference in FOL or alternate Presentation (PPT format)

Learning(PPT format)

Knowledge Discovery (PPT format)

Problem 3 (Solution)

Midterm (Canvas): October 19 (Thursday), 4:00-6:30pm
Project (Canvas) - deadline to submit: December 11
Final (On Canvas): December 7 (Thursday), 4:00-6:30pm

Grades

Midterm - 30 points, Final - 40 points, Project (maximum 4 people on the team) - 30 points,
Grade A from 90 to 100 points, Grade B from 80 to 89 points, Grade C from 65 to 79 points.

Sample Problems

Instructor: Zbigniew W. Ras

Office: Woodward 430C
e-mail: ras@uncc.edu Office Hours (On ZOOM):
When: Thursday 1:00-3:00pm (except 9/21 and 10/19 when office hours are scheduled from 5pm till 7pm)
ZOOM Link: https://charlotte-edu.zoom.us/j/95577015107
(If no one shows up during the first 30 minutes, I will leave the zoom meeting)
No office hours on November 23 (Thanksgiving Break)

TA 1: Rithika Bejjanki

Office: Woodward 402 (KDD Lab)
Telephone: 704-687-8546
e-mail: rbejjank@uncc.edu
Office Hours on ZOOM: Mondays (every week), Fridays (every even week) 2-4pm
KDD Lab on Fridays (every odd week beginning Sept 4 - not on Zoom) 2-4pm
Zoom Link: https://charlotte-edu.zoom.us/j/6893947064

TA 2: Sarath Sri Sai Chennu

Office: Woodward 402 (KDD Lab)
Telephone: 704-687-8546
e-mail: schennu@uncc.edu
Office Hours on ZOOM: Tuesdays (every week), Wednesdays (every even week) 10:30am - 12:30pm
KDD Lab on Wednesdays (every odd week beginning Sept 4 - not on Zoom) 10:30am - 12:30pm
Zoom Link: https://charlotte-edu.zoom.us/my/schennu

TA 3: Sheshi Rekha Guntuka

Office: Woodward 402 (KDD Lab)
Telephone: 704-687-8546
e-mail: sguntuka@uncc.edu
Office Hours on ZOOM: Thursdays (every week), Fridays (every even week) 11:00am - 1:00pm
KDD Lab on Thursdays (every odd week beginning Sept 4 - not on Zoom) 11:00am - 1:00pm
Zoom Links:
Thursday(every week): https://charlotte-edu.zoom.us/j/97926879184
Friday (every even week): https://charlotte-edu.zoom.us/j/93047314746

TA 4: Venkata Nishanth Dangethi

Office: Woodward 402 (KDD Lab)
Telephone: 704-687-8546
e-mail: vdangeth@charlotte.edu
Office Hours in KDD Lab: Monday(every odd week) 12pm-2pm

Office Hours on ZOOM:
Monday(every even week 12pm-2pm):
https://charlotte-edu.zoom.us/j/96466638462?pwd=YXJFdmxtODdCRUV6bkY3d0t2Y0JqUT09
Meeting ID: 964 6663 8462
Passcode: 221676

Tuesday(every week 2pm - 4pm):
https://charlotte-edu.zoom.us/j/99180996378?pwd=YmNKN3VBVURFcFFOc1dUM1N5ZlByUT09
Meeting ID: 991 8099 6378
Passcode: 389253