Kunstmatige Intelligentie:
Voortgezette Logica 2008 - 2009

Dit is de informatiepagina voor het vak Voortgezette Logica, cursusjaar 2008 - 2009. Zie voor algemene informatie de studiegids van Kunstmatige Intelligentie of ocasys.

Achtergrondliteratuur bij de colleges

Op deze pagina vind je voor ieder college interressante achtergrondliteratuur.

College 1

Inductieve definities en bewijzen

Het pigeonhole principle (postvakprincipe) kun je met inductie bewijzen. Hier vind je een paar aardige toepassingen. Je kunt bijvoorbeeld bewijzen dat in New York minstens twee mensen precies hetzelfde aantal haren op het hoofd hebben.

College 2

Meerwaardige logica, modale logica: syntax

Een artikel over het zeeslag-argument van Aristoteles door Robin Smith

Een aantal artikelen uit de Stanford Encyclopedia of Philosophy:

College 3

Modale logica: semantiek en tableaus

Het boek "Handbook of tableau methods" hier in de UB te lenen.

JavaScript logische animaties voor een possible world creator and calculator van Jan Jaspars

College 4

Modale logica: axiomatische bewijzen en karakteriseringen

Het artikel "correspondence theory" van Johan van Benthem, over het karakteriseren van eigenschappen van frames, in het Handbook of Philosophical logic, vol. 3, hier in de UB te lenen.

College 5

Modale predikatenlogica en tijdslogica

Twee artikelen uit de Stanford Encyclopedia of Philosophy:

Het artikel "Completeness by construction for tense logics of linear time" van De Jongh, Verbrugge en Veltman, over verschillende tijdslogica's voor verschillende structuren.

Het boek "On the plurality of worlds" over o.a. counterparts, van David Lewis, hier in de UB te lenen.

Het boek "The Logic of Time" over tijdslogica van Johan van Benthem, hier in de UB te lenen.

College 6

Parallelle processen en tijdslogica

In de syllabus modale logica (pdf) van Roel de Vrijer en Yde Venema gaat paragraaf 2.4 over tijdslogica en parallelle processen.

College 7

Logica en complexiteit

Het boek "Computers Ltd: What they really can't do" van David Harel, hier in de UB te lenen.

Het boek "Algorithmics" van David Harel, hier in de UB te lenen.

Het proefschrift "The complexity of modal logics" van Edith Spaan, hier in de UB te lenen.

Het boek "Algorithms and Complexity" van Herbert Wilf, de gratis eerste druk uit 1986 of de tweede druk, te leen in de UB.

Een powerpointpresentatie die laat zien dat satisfiability sneller kan met quantum computers

xkcd over complexiteit:

College 8

Niet-monotoon redeneren

Het boek "Nonmonotonic reasoning" van G. Antoniou, hier in de UB te lenen.

Een inleiding van John McCarthy over het Kwalificatie-probleem .

Een applet voor default logica gemaakt in Wenen