Artificial Intelligence Outline
I. The LISP programming language
-
A. Structure of Lisp
- Symbolic expressions: atoms/numbers/lists
- Program
- "Box & Pointer"
- Variable bindings/Environment/Scope
B. Lisp Primitives
- Cons/Append/List/Replaca
- Read/Print
- Predicates
- Conditionals: If/Cond
C. Looping
- Recursion: tail end, single, double
- Iteration: do - parallel, do - sequential
|
|
II. Basic AI Topics
-
A. Productions and Matching
- Production Systems: Unordered, Ordered, Discrimination Nets
- Matching
B. Knowledge Representation (Overview)
- Production Rules
- ISA and AKO Hierarchies
- Augmented Transition Nets
- Predicate Calculus
C. Searches
- Depth First
- Breadth First
- Best First
- Heuristic
D. Logical Reasoning
- Propositional Logic
- Wang's Algorithm
- Predicate Calculus
-
a. Axioms
b. Proofs: Resolution, Clause Form, Unification Algorithm
- Three State Logic
III. Genetic Algorithms
-
A. Population
- Representation
- Construction
B. Fitness
- Function
- Calculation
C. Mating
D. Crossover
E. Reproduction
Instructor
Phyllis T. Rittman
prittman@tjhsst.edu
|