Date: Mon, 02 Dec 1996 15:39:28 GMT Server: NCSA/1.4.2 Content-type: text/html Last-modified: Thu, 10 Oct 1996 21:50:48 GMT Content-length: 1660
Percepts & Actions
Agent Architectures
Environmental Properties
Problem spaces
Brute force: depth-first, breadth-first, iterative-deepening, bi-directional
Constraint satisfaction
Heuristic search: A*, IDA*, SMA*
Optimization & techniques from operations research
Propositional Logic: Syntax, Semantics, Inference, Expressiveness
First Order Logic: Syntax, Semantics, Inference, Expressiveness
The fundamental tradeoff in knowledge representation
Representing actions: STRIPS, ADL, & the situation calculus
The classical planning problem
Planning as search: world-states & plan-states
The POP & UCPOP algorithms
Operator graph optimizations
Incomplete information & Sensing
Reactive approaches
Search through version space
PAC learning
Induction algorithms & decision trees
Inductive logic programming
Explanation-based generalization
Bayesian belief networks
Decision analysis
The form of AI theories
Experimental methodology
Benchmarks & testbeds