Go to Main Content

Georgetown University

HELP | EXIT

Detailed Course Information

 

Fall 2017
Sep 21, 2019
Transparent Image
Information 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
Transparent Image
Skip to top of page
Release: 8.7.2.4