Select the desired Level or Schedule Type to find available classes for the course. |

COSC 574 - Automated Reasoning |

This graduate lecture surveys methods of automated deductive reasoning. Through traditional lectures, programming projects, paper presentations, and research projects, students learn (1) to understand the foundations of logical and probabilistic methods of automated reasoning. (2) to implement algorithms for logical and probabilistic reasoning, (3) to comprehend, analyze, and critique papers from the primary literature, (4) to replicate studies described in the primary literature, and (5) to design, conduct, and present their own studies. Topics include propositional logic, predicate logic, resolution proof, production systems, Prolog, uncertain reasoning, certainty factors, Bayesian decision theory, Bayesian networks, exact inference, approximate inference, first-order probabilistic models, probabilistic programming languages, and applications. 3.000 Credit hours 3.000 Lecture hours Levels: MN or MC Graduate Schedule Types: Lecture Computer Science Department Restrictions: Must be enrolled in one of the following Fields of Study (Major, Minor, Concentration, or Certificate): Computer Science Must be enrolled in one of the following Classifications: Graduate, Master's Candidate Graduate, Doctoral Candidate |

Return to Previous | New Search |