Universiteit van Amsterdam





Titel A Logical Approach to Computational Theory Building
Datum vrijdag 10-03-2000
Tijd 12:00 uur

Promovendus J. Kamps

Promotor prof. dr. W.E. Saris

Het proefschrift bevat een multidisciplinair onderzoek op het raakvlak van de logica, kunstmatige intelligentie, wetenschapsfilosofie en sociologie. Uitgangspunt is de representatie van wetenschappelijke theorieën door het gebruik van symbolische logica en ondersteuning van deze theorieën door criteria voor evaluatie en revisie. De promovendus bepaalt deze criteria met behulp van computerprogramma's. Dit leidt tot een computerondersteunende methodologie voor het formaliseren van wetenschappelijke theorieën.

Terug naar boven webmaster@uva.nl

Deel: ' Promotie Computational Theory Building '




Lees ook