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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Nwana, H.S.: Software Agents: An Overview. Knowledge Engineering Review 11(3), 1–40 (1996)
Wooldridge, M., Jennings, N.R.: Intelligent Agents: Theory and practice. The Knowledge Engineering Review 10(2), 115–152 (1995)
Sycara, K.P.: Multiagent Systems. AI Magazine 19(2), 79–92 (1998)
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)
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)
Elghoneimy, E., Gruver, W.A.: Intelligent decision support and agent-based techniques applied to wood manufacturing. AISC, vol. 91, pp. 85–88 (2011)
Torroni, P.: Computational Logic in Multi-Agent Systems: recent advances and future directions. Annals of Mathematics and of Artificial Intelligence 42, 293–305 (2004)
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)
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)
Åstrom, K.J., Wittenmark, B.: Computer-Controlled Systems.Theory and Design. Prentice Hall Internal Inc. (1990)
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)
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)
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)
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)
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)
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)
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)
Bellifemine, F.L., Caire, G., Greenwood, D.: Developing Multi-Agent Systems with JADE. John Wiley & Sons, Hoboken (2007)
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)
Friedman-Hill, E.: Jess in Action: Java Rule-Based Systems. Action series. Manning Publications (2002)
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)
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)
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)
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)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)