Coordination of 01-agents vs. coordination of worlds-based agents
Alessandro Agostini; Dick de Jongh; Franco Montagna

Abstract:
As far as we know, a {\em learning to coordinate} paradigm was first
introduced in Formal Learning Theory by using the tools of recursion
theory. In this paper, we present a first-order paradigm of
coordination---we call this the paradigm of {\em SF-coordination}. The
paradigm of SF-coordination is shown to extend Montagna-Osherson's
paradigm, in the sense that Montagna and Osherson's 01-agents
coordinate if and only if some first-order equivalent agents of the
first-order paradigm SF-coordinate.

Keyword(s): formal learning theory, inductive inference, coordination