Logical Methods for AI II

Course goals

De leerdoelen van Logische Methoden voor KI zijn:

(1) vertrouwd raken met de syntax, de semantiek en het modelleringsdoel van verschillende modale logica's, waaronder normale modale logica, zwakke modale logica, en deontisch logica
(2) het in de context van deze logica's kunnen hanteren van begrippen als 'waarheid', 'geldigheid', 'validiteit', 'bewijsbaarheid', 'correspondentie', 'bisimulatie', 'niet-karakteriseerbaarheid', 'compleetheid', 'canoniciteit', etc.
(3) het kennen van de belangrijke logische eigenschappen van veel-gebruikte modale systemen als K, KD, KD4, S4 en S5
(4) het kunnen maken van formele bewijzen in sommige van de besproken logica's (Hilbert-style) (formeel bewijzen in een logica)
(5) het kunnen maken van algemeen mathematische bewijzen (inductie, uit het ongerijmde, etc.) voor het bewijzen van eigenschappen van logica's (bewijzen over een logica)
(6) begrijpen dat modale logica toegepast wordt op velerlei modale redeneerdomeinen.

Content

Deze cursus maakt deel uit van het verdiepingspakket Reasoning.

Dit vak betreft de theorie van modale logica en de toepassingen binnen artificiële intelligentie (AI). In het eerste deel komt de 'klassieke' modale basistheorie gebaseerd op Kripke-modellen aan de orde. Enkele technische begrippen die behandeld worden: bisimulatie, volledigheid, frames, correspondentie, karakteriseerbaarheid, canoniciteit. In het tweede deel wordt veel nadruk gelegd op toepassingen van modale logica, zoals conditionale en deontische logica.