
TL;DR
This paper surveys the development of an information dynamics framework that integrates qualitative, structural, and quantitative aspects of information, aiming to establish a fundamental theory of information and computation.
Contribution
It introduces a comprehensive survey of theories like Domain Theory, Dynamic Logic, and Game Semantics, highlighting their roles in understanding information flow and interaction.
Findings
Combines qualitative and quantitative theories of information.
Highlights the role of Game Semantics and Geometry of Interaction.
Identifies key issues for future progress in information dynamics.
Abstract
We survey the prospects for an Information Dynamics which can serve as the basis for a fundamental theory of information, incorporating qualitative and structural as well as quantitative aspects. We motivate our discussion with some basic conceptual puzzles: how can information increase in computation, and what is it that we are actually computing in general? Then we survey a number of the theories which have been developed within Computer Science, as partial exemplifications of the kind of fundamental theory which we seek: including Domain Theory, Dynamic Logic, and Process Algebra. We look at recent work showing new ways of combining quantitative and qualitative theories of information, as embodied respectively by Domain Theory and Shannon Information Theory. Then we look at Game Semantics and Geometry of Interaction, as examples of dynamic models of logic and computation in which…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
