CSCE 420 - Artificial Intelligence

Spring 2021


Professor: Dr. Thomas R. Ioerger
email:ioerger@cs.tamu.edu
office hours:

TA: Devesh Kumar

  email address:devesh@tamu.edu
  Zoom link:https://tamu.zoom.us/j/9456737206
  office hours: Mon, 4:00-6:00

Meeting: MWF 12:00-12:50, ONLINE

Zoom link for lectures: https://tamu.zoom.us/j/92276910648?pwd=QnJmNlZjZFhyTjNNMTI1K0MwbEFFZz09

Course Web Page: http://faculty.cs.tamu.edu/ioerger/cs420-spr21/index.html (this page)

Syllabus (contains information about projects, exams, grading policy, etc)

Github

Course Github site: https://github.tamu.edu/ioerger/cs420-spr21

Materials for projects (i.e. handouts, source code, data files) will be posted on the course project site on the TAMU Github server https://github.tamu.edu/ioerger/cs420-spr21.
Students will be expected to clone this repository and pull updates throughout the semester.

Programming Assignments

The programming assignments will be done (individually) in C++. Students will need to be (and are expected to be) proficient in C++. The projects for the course will be submitted via Github.tamu.edu. Students will have to create a (private) repository for this class, and then share that with the instructor and TA by making them collaborators. The date and time students turn in each project will be determined by the timestamp of their commits on their files. It is the student's responsibility to learn how to use Git well enough to commit their code (and reports and other materials required to turn in) and push it to the Github.tamu.edu server. Forgetting or being unable to commit and push their files will not be accepted as an excuse for lateness.

Schedule

topicconceptsreadingassignment
Wed, Jan 20What is AI?perspectives on AI; core concepts read Ch. 1
Fri, Jan 22
Mon, Jan 25Search AlgorithmsBDS, DFSCh. 3 (you can skip 3.5.3-3.5.6)
Wed, Jan 27iterative deepening
Fri, Jan 29heuristics; Greedy Search
Mon, Feb 1A* search
Wed, Feb 3Iterative Improvementhill-climbingSec. 4.1
Fri, Feb 5beam search; simulated annealing
Mon, Feb 8genetic algorithms
Wed, Feb 10Game Searchminimax, alpha-beta pruningCh. 5
Fri, Feb 12board eval functions, expectiminimax, Deep Blue, Monte Carlo tree search, AlphaGo
Mon, Feb 15(class canceled due to winter storm)
Wed, Feb 17(class canceled due to winter storm)
Fri, Feb 19(class canceled due to winter storm)
Mon, Feb 22Constraint Satisfactionback-tracking search, CSP heuristicsCh. 6 (skip 6.5)
Wed, Feb 24constraint propagation, AC-3
Fri, Feb 26min-conflicts algorithm
Mon, Mar 1Propositional Logicsyntax, semanticsCh. 7
Wed, Mar 3inference; Natural Deduction
Fri, Mar 5forward chaining, backward chainingProject 2 due
Mon, Mar 8backward chaining
Wed, Mar 10resolution refutation
Fri, Mar 12Satisfiability, DPLL
Mon, Mar 15First-Order LogicsyntaxCh. 8
Wed, Mar 17usage, translating knowledge to FOL
Thursday, Mar 19(redefined day due to Spring Break on Fri)semantics (model theory)
Mon, Mar 22FOL rules of inference, unificationCh. 9Project 3 due
Wed, Mar 24Natural Deduction in FOL
Fri, Mar 26Resolution in FOL; Forward-chaining
Mon, Mar 29Backward-chaining; PROLOG
Wed, Mar 31Prologtutorial
Fri, Apr 2(class canceled, Reading Day)
Mon, Apr 5Knowledge Engineering, OntologiesCh. 10 (skip 10.4)
Wed, Apr 7Event Calculus, Interval Logic
Fri, Apr 9Description Logics, Semantic WebProject 4 due
Mon, Apr 12Uncertainty ReasoningLimitations of FOL: handling defaults and exceptionsSec 10.6
Wed, Apr 14Negation in PROLOG
Fri, Apr 16Bayesian Probability and Uncertainty ReasoningCh. 12 (skip 12.6 and 12.7)
Mon, Apr 19Planning AlgorithmsPDDL, Forward State-space searchCh. 11 (skip 11.3-11.5)
Wed, Apr 21Goal Regression
Fri, Apr 23Other planning algorithms
Mon, Apr 26Intelligent Agentsagent characteristics and environmentsCh. 2
Wed, Apr 28 (last day of class)agent architecturesProject 5 due
Fri, Apr 30 (Reading Day)
(regular class time and Zoom link; attendance optional)
review session
Wed, May 5, 11:00-1:30final exam