CSCE 420 - Artificial Intelligence

Fall 2018


Professor: Dr. Thomas R. Ioerger
email:ioerger@cs.tamu.edu
Office: 322C Bright Bldg.
office hours: Wed, 3:00-4:00

TA: Qing Wan
email address:frankwanbear@gmail.com
office location:339 HRBB
office hours:Tues & Thurs, 2:20-3:20

Meeting: TR, 9:35-10:50, HRBB 124

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

Course Description (from TAMU course catalog): Fundamental concepts and techniques of intelligent systems; representation and interpretation of knowledge on a computer; search strategies and control; active research areas and applications such as notational systems, natural language understanding, vision systems, planning algorithms, intelligent agents and expert systems.

Prerequisites: CSCE 221 (Data Structures & Algorithms)

Textbook

Russell, S. and Norvig, P. (2009). Artificial Intelligence: A Modern Approach. 3rd edition (blue cover). Prentice Hall.

Course Objectives

  1. To learn about intelligent search methods and their role in building complex problem-solving programs.
    1. to learn how to formulate computational problems as search
    2. to learn how various search algorithms work
    3. to learn their computational properties (space- and time-complexity)
    4. to learn how heuristics can improve efficiency of search
  2. To learn about knowledge representation techniques and methods for knowledge-based/intelligent decision-making in programs.
    1. to learn syntax and semantics of propositional logic and first-order logic
    2. to learn how inference algorithms work
    3. to learn the advantages of alternative knowledge respresentation systems
    4. to learn how to represent and reason about uncertainty using Bayesian probability
  3. To gain exposure to traditional sub-fields of AI (automated deduction, planning, machine learning, natural language...).
    1. to learn how symbolic planning algorithms work
    2. to learn different decision-making architectures for intelligent agents
    3. to learn how machine learning can be used to generalize from experience/examples
Topics Grading

The work for this course will consist of a mix of written homeworks and programming assignments. Students are expected to be proficient in programming in C++, based on prior course-work in the major.

Exams: There will be one mid-term exam and a non-comprehensive final exam (during finals week).

The overall score for the course will be a weighted combination of these components, which is tentatively set as follows:

The final grade will be determined from the weighted-average total as follows:

The penalty for late assignments is -5% per day (pro-rated over 24 hours).
After 10 days late, the deductions cease; the maximum loss of points is 50%. As long as you turn an assignment in by the end of the semester, it could still be worth as much as half-credit. This is to encourage you to eventually complete the assignment, even if you can't get it in on time initially.


Schedule:

assignmenttopicconceptsreading
Tues, Aug 28(first day of class)What is AI?perspectives on AI; core concepts read Ch. 1
Thurs, Aug 30Search AlgorithmsDFS, BFS, iterative deepeningread Ch. 3 (skip 3.5.3); slides
Tues, Sep 4Heuristic Searchuniform-cost, heuristics, greedy search
Thurs, Sep 6A* search
Tues, Sep 11Iterative Improvementhill-climbing, beam searchSec 4.1 (skip 4.1.4 and 4.2-4.5)
Thurs, Sep 13simulated annealingapplication to Traveling Salesman Problem,
Tour of Texas
Tues, Sep 18Game Searchminimax searchCh. 5 (skip 5.6)
Thurs, Sep 20alpha-beta pruning; DeepBlue
Tues, Sep 25 Project 1 due
Blocks Challenge Problems
sample class definitions
code to read files
results
Constraint Satisfactionback-tracking searchCh. 6
Thurs, Sep 27heuristics for CSPs
Tues, Oct 2IBM Watson YouTube: Overview (watch 0:00-5:45)
YouTube: Jeopardy (watch 4:40-10:30)
YouTube: How Watson Works (7 min)
(some articles on Watson)
Thurs, Oct 4arc consistency, AC-3
Tues, Oct 9mid-term exam (in-class)
Thurs, Oct 11Propositional Logicsyntax, semanticsCh. 7
Tues, Oct 16natural deduction, forward chainingExamples of Propositional Inference
Thurs, Oct 18backward chaining, resolution
Tues, Oct 23satisfiability, DPLL, WalkSat
Thurs, Oct 25First-Order LogicsyntaxCh. 8
Tues, Oct 30Homework 2 duemodel theory
Thurs, Nov 1inference in FOL, unification; ResolutionCh. 9, slides
Tues, Nov 6other FOL inference algs (e.g. Jess, Prolog, Description Logics)slides
Thurs, Nov 8(discussion continued)
Tues, Nov 13Uncertainty, probability, Bayes RuleCh. 13; slides
Thurs, Nov 15Project 3 duePlanningPDDL/STRIPS Operators, Goal-RegressionCh. 10 (10.1, 10.2, 10.4.1); slides
Tues, Nov 20Intelligent Agentstypes of agent architectures, decision-making, rationalityCh. 2, slides
Thurs, Nov 22Thanksgiving (class cancelled)
Tues, Nov 27Markov Decision Problems, Reinforcement LearningCh. 17.1-3
(see second half of slides on Agents)
Thurs, Nov 29Machine Learningsearching hypothesis space, decision treesCh. 18.1-3; slides
Tues, Dec 4last day of class;
Project 4 due
parser: Expr.hpp, Expr.cpp
review session: 5:30-6:30pm, 113 HRBB
overfitting, pruning
Fri, Dec 7final exam, 12:30-2:30 (124 HRBB)


Academic Integrity Statement and Policy

Aggie Code of Honor: An Aggie does not lie, cheat or steal, or tolerate those who do.
see: Honor Council Rules and Procedures


Americans with Disabilities Act (ADA) Policy Statement

The Americans with Disabilities Act (ADA) is a federal anti-discrimination statute that provides comprehensive civil rights protection for persons with disabilities. Among other things, this legislation requires that all students with disabilities be guaranteed a learning environment that provides for reasonable accommodation of their disabilities. If you believe you have a disability requiring an accommodation, please contact Disability Services, in Cain Hall, Room B118, or call 845-1637. For additional information visit http://disability.tamu.edu.


Links Related to AI