|
Apr 18, 2024
|
|
|
|
COSC 661 - Automated Reasoning A theoretical and practical survey of different reasoning techniques, both classical and nonclassical, and methods for implementing them as computer programs. Topics will include resolution proofs, fuzzy logic, nonmonotonic reasoning, default reasoning and uncertainty measures. Applications will include expert systems.
Credit Hours: 3 hrs Grade Mode: Normal (A-F)
Prerequisite(s): or COSC 461
Last Updated: Links 05/2011
Summer 2024 Course Sections
Fall 2024 Course Sections
Add to Portfolio (opens a new window)
|
|