Reasoning with defeasible reasons
| Promotie: | Dhr. S. Pandzic |
| Wanneer: | 29 oktober 2020 |
| Aanvang: | 09:00 |
| Promotors: | dr. B.P. (Barteld) Kooi, prof. dr. A.M. Tamminga, prof. dr. L.C. (Rineke) Verbrugge |
| Waar: | Academiegebouw RUG |
| Faculteit: | Wijsbegeerte |
De rol van logica in alledaagse redeneringen
Het informatietijdperk wordt gekenmerkt door een enorme hoeveelheid aan binnenkomende informatie. Toch hebben we bijna altijd te maken met informatie die onvolledig of zelfs tegenstrijdig is. Stipe Pandzic onderzocht voor zijn promotie de logische principes achter onze vermogens om de juiste antwoorden te vinden en fouten te herzien die we maken bij het trekken van overhaaste conclusies.
Pandzic haalt het voorbeeld van de volgende krantenkop aan: ”NASA waarschuwt voor een naderende asteroïde die in staat is de menselijke beschaving te beëindigen”. De kop geeft reden om te concluderen dat de Aarde op ramkoers ligt. Wanneer we onder de kop zouden lezen dat de asteroïde weliswaar dichterbij komt, maar langs de Aarde zal komen op een afstand van meer dan zestien keer de afstand naar de Maan, dan zouden we onze reden voor de conclusie dat er binnenkort een botsing plaats gaat vinden in twijfel trekken. Dit alledaagse vermogen om oude redenen te betwijfelen in het licht van nieuwe informatie staat bekend als de “herroepbaarheid” van redenen.
Herroepbare redenen kwamen onder de aandacht van onderzoekers van kunstmatige intelligentie die zich realiseerden dat het ontwerp van intelligente computerprogramma's een principieel begrip van dergelijke alledaagse vermogens vereist. De relevantie van alledaagse redeneringen wordt tegenwoordig benadrukt door de noodzaak om de transparantie van kunstmatige intelligentie-systemen te vergroten, maar ook door het feit dat kunstmatige intelligentie-systemen nog steeds ondermaats presteren in alledaagse redeneertaken.
Pandzic beschrijft in zijn proefschrift de rol van de logica in alledaagse redeneringen. Ten eerste ontwikkelt hij logische systemen die succesvol zijn in het modelleren van herroepbare en alledaagse redeneringen. Ten tweede toont hij in zijn proefschrift aan waarom alledaagse redeneerders logisch moeten redeneren, ondanks het feit dat ze vatbaar zijn voor fouten.
Het onderzoek is gefinancierd door NWO.