Ambient Intelligence Using KGP Agents

  • Kostas Stathis
  • Francesca Toni
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3295)


We investigate the application of a logical model of agency, known as the KGP model, to develop agents for ambient intelligence applications. Using a concrete scenario, we illustrate how the logical formalism employed by a KGP agent allows a person to access the surrounding ambient through the agent in a transparent manner. We evaluate our claims by implementing the resulting interactions in PROSOCS, a prototype multi-agent systems platform that allows KGP agents to be deployed as components of ambient intelligence applications.


Action Execution Ambient Intelligence Temporal Reasoning Computational Logic Reverse Auction 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Spirakis, P., Kameas, A., Nikoletseas, S. (eds.): Proc. International Workshop on Ambient Intelligence, June 2003. CTI Press, Santorini (2003)Google Scholar
  2. 2.
    Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based tool. In: Müller, J., Petta, P. (eds.) Proc. of the 4th International Symposium “From Agent Theory to Agent Implementation”, Vienna, Austria, April 13-16 (2004)Google Scholar
  3. 3.
    Endriss, U., Mancarella, P., Sadri, F., Terreni, G., Toni, F.: The CIFF proof procedure for abductive logic programming with constraints. In: Proc. of the 9th European Conference on Logics in Artificial Intelligence(Jelia04) (2004) (to appear)Google Scholar
  4. 4.
    Kakas, A., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: The KGP model of agency. In: Proc. of the European Conference on Artificial Intelligence, ECAI 2004 (2004) (to appear)Google Scholar
  5. 5.
    Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing 4(1), 67–95 (1986)CrossRefGoogle Scholar
  6. 6.
    Mancarella, P., Sadri, F., Terreni, G., Toni, F.: Partial planning for situated agents. In: Proc. of 5th Workshop on Computational Logic in Multi-agent Systems, CLIMA V (2004) (to appear)Google Scholar
  7. 7.
    Raducanu, B., Markopoulos, P.: Applications of vision-based attention-guided perceptive devices to aware environments. In: Aarts, E., Collier, R.W., van Loenen, E., de Ruyter, B. (eds.) EUSAI 2003. LNCS, vol. 2875, pp. 410–418. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  8. 8.
    Shanahan, M.: Event calculus planning revisited. In: Steel, S. (ed.) ECP 1997. LNCS (LNAI), vol. 1348, pp. 390–402. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  9. 9.
    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.) Proc. of the Fourth International Symposium “From Agent Theory to Agent Implementation”, Vienna, Austria, April 13-16 (2004)Google Scholar
  10. 10.
    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, pp. 126–140. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  11. 11.
    Traversat, B., Abdelaziz, M., Doolin, D., Duigou, M., Hugly, J.C., Pouyoul, E.: Project JXTA-C:Enabling a Web of Things. In: Proc. of the 36th Hawaii International Conference on System Sciences (HICSS 2003), IEEE Press, Los Alamitos (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Kostas Stathis
    • 1
  • Francesca Toni
    • 2
  1. 1.Department of ComputingCity University LondonUK
  2. 2.Department of ComputingImperial College LondonUK

Personalised recommendations