Type-Theoretical Dynamics: a logical framework for collective knowledge and information processing.
Period | 01-10-2008 to 30-09-2009 |
---|---|
Type | Postdoctoral Fellowship |
Fellow | Dr. Giuseppe Primiero |
Funding agency | Special Research Fund of Ghent University (BOF) |
I will use a modal constructive logical framework to model the relation between information and knowledge in reasoning procedures of the form: “provided that informations x,y,z are verified, the collective of agents A has justified knowledge K”. Such reasoning forms appear implicitly in a number of everyday situations, being the basis of intelligent interactions and collective decision procedures.