Seminar on Logic Modeling

Catalog description

Seminar on the elements of formal logic necessary to read and contribute to the Logic modeling literature, as well as the implementation principles for logic models. The primary topics include elements of sentence and predicate logic, elements of modal logics, elements of semantics, mechanical theorem proving, logic and database, nonmonotonic reasoning, planning and the frame problem, logic programming, and metainterpreters. Permission of the instructor and some prior knowledge of logic or Prolog.