Recent onderzoek, zowel in mijn onderzoeksgroep als elders, heeft aangetoond that kwantum- en klassieke waarschijnlijkheid hun oorsprong vinden een gemeenschappelijk beslistheoretisch raamwerk dat partiële specificatie en conservatief gevolgtrekken mogelijk maakt.

Enerzijds moeten de wiskundige aspecten van dit raamwerk veel dieper en breder worden uitgewerkt, en de gevolgen ervan voor de grondslagen van de kwantumtheorie met meer detail worden onderzocht.

Anderzijds doen de vastgestelde gemeenschappelijke grondslagen van klassieke en kwantumwaarschijnlijkheid vermoeden dat bestaande technieken for efficiënt gevolgtrekken onder partiële waarschijnlijkheidstoekenning in de klassieke probabilistische systeemtheorie (zoals bijvoorbeeld redeneren in imprecieze Markov-ketens) kunnen worden overgedragen naar kwantumprobabilistische systemen, en dat ze daar kunnen leiden tot gevolgtrekkingstechnieken die efficiënter en robuuster zijn dan wat tot nu toe werd mogelijk geacht.

Het onderzoeksproject zal aandacht besteden aan, en proberen een antwoord te vinden op, fundamentele en praktische vragen in deze beide onderzoeksgebieden.