Logics for intelligent interaction: expressivity and succinctness

Samenvatting

One of the prominent themes in logic today is intelligent interaction, which occurs in any social situation. There is a multitude of logical theories in this area to such an extent that for one and the same subject there is more than one approach. There is a great need to establish whether alternative approaches actually provide fundamentally different perspectives, or whether the differences are merely superficial. By focusing on the expressivity and succinctness of these logics, possible differences in their underlying conceptual frameworks are revealed, thus advancing our understanding of these conceptual frameworks and thereby of intelligent interaction itself.
The proposed research is divided into three subprojects. The first subproject focuses on expressivity. The expressivity of a logic tells us which concepts are captured by it. First, the expressivity of Dynamic Epistemic Logic is addressed, which will advance our understanding of the concepts of information and communication. Second, the concept of relativization is investigated which appears in different guises in several logics for intelligent interaction. Third, the expressivity of Probability Logic is investigated providing a fine-grained analysis of the concept of information. Fourth, techniques for obtaining expressivity results are developed.
The second subproject focuses on succinctness. One logic is more succinct than another logic if the same concept can be expressed with shorter formulas. Thereby it tells us something about the complexity of those concepts. First, the succinctness of Dynamic Epistemic Logic is investigated revealing the complexity of different kinds of communication. Second, the relation between succinctness and computational complexity is studied, making clear in what sense certain concepts are more complex than others. Third, techniques for obtaining succinctness results are developed.
The third subproject focuses on logics of action. The expressivity of logics of action is investigated, revealing the concepts of action and agency that underlie logics of action.

Keywords: logic, expressivity, succinctness, intelligent interaction, meta-logic.

Output

Boek of monografie

  • H.P. van Ditmarsch, B.P. Kooi(2013): Honderd Gevangenen en een Gloeilamp pp. 100 , Utrecht
  • R. Goré, B.P. Kooi, A. Kurucz(2014): Advances in Modal Logic
  • H.P. van Ditmarsch, J.Y. Halpern, W. van der Hoek, B.P. Kooi(2015): Handbook of Epistemic Logic pp. 676 , London
  • H.P. van Ditmarsch, B.P. Kooi(2015): One Hundred Prisoners and a Light Bulb

Proefschrift

Hoofdstuk in boek

  • B.P. Kooi(2011): Handbook of Logic and Language pp. 671 - 690 , Amsterdam
  • E. Pacuit, B.P. Kooi(2011): Dynamic Formal Epistemology pp. 5 - 32 , Dordrecht
  • B.P. Kooi, G. Restall, G. Russell(2012): New Waves in Philosophical Logic pp. 30 - 38 , Houndmills
  • L.B. Kuijer(2014): Pristine Perspectives on Logic, Language and Computation pp. 109 - 123
  • L. Demey, B.P. Kooi(2014): Johan van Benthem on Logic and InformationS pp. 381 - 404

Wetenschappelijk artikel

  • B.P. Kooi, A.M. Tamminga(2012): Completeness via Correspondence for Extensions of the Logic of Paradox. The Review of Symbolic Logic pp. 720 - 730 ISSN: 1755-0203.
  • H. van Ditmarsch, W. van der Hoek, B.P. Kooi(2012): Local properties in modal logic Artificial Intelligence pp. 133 - 155 ISSN: 0004-3702.
  • L. Demey, B.P. Kooi, J. Sack(2013): Logic and Probability Stanford Encyclopedia of Philosophy pp. nvt - nvt ISSN: 1095-5054.
  • B.P. Kooi, A.M. Tamminga(2013): Three-valued logics in modal logic. Studia Logica pp. 1061 - 1072 ISSN: 0039-3215.
  • T. French, W. van der Hoek, P. Iliev, B.P. Kooi(2013): On the succinctness of some modal logics Artificial Intelligence pp. 56 - 85 ISSN: 0004-3702.
  • L.B. Kuijer(2014): The Expressivity of Factual Change in Dynamic Epistemic Logic The Review of Symbolic Logic pp. 208 - 221
  • B.P. Kooi, F.A. Hindriks(2014): Reaffirming the status of the knowledge account of assertion Journal of Philosophical Research pp. 87 - 92 ISSN: 1053-8364.
  • P. Maffezioli(2014): Proof theory of epistemic logic of programs Logic and Logical Philosophy pp. 301 - 328
  • L.B. Kuijer(2015): The expressivity of update logics Journal of Logic and Computation pp. 719 - 742
  • P. Maffezioli, D. Gilbert(2015): Modular sequent calculi for classical modal logics Studia Logica pp. 175 - 217

Kenmerken

Projectnummer

276-20-011

Hoofdaanvrager

Prof. dr. B.P. Kooi

Verbonden aan

Rijksuniversiteit Groningen, Faculteit Wijsbegeerte

Uitvoerders

Dr. D.R. Gilbert, Prof. dr. B.P. Kooi, Drs. L.B. Kuyer, Dr. P. Maffezioli, Dr. J.H. Sack

Looptijd

01/06/2010 tot 31/05/2015