On Two Families of Paradigms of Group-Solvability

We advance and compare two families of coalitional paradigms of solvability. A coalitional paradigm is distinguished from a "noncoalitional" paradigm primarily by its focus on what groups of agents can achieve, rather than on what individual agents can do, even if cooperating. As a criterion of group formation, our models engage a kind of pairwise, context-dependent coordination between knowledge-based "learning agents", eventually able to communicate the "complete & local" meaning of expressions taken from the set of literals of a common first-order language