Apr 18, 2024  
2016-2017 Graduate Catalog 
    
2016-2017 Graduate Catalog This is not the most recent catalog version; be sure you are viewing the appropriate catalog year.

Add to Portfolio (opens a new window)

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)