Knowledge-Based Systems
Course Outline
Introduction
Propositional Logic
First Order Logic
Logic Programming
Frames
Semantic Nets
Conceptual Graphs
Default Reasoning
Bayesian Networks
Fuzzy Theory
Machine Learning
Decision Trees
Artificial Neural Networks
Bayesian Learning
Genetic Algorithms