Concepts of knowledge-based systems with an emphasis on expert systems. Topics include production systems, building of knowledge-based systems and future trends with expert systems. Basic theoretical principles embodied in formal languages, automata, computability, and computational complexity. Emphasis is placed on developing formal descriptions of computers and computational processes, and practical implications of theoretical results. Group study of advanced topics under faculty supervision.
Departmental approval is required.
Independent study of advanced topics under faculty supervision. Departmental approval is required. COSC 625 Advanced Software Engineering 3 cr. Design and implementation of software using a formal specification language. Topics include management implications, software cost estimation, defect testing, software engineering environments.