nach oben

Erschienen in:

2019 | OriginalPaper | Buchkapitel

Partial and Full Goal Satisfaction in the MUSA Middleware

verfasst von : Massimo Cossentino, Luca Sabatucci, Salvatore Lopes

Erschienen in: Multi-Agent Systems

Verlag: Springer International Publishing

Einloggen

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

search-config

KI-gestützte Suche

Aus

Abstract

Classical goal-based reasoning frameworks for agents suppose goals are either achieved fully or not achieved at all: unless achieved completely, the agents have failed to address them. This behavior is different from how people do and therefore is far from real-world scenarios: in every moment a goal has reached a certain level of satisfaction.

This work proposes to extend the classical boolean definition of goal achievement by adopting a novel approach, the Distance to Goal Satisfaction, a metric to measure the distance to the full satisfaction of a logic formula.

In this paper we defined and implemented this metric; subsequently, we extended MUSA, a self-adaptive middleware used to engineer a heterogeneous range of applications. This extension allows solving real situations in which the full achievement represented a limitation.

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 Temporal Epistemic Gossip Problems

Nächstes Kapitel Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems

Agnello, L., Cossentino, M., De Simone, G., Sabatucci, L.: Shipboard power systems reconfiguration: a compared analysis of state-of-the-art approaches. In: Smart Ships Technology 2017, pp. 1–9. Royal Institution of Naval Architects (RINA) (2017)

Bordini, R., Hübner, J., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak Using Jason, vol. 8. Wiley-Interscience, Chichester (2007)MATH

Gelfond, M., Lifschitz, V.: Action languages. Comput. Inf. Sci. 3(16), 1–16 (1998)

Jackson, M.: Problem Frames: Analysing and Structuring Software Development Problems. Addison Wisley, Boston (2001)

Jackson, M., Zave, P.: Deriving specifications from requirements: an example. In: Proceedings of the 17th International Conference on Software Engineering, ICSE 1995, pp. 15–24. ACM, New York (1995). https://doi.org/10.1145/225014.225016

Letier, E., Van Lamsweerde, A.: Reasoning about partial goal satisfaction for requirements and design engineering. In: ACM SIGSOFT Software Engineering Notes, vol. 29, pp. 53–62. ACM (2004)

Namiot, D., Sneps-Sneppe, M.: On micro-services architecture. Int. J. Open Inf. Technol. 2(9), 24–27 (2014)

Napoli, C.D., Valentino, M., Sabatucci, L., Cossentino, M.: Adaptive workflows of home-care services. In: Proceedings of 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2018 (2018)

Ricci, A., Viroli, M., Omicini, A.: CArtAgO: a framework for prototyping artifact-based environments in MAS. In: Weyns, D., Parunak, H.V.D., Michel, F. (eds.) E4MAS 2006. LNCS (LNAI), vol. 4389, pp. 67–86. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-71103-2_4CrossRef

10.

Sabatucci, L., Cavaleri, A., Cossentino, M.: Adopting a middleware for self-adaptation in the development of a smart travel system. In: De Pietro, G., Gallo, L., Howlett, R.J., Jain, L.C. (eds.) Intelligent Interactive Multimedia Systems and Services 2016. SIST, vol. 55, pp. 671–681. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-39345-2_60CrossRef

11.

Sabatucci, L., Cossentino, M.: From means-end analysis to proactive means-end reasoning. In: Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 2–12. IEEE Press (2015)

12.

Sabatucci, L., Cossentino, M., Simone, G.D., Lopes, S.: Self-reconfiguration of shipboard power systems. In: Proceedings of the 3rd eCAS Workshop on Engineering Collective Adaptive Systems (2018)

13.

Sabatucci, L., Lopes, S., Cossentino, M.: MUSA 2.0: a distributed and scalable middleware for user-driven service adaptation. In: De Pietro, G., Gallo, L., Howlett, R.J., Jain, L.C. (eds.) KES-IIMSS 2017. SIST, vol. 76, pp. 492–501. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-59480-4_49CrossRef

14.

Sabatucci, L., Ribino, P., Lodato, C., Lopes, S., Cossentino, M.: GoalSPEC: a goal specification language supporting adaptivity and evolution. In: Cossentino, M., El Fallah Seghrouchni, A., Winikoff, M. (eds.) EMAS 2013. LNCS (LNAI), vol. 8245, pp. 235–254. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-45343-4_13CrossRef

15.

Thangarajah, J., Harland, J., Morley, D.N., Yorke-Smith, N.: Quantifying the completeness of goals in BDI agent systems. In: Proceedings of the Twenty-First European Conference on Artificial Intelligence, pp. 879–884. IOS Press (2014)

16.

Thangarajah, J., Harland, J., Yorke-Smith, N.: Estimating the progress of maintenance goals. In: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, pp. 1645–1646. International Foundation for Autonomous Agents and Multiagent Systems (2015)

17.

van Riemsdijk, M.B., Yorke-Smith, N.: Towards reasoning with partial goal satisfaction in intelligent agents. In: Collier, R., Dix, J., Novák, P. (eds.) ProMAS 2010. LNCS (LNAI), vol. 6599, pp. 41–59. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-28939-2_3CrossRef

18.

Vukovic, M., Robinson, P.: GoalMorph: partial goal satisfaction for flexible service composition. In: 2005 International Conference on Next Generation Web Services Practices, NWeSP 2005, pp. 6-pp. IEEE (2005)

19.

Zhou, Y., Chen, X.: Partial implication semantics for desirable propositions. In: KR, pp. 606–612 (2004)

20.

Zhou, Y., Van Der Torre, L., Zhang, Y.: Partial goal satisfaction and goal change: weak and strong partial implication, logical properties, complexity. In: Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, vol. 1, pp. 413–420. International Foundation for Autonomous Agents and Multiagent Systems (2008)

Titel: Partial and Full Goal Satisfaction in the MUSA Middleware
verfasst von: Massimo Cossentino
Luca Sabatucci
Salvatore Lopes
Verlag: Springer International Publishing
Buch: Multi-Agent Systems
Print ISBN: 978-3-030-14173-8

Electronic ISBN: 978-3-030-14174-5

Copyright-Jahr: 2019
DOI: https://doi.org/10.1007/978-3-030-14174-5_2

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

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

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"