### 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
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 Healthcare & Art

### What subjects and when you should cover them:

 Date Topic Reading Slides Week 1 August 21 - 27 IntroductionAgentsUniformed SearchesInformed Searches Seven Stages of AIChapter 2Chapter 3Chapter 4 VideoVideo (T. Reddick) PPT1, PPT2 PowerPoint Week 2 August 28 - Sept 3 Informed Searches Dijkstra Algorithm (video)A* Algorithm (video) Chapter 5 GamesSudoku PowerPoint PowerPoint Week 3 Sept 4 - 10 Advesarial Search Chapter 6Sample Problems PowerPoint Video PDF Week 4 Sept 11 - 17 Propositional Logic IPropositional Logic IIDirect Proofs IDirect Proofs IIPuzzles, 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 LogicFirst-Order LogicExercisesBookletMight 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 ReviewSolutionsRS Proof System Example PDF PDFPDFPDF Week 9 Oct 19 Midterm Exam (On Canvas)4:00-6:30pm PDF Week 10 Oct 23 - 29 First-Order Logic ResolutionChapter 8Exercises, Solutions Problem 10 PDF PowerPoint PDF, PDF PDF Week 11 Oct 30 - Nov 5 First Order Logic Resolution StrategiesResolutionExercises PPT1,PPT2Video PDF Week 12 Nov 6 - 12 Decision Trees (DT)Classification RulesAction Rules VideoExampleVideo PowerPoint, Video PowerPointPowerPoint Week 13 Nov 13 - 19 Recommender Systems (RS)Content-Based RSKnowledge Based RSRS in Healthcare RS in BusinessRS in Art VideoHospital AdmissionsProcedure Graph Art Video PowerPoint PowerPoint PowerPoint PowerPoint PowerPoint Week 14Week 15 Nov 20 - Dec 3 Review Link Dec 11 PROJECT DUE DATEMaximum 4 people on the teamProject 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

• 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

 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)
(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

### 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

### 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
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