Competence Checking for the Global E-Service Society Using Games

  • Kostas Stathis
  • George Lekeas
  • Christos Kloukinas
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4457)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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)CrossRefGoogle Scholar
  2. 2.
    Burners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American 284(5) (May 2001)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing 4(1), 67–95 (1986)CrossRefGoogle Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    McIlraith, S., Cao Son, T., Zeng, H.: Semantic web services. IEEE Intelligent Systems 16(2), 46–53 (2001)CrossRefGoogle Scholar
  13. 13.
    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)Google Scholar
  14. 14.
    Pitt, J.V.: The open agent society as a platform for the user-friendly information society. AI & Society 19(2), 123–158 (2005)CrossRefGoogle Scholar
  15. 15.
    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)CrossRefGoogle Scholar
  16. 16.
    Shanahan, M., Witkowski, M.: Event Calculus Planning Through Satisfiability. Journal of Logic and Computation 14, 731–745 (2004)MATHCrossRefMathSciNetGoogle Scholar
  17. 17.
    Singh, M.P.: Agent communication languages: Rethinking the principles. In: Communication in Multiagent Systems, pp. 37–50 (2003)Google Scholar
  18. 18.
    Stathis, K.: Game–Based Development of Interactive Systems. PhD thesis, Department of Computing, Imperial College London (November 1996)Google Scholar
  19. 19.
    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)Google Scholar
  20. 20.
    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)Google Scholar
  21. 21.
    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)Google Scholar
  22. 22.
    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)CrossRefGoogle Scholar
  23. 23.
    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)Google Scholar
  24. 24.
    Warren, D.S.: Memoing for logic programs. Commun. ACM 35(3), 93–111 (1992)CrossRefGoogle Scholar
  25. 25.

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Kostas Stathis
    • 1
  • George Lekeas
    • 2
  • Christos Kloukinas
    • 2
  1. 1.Department of Computer Science, Royal Holloway, University LondonUK
  2. 2.School of Informatics, The City University, LondonUK

Personalised recommendations