A. Omicini, R. Tolksdorf, and F. Zambonelli (Eds.): ESAW 2000, LNAI 1972, pp. 1-18, 2000. Springer-Verlag Berlin Heidelberg 2000 Engineering Social Order * Cristiano Castelfranchi National Research Council - Institute of Psychology Division of "Artificial Intelligence, Cognitive and Interaction Modelling" castel@ip.rm.cnr.it Abstract. Social Order becomes a major problem in MAS and in com- puter mediated human interaction. After explaining the notions of Social Order and Social Control, I claim that there are multiple and comple- mentary approaches to Social Order and to its engineering: all of them must be exploited. In computer science one try to solve this problem by rigid formalisation and rules, constraining infrastructures, security de- vices, etc. I think that a more socially oriented approach is also needed. My point is that Social Control and in particular decentralised and autonomous Social Control will be one of the most effective ap- proaches. 1 The Framework: Social Order vs Social Control This is an introductory paper. I mean that I will not propose any solution to the prob- lem of social order in engineering cybersocieties: neither theoretical solutions and even less practical solutions. I want just to contribute to circumscribe and clarify the problem, identify relevant issues, and discuss some notions for a possible ontology in this domain. I take a cognitive and social perspective, however I claim that this is relevant not only for the newborn computational social sciences, but for networked society and MAS. There is a dialectic relationship: on the one hand, in MAS and cybersocieties we should be inspired by human social phenomena, on the other hand, by computa- tionally modelling social phenomena we should provide a better understanding of them. In particular I try to understand what Social Order 1 is, and to describe different approaches to and strategies for Social Order, with special attention to Social Control * This work has been and is being developed within the ALFEBIITE European Project: A Logical Framework For Ethical Behaviour Between Infohabitants In The Information Trading Economy Of The Universal Information Ecosystem. - IST- 1999-10298. 1 The spreading identification between "social order" and cooperation is troublesome. I use here social order as desirable, good social order (from the point of view of an observer or designer, or from the point of view of the participants). However, more generally social or- der should be conceived as any form of systemic phenomenon or structure which is suffi- ciently stable, or better either self-organising and self-reproducing through the actions of the agents, or consciously orchestrated by (some of) them. Social order is neither necessarily