PP-2006-49: van Benthem, Johan (2006) Computation as Conversation. [Report]
Preview |
Text (Full Text)
PP-2006-49.text.pdf Download (237kB) | Preview |
Text (Abstract)
PP-2006-49.abstract.txt Download (614B) |
Abstract
Against the backdrop of current research into 'logical dynamics' of information, we discuss two-way connections between conversation and computation. This leads to a broader perspective on both, using ideas from both computational and philosophical logic. In particular, we discuss merges between computation and conversation (or more general interaction) by means of three transformations on given algorithms: 'epistemization', 'dynamification', and 'gamification'.
Item Type: | Report |
---|---|
Report Nr: | PP-2006-49 |
Series Name: | Prepublication (PP) Series |
Year: | 2006 |
Uncontrolled Keywords: | computation, conversation, communication, complexity, knowledge, interaction. |
Subjects: | Computation |
Depositing User: | Johan van Benthem |
Date Deposited: | 12 Oct 2016 14:36 |
Last Modified: | 12 Oct 2016 14:36 |
URI: | https://eprints.illc.uva.nl/id/eprint/224 |
Actions (login required)
View Item |