Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Artificial Intelligence Review
Erschienen in: Artificial Intelligence Review 1/2013

01.01.2013

The design of intelligent socio-technical systems

verfasst von: Andrew J. I. Jones, Alexander Artikis, Jeremy Pitt

Erschienen in: Artificial Intelligence Review | Ausgabe 1/2013

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.
Vorheriger Artikel Preface to the special issue on Agreement Technologies
Nächster Artikel The role of the environment in agreement technologies

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren
Fußnoten
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.
 
Literatur
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–140MATHCrossRef
Allen L (1957) A razor-edged tool for drafting and interpreting legal documents. Yale Law J 66:833–879CrossRef
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, Pitt J (2007) Executable specification of a formal argumentation protocol. Artif Intell 171(10–15):776–804MathSciNetMATHCrossRef
Brewka G (2001) Dynamic argument systems: a formal model of argumentation processes based on situation calculus. J Logic Comput 11(2):257–282MathSciNetMATHCrossRef
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
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
Delgrande J (1988) An approach to default reasoning based on a first-order conditional logic: revised report. Artif Intell 36:62–90
Dennett D (1995) Darwin’s dangerous idea: evolution and the meanings of life. Penguin Books, London
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
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
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–244MATHCrossRef
Hohfeld W (1913) Some fundamental legal conceptions as applied in judicial reasoning. Yale Law J 23(16):16–59
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
Jones A, Sergot M (1996) A formal characterization of institutionalised power. J IGPL 4(3):429–445MathSciNet
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, Kanger H (1966) Rights and parliamentarism. Theoria 32:85–115CrossRef
Kowalski R, Sergot M (1986) A logic-based calculus of events. New Gener Comput 4(1):67–96CrossRef
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
Lindahl L (1977) Position and change: a study in law and logic. Reidel, DordrechtCrossRef
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–70CrossRef
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
Pörn I (1977) Action theory and social science—some formal models, Synthese Library vol 120. Reidel, Dordrecht, Holland
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–293MathSciNetMATH
Skyrms B (2010) Signals: evolution. learning and information. Oxford University Press, Oxford
Steels L, Brooks R (1994) The artificial life route to artificial intelligence: building situated embodied agents. Lawrence Erlbaum Ass, New Haven
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–253MathSciNetMATHCrossRef
Metadaten
Titel
The design of intelligent socio-technical systems
verfasst von
Andrew J. I. Jones
Alexander Artikis
Jeremy Pitt
Publikationsdatum
01.01.2013
Verlag
Springer Netherlands
Erschienen in
Artificial Intelligence Review / Ausgabe 1/2013
Print ISSN: 0269-2821
Elektronische ISSN: 1573-7462
DOI
https://doi.org/10.1007/s10462-012-9387-2

Weitere Artikel der Ausgabe 1/2013

Artificial Intelligence Review 1/2013 Zur Ausgabe

OriginalPaper

Semantic technologies for open interaction systems

OriginalPaper

The role of the environment in agreement technologies

Announcement

Preface to the special issue on Agreement Technologies

OriginalPaper

Smart consumer load balancing: state of the art and an empirical evaluation in the Spanish electricity market

OriginalPaper

Research opportunities for argumentation in social networks