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
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs Kapitel lesen Erstes Kapitel lesen

2014 | OriginalPaper | Buchkapitel

Designing Adaptive Systems Using Teleo-Reactive Agents

verfasst von : Graeme Smith, J. W. Sanders, Kirsten Winter

Erschienen in: Transactions on Computational Collective Intelligence XVI

Verlag: Springer Berlin Heidelberg

Einloggen

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

search-config
loading …

Abstract

Although adaptivity is a central feature of agents and multi-agent systems (MAS), there is no precise definition of it in the literature. What does it mean for an agent or for a MAS to be adaptive? How can we reason about and measure the ability of agents and MAS to adapt? How can we systematically design adaptive systems? In this paper, we provide a formal definition of adaptivity, and a framework for designing adaptive systems aimed at addressing these issues.
The definition of adaptivity, based on Dijkstra’s notion of self stabilisation, is independent of any particular mechanism for ensuring adaptivity, and any particular specification notation. The framework for designing adaptive systems is similarly independent of both implementation mechanisms and specification notation. It is based on the paradigm of teleo-reactive agents proposed by Nilsson: a paradigm in which agents move towards their goal in the presence of a continually changing environment.

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 "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

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
Vorheriges Kapitel Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs
Nächstes Kapitel Towards Formal Modelling and Verification of Pervasive Computing Systems
Fußnoten
1
Self-configuration can itself be viewed as a type of adaptivity in which the external action is the system initialisation.
 
2
We assume all input actions possible in the environment are included in the agent automaton, as are all of the agent’s possible output actions. Hence, no observable actions will be introduced or removed by such an external action.
 
Literatur
1.
Anceaume, E., Défago, X., Potop-Butucaru, M., Roy, M.: A framework for proving the self-organization of dynamic systems. CoRR, abs/1011.2312 (2010)
2.
Artikis, A.: A formal specification of dynamic protocols for open agent systems. CoRR, abs/1005.4815 (2010)
3.
Böcker, J., Schulz, B., Knoke, T., Fröhleke, N.: Self-optimization as a framework for advanced control systems. In: Industrial Electronics Conference (IECON 2006), pp. 4671–4675. IEEE (2006)
4.
Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: A conceptual framework for adaptation. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 240–254. Springer, Heidelberg (2012) CrossRef
5.
Bucchiarone, A., Lafuente, A.L., Marconi, A., Pistore, M.: A formalisation of adaptable pervasive flows. In: Laneve, C., Su, J. (eds.) WS-FM 2009. LNCS, vol. 6194, pp. 61–75. Springer, Heidelberg (2010) CrossRef
6.
Dastani, M., Hindriks, K.V., Meyer, J.-J.C. (eds.): Specification and Verification of Multi-agent Systems. Springer, Heidelberg (2010)MATH
7.
de Alfaro, L., Henzinger, T.A.: Interface automata. In: Symposium on Foundations of Software Engineering, pp. 109–120. ACM Press (2001)
8.
Dijkstra, E.W.: Self-stabilizing systems in spite of distributed control. Commun. ACM 17, 643–644 (1974)CrossRefMATH
9.
d’Inverno, M., Luck, M.: Development and application of a formal agent framework. In: International Conference on Formal Engineering Methods (ICFEM’97), pp. 222–231. IEEE Press (1997)
10.
Eiben, A.E., Smith, J.E.: Introduction to Evolutionary Computing. Natural Computing Series. Springer, Heidelberg (2003)CrossRefMATH
11.
Ellis, C.A.: Team automata for groupware systems. In: Hayne, S., Prinz, W. (eds.) International ACM SIGGROUP Conference on Supporting Group Work: The Integration Challenge, pp. 415–424. ACM Press (1997)
12.
Georgiadis, I., Magee, J., Kramer. J.: Self-organising software architectures for distributed systems. In: Workshop on Self-healing Systems (WOSS ’02), pp. 33–38 (2002)
13.
14.
Gruer, P., Hilaire, V., Koukam, A., Cetnarowicz, K.: A formal framework for multi-agent systems analysis and design. Expert Syst. Appl. 23(4), 349–355 (2002)CrossRef
15.
Gubisch, G., Steinbauer, G., Weiglhofer, M., Wotawa, F.: A teleo-reactive architecture for fast, reactive and robust control of mobile robots. In: Nguyen, N.T., Borzemski, L., Grzech, A., Ali, M. (eds.) IEA/AIE 2008. LNCS (LNAI), vol. 5027, pp. 541–550. Springer, Heidelberg (2008) CrossRef
16.
Güdemann, M., Nafz, F., Ortmeier, F., Seebach, H., Reif, W.: A specification and construction paradigm for organic computing systems. In: IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2008), pp. 233–242. IEEE Computer Society Press (2008)
17.
Hölzl, M., Wirsing, M.: Towards a system model for ensembles. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol. 7000, pp. 241–261. Springer, Heidelberg (2011)
18.
Hunter, A., Delgrande, J.P.: Iterated belief change: a transition system approach. In: International Joint Conference on Artificial Intelligence (IJCAI05), pp. 460–465 (2005)
19.
Lynch, N., Tuttle, M.: An introduction to Input/Output automata. CWI Q. 2(3), 219–246 (1989)MathSciNetMATH
20.
Mitchell, T.: Machine Learning. McGraw Hill, New York (1997)MATH
21.
Mohyeldin, E., Fahrmair, M., Sitou, W., Spanfelner, B.: A generic framework for context aware and adaptation behaviour of reconfigurable systems. In: IEEE International Symposium on Personal Indoor and Mobile Radio Communications (PIMRC05). IEEE Press (2005)
22.
Nafz, F., Ortmeier, F., Seebach, H., Steghöfer, J.-P., Reif, W.: A universal self-organization mechanism for role-based organic computing systems. In: González Nieto, J., Reif, W., Wang, G., Indulska, J. (eds.) ATC 2009. LNCS, vol. 5586, pp. 17–31. Springer, Heidelberg (2009) CrossRef
23.
Nilsson, N.: Teleo-reactive programs for agent control. J. Artif. Intell. Res. 1, 139–158 (1994)
24.
Nilsson, N.: Teleo-reactive programs and the triple-tower architecture. Electron. Trans. Artif. Intell. 5, 99–110 (2001)
25.
Polani, D.: Foundations and formalizations of self-organization. In: Prokopenko, M. (ed.) Advances in Applied Self-organizing Systems. Advanced Information and Knowledge Processing, pp. 19–37. Springer, Heidelberg (2008)CrossRef
26.
Sanders, J.W., Smith, G.: Assuring adaptive behaviour in self-organising systems. In: Self-Organising and Self-Adaptive Systems Workshop (SASOW 2010), pp. 172–177. IEEE Computer Society Press (2010)
27.
28.
29.
Smith, G., Sanders, J.W., Winter, K.: Reasoning about adaptivity of agents and multi-agent systems. In: International Conference on Engineering of Complex Computer Systems (ICECCS 2012). IEEE Computer Society Press (2012)
30.
Smith, G., Winter, K.: Incremental development of multi-agent systems in Object-Z. In: Software Engineering Workshop (SEW-35). IEEE Computer Society Press (2012)
31.
Smith, J.B.: Collective Intelligence in Computer-Based Collaboration. Lawrence Erlbaum Associates, Hillsdale (1994)
32.
Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Prentice-Hall International, Englewood Cliffs (1992)
33.
Sutton, R.S., Barto, A.G.: Reinforcement Learning: An Introduction. MIT Press, Cambridge (1998)
34.
ter Beek, M., Ellis, C., Kleijn, J., Rozenberg, G.: Synchronizations in team automata for groupware systems. Comput. Support. Coop. Work: J. Collab. Comput. 12(1), 21–69 (2003)CrossRef
35.
36.
Wooldridge, M.: An Introduction to Multiagent Systems. Wiley, New York (2002)
37.
Zambonelli, F., Omicini, A.: Challenges and research directions in agent-oriented software engineering. Auton. Agent. Multi-Agent Syst. 9(3), 253–283 (2004)CrossRef
Metadaten
Titel
Designing Adaptive Systems Using Teleo-Reactive Agents
verfasst von
Graeme Smith
J. W. Sanders
Kirsten Winter
Copyright-Jahr
2014
Verlag
Springer Berlin Heidelberg
Buch
Transactions on Computational Collective Intelligence XVI

Print ISBN: 978-3-662-44870-0

Electronic ISBN: 978-3-662-44871-7

Copyright-Jahr: 2014

DOI
https://doi.org/10.1007/978-3-662-44871-7_2

Premium Partner

    Bildnachweise