Evidence-based beliefs in many-valued modal logics
| PhD ceremony: | Mr Y. (Yuri) David Santos |
| When: | January 14, 2021 |
| Start: | 14:30 |
| Supervisors: | dr. B.P. (Barteld) Kooi, prof. dr. L.C. (Rineke) Verbrugge |
| Where: | Academy building RUG |
| Faculty: | Philosophy |
Een multi-agent logica van bewijs
Sinds de opkomst van het internet en sociale media worden we blootgesteld aan meer informatie dan ooit in de menselijke geschiedenis. Goed geïnformeerd blijven is echter geen gemakkelijke taak, omdat de hoeveelheid onbetrouwbare informatie enorm is. Tegenwoordig moeten individuen in staat zijn bewijs te zoeken, te filteren en te combineren - terwijl betrouwbaar van onbetrouwbaar bewijs wordt gescheiden - en er de juiste conclusies uit te trekken. Dit alles moet worden gedaan met beperkte tijd en cognitieve middelen. Software agenten, die een steeds grotere rol spelen in de huidige samenleving, worden met dezelfde hindernissen geconfronteerd.
Rationele agenten, menselijk of anderzijds, baseren hun overtuigingen op bewijs - een proces dat we consolidatie noemen. Maar hoe moet dit proces worden uitgevoerd? In dit proefschrift bestuderen we een multi-agent logica van bewijs en de vraag hoe agenten overtuigingen zouden moeten vormen binnen deze logica.