CSC623 Knowledge-Based Systems

[3–0, 3 cr.]

This course covers knowledge discovery and representation. Among the techniques used to represent knowledge, it focuses on trees, semantic networks, frames and production rules.  The course covers search techniques and inferences used in knowledge based systems. It also covers topics such as theorem proving and expert systems.