Abstract
We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society will be composed of local sub-societies that will often be semi-open, viz., entrance of agents in a semi-open society is conditional to specific admission criteria. Assuming that a candidate agent provides an abstract description of their communicative skills, we present a test that a controller agent could perform in order to decide if a candidate agent should be admitted. We formulate this test by revisiting an existing knowledge representation framework based on games specified as extended logic programs. The resulting framework finds useful application in complex and inter-operable web-services construed as semi-open societies in support of the global vision known as the Semantic Web.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Artikis, A., Pitt, J., Sergot, M.: Animated specifications of computational societies. In: Castelfranchi, C., Lewis Johnson, W. (eds.) AAMAS 2002. Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems, Part III, pp. 1053–1061. ACM Press, New York (2002)
Burners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American 284(5) (May 2001)
Curcin, V., Ghanem, M., Guo, Y., Stathis, K., Toni, F.: Building next generation Service-Oriented Architectures using Argumentation Agents. In: Polze, A., Kowalczyk, R. (eds.) 3rd International Conference on Grid Service Engineering and Management, Germany, pp. 249–263 (September 2006)
Davidsson, P.: Categories of artificial societies. In: Petta, P., Omicini, A., Tolksdorf, R. (eds.) Engineering Societies in the Agents World II, pp. 1–9, Prague, Czech Republic (2001)
Endriss, U., Lue, W., Maudet, N., Stathis, K.: Competent agents and customising protocols. In: Omicini, A., Petta, P., Pitt, J. (eds.) ESAW 2003. LNCS (LNAI), vol. 3071, pp. 168–181. Springer, Heidelberg (2004)
Endriss, U., Maudet, N., Sadri, F., Toni, F.: Protocol conformance for logic-based agents. In: Gottlob, G., Walsh, T. (eds.) IJCAI 2003. Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, Morgan Kaufmann, San Francisco (2003)
Kowalczyk, R., Yan, J., Yang, Y., Nguyen, X.T.: A service workflow management framework based on peer-to-peer and agent technologies. In: Proc. of International Workshop on Grid and Peer-to-Peer based Workflows, Melbourne, Australia (2005)
Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing 4(1), 67–95 (1986)
Lekeas, G.K., Stathis, K.: Agents acquiring Resources through Social Positions: An Activity-based Approach. In: de Bruijn, O., Stathis, K. (eds.) Proceedings of the 1st International Workshop on Socio-Cognitive Grids, Santorini, Greece (June 2003)
Lomuscio, A., Raimondi, F.: Model checking knowledge, strategies, and games in multi-agent systems. In: AAMAS 2006. Proceedings of the 5th International Conference on Autonomous Agents and Multi-Agent systems, ACM Press, New York (2006)
McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence 4, pp. 463–502. American Elsevier, New York (1969)
McIlraith, S., Cao Son, T., Zeng, H.: Semantic web services. IEEE Intelligent Systems 16(2), 46–53 (2001)
Pitt, J., Mamdani, A.: A Protocol-based Semantics for an Agent Communication Language. In: IJCAI 1999. Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, Stockholm, Sweden, pp. 486–491. Morgan Kaufmann, San Francisco (1999)
Pitt, J.V.: The open agent society as a platform for the user-friendly information society. AI & Society 19(2), 123–158 (2005)
Shanahan, M.: The event calculus explained. In: Veloso, M.M., Wooldridge, M.J. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol. 1600, pp. 409–430. Springer, Heidelberg (1999)
Shanahan, M., Witkowski, M.: Event Calculus Planning Through Satisfiability. Journal of Logic and Computation 14, 731–745 (2004)
Singh, M.P.: Agent communication languages: Rethinking the principles. In: Communication in Multiagent Systems, pp. 37–50 (2003)
Stathis, K.: Game–Based Development of Interactive Systems. PhD thesis, Department of Computing, Imperial College London (November 1996)
Stathis, K.: A Game-based Architecture for developing Interactive Components in Computational Logic. Functional and Logic Programming, Special Issue on Logical Formalisms for Program Composition, 2000(1) (March 2000)
Stathis, K., Kakas, A., Lu, W., Demetriou, N., Endriss, U., Bracciali, A.: PROSOCS: a platform for programming software agents in computational logic. In: Müller, J., Petta, P. (eds.) Proceedings of the Fourth International Symposium From Agent Theory to Agent Implementatio, Vienna, Austria (April 13-16, 2004)
Stathis, K., Sergot, M.J.: Games as a Metaphor for Interactive Systems. In: Sasse, M.A., Cunningham, R.J., Winder, R.L. (eds.) People and Computers XI. Proceedings of HCI 1996, London, UK. BCS Conference Series, pp. 19–33. Springer, Heidelberg (1996)
Toni, F., Stathis, K.: Access-as-you-need: a computational logic framework for flexible resource access in artificial societies. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2002. LNCS (LNAI), vol. 2577, Springer, Heidelberg (2003)
Traversat, B., Abdelaziz, M., Doolin, D., Duigou, M., Hugly, J.C., Pouyoul, E.: Project JXTA-C:Enabling a Web of Things. In: HICSS 2003. Proceedings of the 36th Hawaii International Conference on System Sciences, pp. 282–287. IEEE Press, Los Alamitos (2003)
Warren, D.S.: Memoing for logic programs. Commun. ACM 35(3), 93–111 (1992)
Web-services. Home Page: http://en.wikipedia.org/wiki/Web_services
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Stathis, K., Lekeas, G., Kloukinas, C. (2007). Competence Checking for the Global E-Service Society Using Games. In: O’Hare, G.M.P., Ricci, A., O’Grady, M.J., Dikenelli, O. (eds) Engineering Societies in the Agents World VII. ESAW 2006. Lecture Notes in Computer Science(), vol 4457. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75524-1_22
Download citation
DOI: https://doi.org/10.1007/978-3-540-75524-1_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75522-7
Online ISBN: 978-3-540-75524-1
eBook Packages: Computer ScienceComputer Science (R0)