Back to Search
Start Over
Interactive observability in Ludics: The geometry of tests
- Source :
-
Theoretical Computer Science . Feb2006, Vol. 350 Issue 2/3, p213-233. 21p. - Publication Year :
- 2006
-
Abstract
- Abstract: Ludics [J.-Y. Girard, Locus solum, Math. Structures in Comput. Sci. 11 (2001) 301–506] is a recent proposal of analysis of interaction, developed by abstracting away from proof-theory. It provides an elegant, abstract setting in which interaction between agents (proofs/programs/processes) can be studied at a foundational level, together with a notion of equivalence from the point of view of the observer. An agent should be seen as some kind of black box. An interactive observation on an agent is obtained by testing it against other agents. In this paper we explore what can be observed interactively in this setting. In particular, we characterize the objects that can be observed in a single test: the primitive observables of the theory. Our approach builds on an analysis of the geometrical properties of the agents, and highlights a deep interleaving between two partial orders underlying the combinatorial structures: the spatial one and the temporal one. [Copyright &y& Elsevier]
- Subjects :
- *MATHEMATICS
*GEOMETRY
*EVIDENCE
*LOGIC
Subjects
Details
- Language :
- English
- ISSN :
- 03043975
- Volume :
- 350
- Issue :
- 2/3
- Database :
- Academic Search Index
- Journal :
- Theoretical Computer Science
- Publication Type :
- Academic Journal
- Accession number :
- 19469882
- Full Text :
- https://doi.org/10.1016/j.tcs.2005.10.042