computer science



Logic for Artificial Intelligence

Semester 1

Note: Not offered in 2017.

Classical propositional logic, metatheorems, semantics and proof theory; nonmonotonic logic; belief change theory; satisfaction in modal and first-order languages; automated reasoning algorithms and SAT-solvers.

The overall aim is to provide students with sufficient background in applied logic to understand at least broadly research in logic-based artificial intelligence as published in, for example, the journal Artificial Intelligence. The emphasis is necessarily on the acquisition of technical skills, and in particular on facility with propositional languages of various sorts (although first-order logic is also treated).

For more information about this paper, contact Dr Willem Labuschagne.