Computers, logica en recht

Wat zijn de mogelijkheden van het gebruik in rechtswetenschap en rechtspraktijk van computers, meer in het bijzonder van zogenaamde expertsystemen, bezien vanuit de logica? Zijn rechtsnormen en andere regels en uitspraken die voor de dagelijkse praktijk van de jurist van belang zijn, zodanig formaliseerbaar, dat deze in computers en expertsystemen verwerkbaar zijn? Is de rol die creativiteit en intuïtie in kennisverwervings- en beslissingsprocessen zoals het rechtsvinding proces spelen, geen beletsel voor het gebruik van de computer bij het totstandkomen van de juridische, met name de rechterlijke beslissing? Deze drie vragen vormen de kern van de probleemstelling waarop in deze bijdrage kort zal worden ingegaan.