Skip to main content
SpringerLink
Log in

A Multi-Agent System for Industrial Fault Detection and Repair

  • Conference paper
Advances on Practical Applications of Agents and Multi-Agent Systems

Part of the book series: Advances in Intelligent and Soft Computing ((AINSC,volume 155))

Abstract

A Multi Agent System is described, capable of monitoring a telecommunication industrial test & measurement setup, designed as an application of the DALI agent language. The autonomy of the MAS is necessary to supervise the measurement apparatus during off-work time without human intervention, increasing the quality and efficacy of the overall test procedure. The MAS can decide whether to recover or repair the set of software process needed to achieve a correct test sequence without user intervention.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Nwana, H.S.: Software Agents: An Overview. Knowledge Engineering Review 11(3), 1–40 (1996)

    Article  Google Scholar 

  2. Wooldridge, M., Jennings, N.R.: Intelligent Agents: Theory and practice. The Knowledge Engineering Review 10(2), 115–152 (1995)

    Article  Google Scholar 

  3. Sycara, K.P.: Multiagent Systems. AI Magazine 19(2), 79–92 (1998)

    Google Scholar 

  4. Fisher, M., Bordini, R., Hirsch, B., Torroni, P.: Computational logics and agents: A road map of current technologies and future trends. Computational Intelligence 23(1), 61–91 (2007)

    Article  MathSciNet  Google Scholar 

  5. Chen, Y., Zhang, L.-J., Wang, Q.: Intelligent scheduling algorithm and application in modernizing manufacturing services. In: Proceedings - 2011 IEEE International Conference on Services Computing, pp. 568–575 (2011)

    Google Scholar 

  6. Elghoneimy, E., Gruver, W.A.: Intelligent decision support and agent-based techniques applied to wood manufacturing. AISC, vol. 91, pp. 85–88 (2011)

    Google Scholar 

  7. Torroni, P.: Computational Logic in Multi-Agent Systems: recent advances and future directions. Annals of Mathematics and of Artificial Intelligence 42, 293–305 (2004)

    Article  MATH  Google Scholar 

  8. Baldoni, M., Baroglio, C., Mascardi, V., Omicini, A., Torroni, P.: Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? In: Dovier, A., Pontelli, E. (eds.) GULP. LNCS, vol. 6125, pp. 204–230. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  9. Dal Palù, A., Torroni, P.: 25 Years of Applications of Logic Programming in Italy. In: Dovier, A., Pontelli, E. (eds.) GULP. LNCS, vol. 6125, pp. 300–328. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  10. Åstrom, K.J., Wittenmark, B.: Computer-Controlled Systems.Theory and Design. Prentice Hall Internal Inc. (1990)

    Google Scholar 

  11. Costantini, S.: Towards active logic programming. In: Brogi, A., Hill, P. (eds.) Proc. of 2nd International Workshop on component-based Software Development in Computational Logic (COCL 1999), PLI (1999)

    Google Scholar 

  12. Costantini, S., Tocchio, A.: A Logic Programming Language for Multi-agent Systems. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 1–13. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  13. Costantini, S., Tocchio, A.: The DALI Logic Programming Agent-Oriented Language. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 685–688. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  14. Costantini, S., Tocchio, A., Verticchio, A.: A Game-theoretic operational semantics for the DALI Communication Architecture. In: Baldoni, M., De Paoli, F., Martelli, A., Omicini, A. (eds.) Proceedings of WOA 2004, Pitagora Editrice, Bologna (2004) ISBN: 88-371-1533-4, http://woa04.unito.it/Pages/atti.html (accessed January 8, 2012)

  15. Costantini, S., Tocchio, A.: About Declarative Semantics of Logic-Based Agent Languages. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol. 3904, pp. 106–123. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  16. Costantini, S., D’Alessandro, S., Lanti, D., Tocchio, A.: with the contribution of many undergraduate and graduate students of Computer Science, L’Aquila.:DALI web site, download of the interpreter (2010), http://www.di.univaq.it/stefcost/Sito-Web-DALI/WEB-DALI/index.php (accessed January 8, 2012)

  17. Costantini, S., Dell’Acqua, P., Pereira, L.M., Tsintza, P.: Runtime verification of agent properties, In: Proc. of the Int. Conf. on Applications of Declarative Programming and Knowledge Management, INAP 2009 (2009)

    Google Scholar 

  18. Bellifemine, F.L., Caire, G., Greenwood, D.: Developing Multi-Agent Systems with JADE. John Wiley & Sons, Hoboken (2007)

    Book  Google Scholar 

  19. Leckie, C., Senjen, R., Ward, B., Zhao, M.: Communication and coordination for intelligent fault diagnosis agents. In: Proceedings Eighth IFIP/IEEE International Workshop for Distributed Systems Operations and Management, pp. 21–23 (1997)

    Google Scholar 

  20. Friedman-Hill, E.: Jess in Action: Java Rule-Based Systems. Action series. Manning Publications (2002)

    Google Scholar 

  21. Kacprzak, M., Lomuscio, A., Penczek, W.: Verification of multiagent systems via unbounded model checking. In: Proc. of the Third Int. Joint Conf. on Autonomous Agents and Multiagent Systems, AAMAS 2004, pp. 638–645. ACM Press, New York (2004)

    Google Scholar 

  22. Fisher, M.: Model checking AgentSpeak. In: Proceedings of the Second Int. Joint Conf. on Autonomous Agents and Multiagent Systems AAMAS 2003, pp. 409–416. ACM Press (2003)

    Google Scholar 

  23. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: The sciff framework. ACM Trans. Comput. 9, 29:1–29:43 (2008)

    Google Scholar 

  24. Costantini, S., Mostarda, L., Tocchio, A., Tsintza, P.: Dalica agents applied to a cultural heritage scenario. IEEE Intelligent Systems, Special Issue on Ambient Intelligence 23(8) (2008)

    Google Scholar 

  25. Castaldi, M., Costantini, S., Gentile, S., Tocchio, A.: A Logic-Based Infrastructure for Reconfiguring Applications. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 17–36. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Techolabs, R. & D. Strada Statale 17, L’Aquila, Italy

    Vincenzo Bevar

  2. Dipartimento Ingegneria e Scienze dell’Informazione e Matematica, Universitá degli Studi dell’Aquila, Via Vetoio 1, 67100, L’Aquila, Italy

    Stefania Costantini, Arianna Tocchio & Giovanni De Gasperis

Authors
  1. Vincenzo Bevar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stefania Costantini
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Arianna Tocchio
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Giovanni De Gasperis
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Vincenzo Bevar .

Editor information

Editors and Affiliations

  1. , Centre National de la Recherche Scientif, Laboratoire d’Informatique de Grenoble, av. de la Chimie 110, Grenoble, 38041, France

    Yves Demazeau

  2. Inst. Informatik, TU Clausthal, Julius-Albert-Str. 4, Clausthal-Zellerfeld, 38678, Germany

    Jörg P. Müller

  3. Faculty of Science, Department of Computing Science, University of Salamanca, Plaza de la Merced S/N, Salamanca, 37008, Spain

    Juan M. Corchado Rodríguez

  4. Escuela Universitaria de Informática, Universidad Pontificia de Salamanca, Compañía 5, Salamanca, 37002, Spain

    Javier Bajo Pérez

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bevar, V., Costantini, S., Tocchio, A., De Gasperis, G. (2012). A Multi-Agent System for Industrial Fault Detection and Repair. In: Demazeau, Y., Müller, J., Rodríguez, J., Pérez, J. (eds) Advances on Practical Applications of Agents and Multi-Agent Systems. Advances in Intelligent and Soft Computing, vol 155. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28786-2_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-28786-2_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-28785-5

  • Online ISBN: 978-3-642-28786-2

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation