A Multi-Agent System for Industrial Fault Detection and Repair

  • Vincenzo Bevar
  • Stefania Costantini
  • Arianna Tocchio
  • Giovanni De Gasperis
Part of the Advances in Intelligent and Soft Computing book series (AINSC, volume 155)


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.


Fault tolerance Automatic Test Systems Logical Agents 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Nwana, H.S.: Software Agents: An Overview. Knowledge Engineering Review 11(3), 1–40 (1996)CrossRefGoogle Scholar
  2. 2.
    Wooldridge, M., Jennings, N.R.: Intelligent Agents: Theory and practice. The Knowledge Engineering Review 10(2), 115–152 (1995)CrossRefGoogle Scholar
  3. 3.
    Sycara, K.P.: Multiagent Systems. AI Magazine 19(2), 79–92 (1998)Google Scholar
  4. 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)MathSciNetCrossRefGoogle Scholar
  5. 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. 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. 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)zbMATHCrossRefGoogle Scholar
  8. 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)CrossRefGoogle Scholar
  9. 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)CrossRefGoogle Scholar
  10. 10.
    Åstrom, K.J., Wittenmark, B.: Computer-Controlled Systems.Theory and Design. Prentice Hall Internal Inc. (1990)Google Scholar
  11. 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. 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)CrossRefGoogle Scholar
  13. 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)CrossRefGoogle Scholar
  14. 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, (accessed January 8, 2012)
  15. 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)CrossRefGoogle Scholar
  16. 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), (accessed January 8, 2012)
  17. 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. 18.
    Bellifemine, F.L., Caire, G., Greenwood, D.: Developing Multi-Agent Systems with JADE. John Wiley & Sons, Hoboken (2007)CrossRefGoogle Scholar
  19. 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. 20.
    Friedman-Hill, E.: Jess in Action: Java Rule-Based Systems. Action series. Manning Publications (2002)Google Scholar
  21. 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. 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. 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. 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. 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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Vincenzo Bevar
    • 1
  • Stefania Costantini
    • 2
  • Arianna Tocchio
    • 2
  • Giovanni De Gasperis
    • 2
  1. 1.TecholabsL’AquilaItaly
  2. 2.Dipartimento Ingegneria e Scienze dell’Informazione e MatematicaUniversitá degli Studi dell’AquilaL’AquilaItaly

Personalised recommendations