The design of intelligent socio-technical systems

The design of intelligent socio-technical systems calls for careful examination of relevant social and organizational concepts. We present a method for supporting this design process, placing emphasis on different levels of formal characterization, with equal attention to both the analysis of concepts in a formal calculus independent of computational concerns, and the representation of concepts in a machine-processable form, fully cognizant of implementation issues—a step in the method we refer to as principled operationalization. There are many tools (i.e. formal languages) that can be used to support the design method; we define and discuss criteria for evaluating such tools. We believe that, were the method proposed to be adopted, it would enhance the state-of-the-art in the systematic design and engineering of socio-technical systems, respecting the fundamentally interdisciplinary nature of those tasks, in both their theoretical and practical dimensions.

[1]  Alexander Artikis,et al.  Executable specification of open multi-agent systems , 2010, Log. J. IGPL.

[2]  R. Atkinson,et al.  Position and change : a study in law and logic , 1979 .

[3]  Social Trust , 2014, Encyclopedia of Social Network Analysis and Mining.

[4]  Gerhard Brewka,et al.  Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus , 2001, J. Log. Comput..

[5]  S. Lindström,et al.  New Foundations for Ethical Theory , 2001 .

[6]  Stig Kanger,et al.  Law and logic , 2008 .

[7]  Munindar P. Singh,et al.  Contextualizing commitment protocol , 2006, AAMAS '06.

[8]  David Lewis.  Convention: A Philosophical Study , 1986 .

[9]  S. Kanger,et al.  Rights and Parliamentarism , 2008 .

[10]  John McCarthy,et al.  A BASIS FOR A MATHEMATICAL THEORY OF COMPUTATION 1) , 2018 .

[11]  Marek J. Sergot,et al.  The Deontic Component of Action Language nC+ , 2006, DEON.

[12]  Varol Akman,et al.  Representing the Zoo World and the Traffic World in the language of the Causal Calculator , 2004, Artif. Intell..

[13]  Susan Stepney,et al.  The CoSMoS Process, Version 0.1: A Process for the Modelling and Simulation of Complex Systems , 2010 .

[14]  Raymond Reiter,et al.  Proving Properties of States in the Situation Calculus , 1993, Artif. Intell..

[15]  Enrico Giunchiglia,et al.  Nonmonotonic causal theories , 2004, Artif. Intell..

[16]  Andrew J. I. Jones,et al.  Action concepts for describing organised interaction , 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

[17]  Marco Colombetti,et al.  Specifying Artificial Institutions in the Event Calculus , 2009, Handbook of Research on Multi-Agent Systems.

[18]  Layman E. Allen,et al.  Symbolic Logic: A Razor-Edged Tool for Drafting and Interpreting Legal Documents , 1957 .

[19]  R. Kirk.  CONVENTION: A PHILOSOPHICAL STUDY , 1970 .

[20]  Ingmar Pörn,et al.  The logic of power , 1970 .

[21]  Marek Sergot,et al.  On the characterization of law and computer systems: the normative systems perspective , 1994 .

[22]  Yao-Hua Tan,et al.  Trust and Deception in Virtual Societies , 2001, Springer Netherlands.

[23]  Roel Wieringa,et al.  Deontic logic in computer science: normative system specification , 1994 .

[24]  D. Dennett.  Darwin's Dangerous Idea: Evolution and the Meanings of Life , 1995 .

[25]  M. Hart,et al.  SOME FUNDAMENTAL LEGAL CONCEPTIONS AS APPLIED IN JUDICIAL REASONING , 2008 .

[26]  Marek J. Sergot,et al.  A Formal Characterisation of Institutionalised Power , 1996, Log. J. IGPL.

[27]  N. Isaacs,et al.  Fundamental Legal Conceptions as Applied in Judicial Reasoning: And Other Legal Essays , 2010 .

[28]  Marco Colombetti,et al.  Formal specification of artificial institutions using the event calculus , 2008 .

[29]  Ingmar Pörn,et al.  POSITION AND CHANGE: A Study in Law and Logic , 1978 .

[30]  Ravi S. Sandhu,et al.  The NIST model for role-based access control: towards a unified standard , 2000, RBAC '00.

[31]  Mark S. Fox,et al.  An organizational ontology for enterprise modeling , 1998 .

[32]  Davide Grossi,et al.  Constitutive Norms and Counts-as Conditionals , 2013 .

[33]  Giovanni Sartor,et al.  Time and norms: a formalisation in the event-calculus , 1999, ICAIL '99.

[34]  Marek J. Sergot,et al.  Action and Agency in Norm-Governed Multi-agent Systems , 2008, ESAW.

[35]  Marek J. Sergot,et al.  On the Representation of Action and Agency in the Theory of Normative Positions , 2001, Fundam. Informaticae.

[36]  Ghita Holmström-Hintikka,et al.  Rights and Parliamentarism , 2001 .

[37]  Raymond Reiter,et al.  Temporal Reasoning in Logic Programming: A Case for the Situation Calculus , 1993, ICLP.

[38]  Brian Skyrms,et al.  Signals: Evolution, Learning, and Information , 2010 .

[39]  Munindar P. Singh,et al.  Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols , 2004, Annals of Mathematics and Artificial Intelligence.

[40]  Michael Luck,et al.  A model of normative power , 2010, AAMAS.

[41]  John McCarthy,et al.  A basis for a mathematical theory of computation, preliminary report , 1899, IRE-AIEE-ACM '61 (Western).

[42]  Andrew J. I. Jones,et al.  Trust and Deception in Virtual Societies , 2001 .

[43]  Richmond H. Thomason,et al.  Draft Chapter for Handbook on Logic of Normative Systems , 2012 .

[44]  Emiliano Lorini,et al.  Prolegomena for a Logic of Trust and Reputation , 2008, NORMAS.

[45]  Hector J. Levesque,et al.  Foundations for the Situation Calculus , 1998, Electron. Trans. Artif. Intell..

[46]  Jordi Sabater-Mir,et al.  Computational trust and reputation models for open multi-agent systems: a review , 2013, Artificial Intelligence Review.

[47]  James P. Delgrande,et al.  An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised Report , 1987, Artif. Intell..

[48]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[49]  T. Horgan,et al.  Action Theory and Social Science: Some Formal Models , 2011 .

[50]  Alexander Artikis,et al.  An executable specification of a formal argumentation protocol , 2007, Artif. Intell..

[51]  emanuele lombardi,et al.  Modelling and simulation of complex systems , 2012 .

[52]  Henry Prakken,et al.  Contrary-to-duty obligations , 1996, Stud Logica.

[53]  Mark S. Fox,et al.  The Role of Competency Questions in Enterprise Engineering , 1995 .

[54]  J. Shepherdson,et al.  Computer programming and formal systems , 1965 .

[55]  Marek J. Sergot,et al.  Agent strands in the action language nC+ , 2008, J. Appl. Log..

[56]  Emiliano Lorini,et al.  A logic of trust and reputation , 2010, Log. J. IGPL.

[57]  Luc Steels,et al.  The "Artificial Life" Route to "Artificial Intelligence": Building Situated Embodied Agents , 1995 .