This course begins with a refresher on propositional and first-order logic. It then explores a range of topics and techniques at the intersection of logic and artificial intelligence. Key topics include many-valued and fuzzy logics and their applications, modal logics, epistemic and doxastic frameworks, public announcements and dynamic settings, reasoning under uncertainty, probabilistic logic, Bayesian networks.
- Docente: EKATERINA KUBYSHKINA