Forskningsprofil

Min forskning fokuserer på logik, herunder især tidslogikken, og kunstig intelligens. Jeg er især optaget af de historiske og konceptuelle diskussioner der førte til formalisering af det dynamiske syn på tid, også kendt som tidslogikken. Tidslogikken er interessent som et sprog der kan give en stringent formalisering af tidens betydning i informationssystemer. Jeg er interesseret i forskningen i tidslogikkens grundlægger Arthur Norman Prior (1914-1969) der fik stor betydning som filosof såvel som logiker. Jeg finder det vigtigt og betydningsfuldt at fokusere på den betydning udviklingen af tidslogikken har haft for diskutionen af filosofiske problemer der angår tid. Herunder især tid og eksistens, hvor spørgmål om nuet's ontologi er væsentlig, men også fremtidens kontingens og menneskets frihed. Sammen med Peter Øhrstrøm og Per Hasle står jeg i spidsen for Arthur Norman Prior's arkiv på Aalborg Universitet der rummer hans korrespondence og publiceret, såvel som upubliceret, artikler. Det kan findes på nachlass.prior.aau.dk. 

Min nyeste forskning har fokuserer på brugen af generativ kunstig intelligens som assistent til kritisk tænkning. Jeg er interesseret i at udvikle og forske i systemer hvor generativ kunstig intelligens optræder i en rolle der tydeliggør at det er brugeren som har muligheden, og dermed ansvaret, for at være den kritisk tænkende.