Abstract
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.
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
Spirakis, P., Kameas, A., Nikoletseas, S. (eds.): Proc. International Workshop on Ambient Intelligence, June 2003. CTI Press, Santorini (2003)
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)
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)
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)
Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing 4(1), 67–95 (1986)
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)
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)
Shanahan, M.: Event calculus planning revisited. In: Steel, S. (ed.) ECP 1997. LNCS (LNAI), vol. 1348, pp. 390–402. Springer, Heidelberg (1997)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Stathis, K., Toni, F. (2004). Ambient Intelligence Using KGP Agents. In: Markopoulos, P., Eggen, B., Aarts, E., Crowley, J.L. (eds) Ambient Intelligence. EUSAI 2004. Lecture Notes in Computer Science, vol 3295. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30473-9_33
Download citation
DOI: https://doi.org/10.1007/978-3-540-30473-9_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23721-1
Online ISBN: 978-3-540-30473-9
eBook Packages: Springer Book Archive