CS724 lecture notes Example:The Pathfinder Mars rover and a paper on AI for the 2004 rovers (paper's home programming language, future programming environment )

What is AI?, Quick introduction to LISP, FOPC, micro worlds, state space search, property lists, The Blocks program for assignment 2, ( the visualizations to go with the blocks program). AND/OR trees, search, (new diagrams), (VRML search examples: depthfirst search, breadthfirst search, hill climbing ) iterative deeping, game playing, Quick introduction to Prolog, ( running Prolog ) the crossing problem, (an article on Lisp and Prolog )

test 1

expert systems, ( tools for expert systems Algernon and Protege ), Mycin, rule based programming, The simple rule system rules.pl, certainty factors (CF), feature space, knowledge engineering, summary

natural language(NL) processing , more on NL, DCG notation, Representation of knowledge, frames for NL representation,

test 2

Frames and FRL, (Frames and FRL in Prolog underdevelopment), expert systems in FRL, FRL, context and frames, the GUS paper, GUS a FRL based NL program, (The Prolog version of GUS and expert systems), (old frl documentation)

Learning systems
sub-symbolic: NN (the process of using a NN), GA (crossover operator), the GA process, (visualization of GA ) (NN examples using BP, and for SNNS) (GA examples using genesis), (not learning systems, but related searches: simulated annealing, Tabu search, )
symbolic: ID3 ( a VRML ID3 example )
some notes

Case Based Reasoning (CBR): AskJef (a web site for CBR)

test 3 (better start on your final)

More on NL processing: LADDER a NL program, dialog with Shrdlu, systemic grammar, a little more NL, Jabberwocky, Rosetta Stone, NL history, TGG,

Some current items of interest: GP (genetic programming) evolving a program, ontologies (hierarchical knowledge about the problem [meta knowledge]) the semantic web (a semantic network as web space) (WordNet)


Later topics


Copies of old transparencies.
Here is a working version of Eliza.
A learning model simular to NN, Support Vector Machines Adaptive Resonance Theory (ART) style NN's
Other AI fun stuff

A blank page.