Coordination via Interaction Constraints I: Local Logic

Wegner describes coordination as constrained interaction. We take this approach literally and define a coordination model based on interaction constraints and partial, iterative and interactive constraint satisfaction. Our model captures behaviour described in terms of synchronisation and data flow constraints, plus various modes of interaction with the outside world provided by external constraint symbols, on-the-fly constraint generation, and coordination variables. Underlying our approach is an engine performing (partial) constraint satisfaction of the sets of constraints. Our model extends previous work on three counts: firstly, a more advanced notion of external interaction is offered; secondly, our approach enables local satisfaction of constraints with appropriate partial solutions, avoiding global synchronisation over the entire constraints set; and, as a consequence, constraint satisfaction can finally occur concurrently, and multiple parts of a set of constraints can be solved and interact with the outside world in an asynchronous manner, unless synchronisation is required by the constraints. This paper describes the underlying logic, which enables a notion of local solution, and relates this logic to the more global approach of our previous work based on classical logic

Cooperative Longevity and Sustainable Development in a Family Farming System

This paper focuses on small holding, family farming in Southeast Spain where agricultural economic activity is predominantly organized around cooperative business models. A variety of diverse studies on the Almería agricultural and credit cooperative sector and the exploration of social-economic and eco-social indicators, in addition to economic-market indicators are presented. Each correspond to a cooperative “logic” that spans theoretical perspectives from the dominant economic-market model, new institutionalism, and an eco-social approach, echoing theories on collective coordination governance, and the avoidance of the “tragedy of the commons”. The latter is of particular importance given environmental challenges and scarce resources for agricultural activity. The cooperatives in Almería have increasingly relied on collective collaboration and coordination in order to meet social-economic and social-ecological challenges, transforming their role from that founded on a market dominant logic to that of cooperation as a coordination mechanism based on the mutual benefit of the community and environment. In turn, their ability to meet a wide range of needs and challenges of members and the community leads to their longevity. Cooperatives are able to act as both a market and non-market coordination mechanism, balancing the economic, social, and environmental dimensions, such that neither market nor non-market logics are dominant or exclusive

The Logic of Joint Ability in Two-Player Tacit Games

Logics of joint strategic ability have recently received attention, with arguably the most influential being those in a family that includes Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). Notably, both CL and ATL bypass the epistemic issues that underpin Schelling-type coordination problems, by apparently relying on the meta-level assumption of (perfectly reliable) communication between cooperating rational agents. Yet such epistemic issues arise naturally in settings relevant to ATL and CL: these logics are standardly interpreted on structures where agents move simultaneously, opening the possibility that an agent cannot foresee the concurrent choices of other agents. In this paper we introduce a variant of CL we call Two-Player Strategic Coordination Logic (SCL2). The key novelty of this framework is an operator for capturing coalitional ability when the cooperating agents cannot share strategic information. We identify significant differences in the expressive power and validities of SCL2 and CL2, and present a sound and complete axiomatization for SCL2. We briefly address conceptual challenges when shifting attention to games with more than two players and stronger notions of rationality

Treating Coordination with Datalog Grammars

In previous work we studied a new type of DCGs, Datalog grammars, which are inspired on database theory. Their efficiency was shown to be better than that of their DCG counterparts under (terminating) OLDT-resolution. In this article we motivate a variant of Datalog grammars which allows us a meta-grammatical treatment of coordination. This treatment improves in some respects over previous work on coordination in logic grammars, although more research is needed for testing it in other respects

Coordination using a Single-Writer Multiple-Reader Concurrent Logic Language

The principle behind concurrent logic programming is a set of processes which co-operate in monotonically constraining a global set of variables to particular values. Each process will have access to only some of the variables, and a process may bind a variable to a tuple containing further variables which may be bound later by other processes. This is a suitable model for a coordination language. In this paper we describe a type system which ensures the co-operation principle is never breached, and which makes clear through syntax the pattern of data flow in a concurrent logic program. This overcomes problems previously associated with the practical use of concurrent logic languages

Co-ordination and public administration in a global economy — A Hungarian point of view

The purpose of social co-ordination mechanisms is to co-ordinate the activities of individuals and organisations specialised in the distribution of work. The paper reviews five basic types of mechanisms: market, bureaucratic, ethical, aggressive and co-operative co-ordination. Today’s world operates on the basis of a duality: international cooperation is based on nation states, in which the public administrations work according to bureaucratic coordination. However, the increasingly globalised market responds to the logic of market coordination. The article argues that in terms of understanding the working of public administration, the various coordination mechanisms are of crucial importance, especially where various mechanisms meet, such as the relationship between nation states and multinational corporations

An interactive semantics of logic programming

We apply to logic programming some recently emerging ideas from the field of reduction-based communicating systems, with the aim of giving evidence of the hidden interactions and the coordination mechanisms that rule the operational machinery of such a programming paradigm. The semantic framework we have chosen for presenting our results is tile logic, which has the advantage of allowing a uniform treatment of goals and observations and of applying abstract categorical tools for proving the results. As main contributions, we mention the finitary presentation of abstract unification, and a concurrent and coordinated abstract semantics consistent with the most common semantics of logic programming. Moreover, the compositionality of the tile semantics is guaranteed by standard results, as it reduces to check that the tile systems associated to logic programs enjoy the tile decomposition property. An extension of the approach for handling constraint systems is also discussed.Comment: 42 pages, 24 figure, 3 tables, to appear in the CUP journal of Theory and Practice of Logic Programmin

Classical Political Economy Sifted Through Dialectical Reason: The Hegelian rereading

This article examines the analysis of the economic system developed by Hegel in the Elements of the Philosophy of Right. It shows how this analysis amounts not to a reworking and development of the theses of classical political economy, but rather to their dialectical reinterpretation. This particular logic of apprehension grounds the specificity of the Hegelian view of the economic sphere and its irreducibility to classical theses. The article explains how this particular logic of apprehension leads Hegel to bring to the foreground the insufficiencies of the market-based mode of coordination of individual destinies, as well as the necessity that this mode of coordination be surpassed both by and in the rational state. The article, then, focuses on the specificity of the articulation that Hegel conceives between civil society and the state. It shows how Hegel, surpassing the liberalism-state interventionism opposition, sketches an institutional device ensuring the advent of an ethical economy.Ethical economy ; civil society ; Hegel ; classical political economy