Artificial Intelligence
Section outline
-
- Definition- History- AI applications
-
- Uninformed (Breadth-First Search, Depth-First Search, Uniform-Cost)- Informed (Greedy-Best-First Search, A*,)
-
- Predicate logic- Semantic nets
-
- Architecture- Inference strategies- Examples : Dendral, Mycin, Prospector
-
- Development lifecycle- Languages and Tools (Prolog, CLIPS, Experta, ES builder,..)- Prolog reasoning
-
- Predicate to Prolog
- Semantic net to Prolog