Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

The design of intelligent socio-technical systems

  • Published:
Artificial Intelligence Review Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

Notes

  1. An earlier version of Sect. 2.1 appeared in Jones et al. (2011).

  2. One of the reviewers of this paper pointed out that the NASA Challenger Space Shuttle disaster could provide an interesting real-world example illustrating the respective roles of Test Engineers and Project Supervisors.

  3. We note that it has been observed in biologically-inspired computing that some programmed systems have ‘drifted’ from the original source of inspiration, and so become inadequate either as a simulation for answering questions about the nature of real immune systems, or as a foundation for other related problems. This observation provides an interesting parallel to our concerns about trends in the design of socio-technical systems.

  4. Herzig and Lorini elaborate the analysis in terms of two sets of conditions, for what they call occurrent and dispositional trust.

  5. Various alternative accounts of counts-as conditionals appeared later on, and these are summarized and critically compared in Grossi and Jones, in press.

  6. Pörn’s book is full of valuable insights regarding the formal modelling of various aspects of social interaction. Regrettably, his work has been largely overlooked by researchers in the field of Agents and Multi-agent Systems.

  7. A suggestion of this sort was first put forward in the description of the multi-modal logical framework developed as part of the EC-financed ALFEBIITE project (IST-1999-10298, 01-02-2000 to 30-11-2003).

  8. Over 50 years ago, Layman Allen began arguing the case for applying logic as a tool in legal drafting; see, e.g., Allen (1957).

  9. Essentially, these are conditional obligations that come into force when some other obligation has been violated.

  10. In future work, it would be interesting to explore comparisons between the History of Computer Science and the History of (other parts of) Engineering. Furthermore, as one of the reviewers has observed, we might usefully consider discussions of modeling in the Philosophy of Social Science, with a view to developing our position regarding the respective roles of conceptual and computational models.

  11. However, in some interesting comments, Davide Grossi (personal communication) has suggested to us that aspects of the history of BDI in Artificial Intelligence do in fact provide such an example.

References

  • Akman V, Erdogan S, Lee J, Lifschitz V, Turner H (2004) Representing the zoo world and the traffic world in the language of the causal calculator. Artif Intell 153(1–2):105–140

    Article  MATH  Google Scholar 

  • Allen L (1957) A razor-edged tool for drafting and interpreting legal documents. Yale Law J 66:833–879

    Article  Google Scholar 

  • Andrews P, Polack F, Sampson A, Stepney S, Timmis J (2010), The CoSMoS process, version 0.1: a process for the modelling and simulation of complex systems. Technical report YS-2010-453, University of York

  • Artikis A, Sergot M (2010) Executable specification of open multi-agent systems. Logic J IGPL 18(1):31–65

    Article  MathSciNet  MATH  Google Scholar 

  • Artikis A, Sergot M, Pitt J (2007) Executable specification of a formal argumentation protocol. Artif Intell 171(10–15):776–804

    Article  MathSciNet  MATH  Google Scholar 

  • Brewka G (2001) Dynamic argument systems: a formal model of argumentation processes based on situation calculus. J Logic Comput 11(2):257–282

    Article  MathSciNet  MATH  Google Scholar 

  • Castelfranchi C, Falcone R (1998) Social trust. In: Proceedings of the first workshop on deception, fraud and trust in agent societies, pp 35–49

  • Castelfranchi C, Tan YH (eds) (2001) Trust and deception in virtual societies. Kluwer, Dordrecht

    Google Scholar 

  • Chopra A, Singh M (2006) Contextualising commitment protocols. In: Proceedings of the conference on autonomous agents and multi-agent systems (AAMAS), ACM, pp 1345–1352

  • Craven R, Sergot M (2008) Agent strands in the action language nC+. J Appl Logic 6(2):172–191

    Article  MathSciNet  MATH  Google Scholar 

  • Delgrande J (1988) An approach to default reasoning based on a first-order conditional logic: revised report. Artif Intell 36:62–90

    Google Scholar 

  • Dennett D (1995) Darwin’s dangerous idea: evolution and the meanings of life. Penguin Books, London

    Google Scholar 

  • Edmonds B, Gilbert N, Gustafson S, Hales D, Krasnogor N (eds) (2005) Socially inspired computing. In: Proceedings of the joint symposium on socially inspired computing, AISB

  • FIPA (2002) FIPA communicative act library specification. http://www.fipa.org/specs/fipa00037/index.html

  • Fornara N, Colombetti M (2009) Formal specification of artificial institutions using the event calculus. Multi-agent systems: semantics and dynamics of organizational models, IGI Global

  • Fox M, Barbuceanu M, Grüninger M, Lin J (1998) An organizational ontology for enterprise modeling. In: Prietula M, Carley K, Gasser L (eds) Simulating organizations: computational models for institutions and groups. AAAI Press/MIT Press, pp 131–152

  • Giunchiglia E, Lee J, Lifschitz V, McCain N, Turner H (2004) Nonmonotonic causal theories. Artif Intell 153(1–2):49–104

    Article  MathSciNet  MATH  Google Scholar 

  • Grossi D, Jones A (in press) Constitutive norms and counts-as conditionals. In: Gabbay D, Horty J, van der Meyden R, van der Torre L (eds) Handbook on logic of normative systems, vol 1. College Publications, UK

  • Grüninger M, Fox M (1994) The role of competency questions in enterprise engineering. In: Proceedings of the IFIP WG5.7 workshop on benchmarking-theory and practice

  • Herzig A, Lorini E, Hübner JF, Ben-Naim J, Castelfranchi C, Demolombe R, Longin, D, Vercouter L (2008) Prolegomena for a logic of trust and reputation. In: Proceedings of NORMAS, pp 143–157

  • Herzig A, Lorini E, Hübner JF, Vercouter L (2010) A logic of trust and reputation. Logic J IGPL 18(1):214–244

    Article  MATH  Google Scholar 

  • Hohfeld W (1913) Some fundamental legal conceptions as applied in judicial reasoning. Yale Law J 23(16):16–59

    Google Scholar 

  • Jones A, Sergot M (1933) On the characterization of law and computer systems: the normative systems perspective. In: Meyer JJ, Wieringa R (eds) Deontic logic in computer science. Wiley, Chichester

    Google Scholar 

  • Jones A, Sergot M (1996) A formal characterization of institutionalised power. J IGPL 4(3):429–445

    MathSciNet  Google Scholar 

  • Jones A, Pitt J, Artikis A (2011) On the analysis and implementation of normative systems—towards a methodology. In: Proceedings of the workshop on coordination, organisation, institutions and norms (COIN), at the 10th international conference on autonomous agents and multi-agent systems. Taipei, Taiwan, pp 47–56

  • Kanger S (1957) New foundations for ethical theory, University of Stockholm, Department of Philosophy. Also in: Hilpinen R (ed) Deontic logic: introductory and systematic readings. Reidel, Dordrecht

  • Kanger S (1972) Law and logic. Theoria 38:105–132

    Article  MathSciNet  MATH  Google Scholar 

  • Kanger S, Kanger H (1966) Rights and parliamentarism. Theoria 32:85–115

    Article  Google Scholar 

  • Kowalski R, Sergot M (1986) A logic-based calculus of events. New Gener Comput 4(1):67–96

    Article  Google Scholar 

  • Levesque H, Pirri F, Reiter R (1998) Foundations for the situation calculus. Linköping Electron Articles Comput Inf Sci 3:159–178

  • Lewis D (1969) Convention—a philosophical study. Harvard University Press, Cambridge, MA

    Google Scholar 

  • Lindahl L (1977) Position and change: a study in law and logic. Reidel, Dordrecht

    Book  Google Scholar 

  • Marín R, Sartor G (1999) Time and norms; a formalisation in the event calculus. In: Proceedings of the conference on artificial intelligence and law (ICAIL), ACM Press, pp 90–100

  • McCarthy J (1963) A basis for a mathematical theory of computation. In: Braffort P, Hirschberg D (eds) Computer programming and formal systems. North-Holland, Amsterdam, pp 33–70

    Chapter  Google Scholar 

  • Oren N, Luck M, Miles S (2010) A model of normative power. In: Proceedings of the 9th international conference on autonomous agents and multiagent systems (AAMAS), pp 815–822

  • Pinto J, Reiter R (1993) Temporal reasoning in logic programming: a case for the situation calculus. In: Warren D (ed) Proceedings of conference on logic programming. MIT Press, Cambridge, MA, pp 203–221

  • Pinyol I, Sabater-Mir J (2011) Computational trust and reputation models for open multi-agent systems: a review. Artif Intell Rev (Springer online-first)

  • Pörn I (1970) The logic of power. Blackwell, Oxford

    Google Scholar 

  • Pörn I (1977) Action theory and social science—some formal models, Synthese Library vol 120. Reidel, Dordrecht, Holland

    Google Scholar 

  • Prakken H, Sergot M (1996) Contrary-to-duty obligations. Studia Logica 57:91–115

    Article  MathSciNet  MATH  Google Scholar 

  • Reiter R (1993) Proving properties of states in the situation calculus. Artif Intell 64:337–351

    Article  MathSciNet  MATH  Google Scholar 

  • Sandhu R, Ferraiolo D, Kuhn R (2000) The NIST model for role-based action control: toward a unified standard. In: The 5th ACM workshop on role-based access control, RAC ’00, pp 47–63

  • Santos F (2002) A modal logic framework for organization analysis and design. In: Horty J, Jones A (eds) Proceedings of the workshop on deontic logic in computer science (DEON), pp 279–299

  • Santos F, Jones A, Carmo J (1997) Action concepts for describing organized interaction. In: Sprague RA (ed) HICCS ’97: proceedings of the 30th Hawaii conference on system sciences. IEEE Computer Society, pp 373–382

  • Sergot M (2008) Action and agency in norm-governed multi-agent systems. In: Artikis A, O’Hare G, Stathis K, Vouros G (eds) Proceedings of ESAW VIII, LNAI 4995. Springer, pp 1–54

  • Sergot, M, Craven R (2006) The deontic component of action language nC+. In: Goble L, Meyer J-J (eds) Deontic logic in computer science (DEON’06), LNAI 4048. Springer, pp 222–237

  • Sergot M, Richards F (2001) On the representation of action and agency in the theory of normative positions. Fundamenta Informaticae 48(2–3):273–293

    MathSciNet  MATH  Google Scholar 

  • Skyrms B (2010) Signals: evolution. learning and information. Oxford University Press, Oxford

    Google Scholar 

  • Steels L, Brooks R (1994) The artificial life route to artificial intelligence: building situated embodied agents. Lawrence Erlbaum Ass, New Haven

    Google Scholar 

  • Yolum P, Singh M (2004) Reasoning about commitments in the event calculus: an approach for specifying and executing protocols. Ann Math Artif Intell 42(1–3):227–253

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgments

The preparation of this paper benefited from the comments of Gunnar Coll, Robert Demolombe, Davide Grossi and the late Steve Barker. We thank also the reviewers for their valuable insights and suggestions.

Author information

Authors and Affiliations

  1. Department of Informatics, King’s College London, London, UK

    Andrew J. I. Jones

  2. National Centre for Scientific Research ‘Demokritos’, Athens, Greece

    Alexander Artikis

  3. Department of Electrical and Electronic Engineering, Imperial College London, London, UK

    Jeremy Pitt

Authors
  1. Andrew J. I. Jones
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alexander Artikis
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jeremy Pitt
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Andrew J. I. Jones.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Jones, A.J.I., Artikis, A. & Pitt, J. The design of intelligent socio-technical systems. Artif Intell Rev 39, 5–20 (2013). https://doi.org/10.1007/s10462-012-9387-2

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10462-012-9387-2

Keywords

Search

Navigation