dr. B.P. (Barteld) Kooi

Momenteel werk ik aan het VIDI-project Logics for Intelligent Interaction: Expressivity and Succinctness.

Het project richt zich op een van de belangrijkste thema's in de hedendaagse logica: intelligente interactie (die zich in vrijwel iedere sociale voordoet). Er is op dit gebied een grote verscheidenheid in logische theorieën in zoveree dat er meer dan een benadering is voor een en hetzelfde toepassingsgebied. Er is grote behoefte om vast te stellen in hoeverre verschillende benaderingen fundamenteel andere perspectieven verschaffen, of dat deze verschillen slechts oppervlakkig zijn. Door de expressiviteit en beknoptheid van deze logica's te onderzoeken worden mogelijk verschillen in de onderliggende conceptuele raamwerken blootgelegd, en zo wordt ons begrip van die raamwerken verbeterd en daarmee ook ons begrip van intelligente interactie zelf.

Van 2006 tot 2009 werkte ik aan het VENI-project Developing dynamic epistemic logic guided by old paradoxes and new techniques.