Abstract
Pervasive computing requires infrastructures that adapt to changes in user behaviour while minimising user interactions. Policy-based approaches have been proposed as a means of providing adaptability but, at present, require policy goals and rules to be explicitly defined by users. This paper presents a novel, logic-based approach for automatically learning and updating models of users from their observed behaviour. We show how this task can be accomplished using a nonmonotonic learning system, and we illustrate how the approach can be exploited within a pervasive computing framework.
Chapter PDF
References
et al., E.L.: AMUSe: Autonomic Management of Ubiquitous Systems for e-health. J. Conc. and Comp.: Practice and Experience 20(3), 277–295 (2008)
Bandara, A., Nuseibeh, B., Price, B., Rogers, Y., Dulay, N., et al.: Privacy rights management for mobile applications. In: 4th Int. Symposium on Usable Privacy and Security. Pittsburgh (2008)
Brodie, C., Karat, C., Karat, J., Feng, J.: Usable security and privacy: a case study of developing privacy management tools. In: SOUPS'05: Proc. of the 2005 symp. on Usable privacy and security, pp. 35–43. ACM, New York, NY, USA (2005)
Cityware: Urban design and pervasive systems. http://www.cityware.org.uk/
De Raedt, L., Thomas, G., Getoor, L., Kersting, K., Muggleton, S. (eds.): Probabilistic, Logical and Relational Learning — A Further Synthesis, 15.04. — 20.04.2007. IBFI, Schloss Dagstuhl, Germany (2008)
Eagle, N., Pentland, A.: Reality mining: sensing complex social systems. Personal and Ubiquitous Computing 10(4), 255–268 (2006)
Esposito, F., Ferilli, S., Fanizzi, N., Basile, T., Di Mauro, N.: Incremental learning and concept drift in inthelex. Intell. Data Anal. 8(3), 213–237 (2004)
Esposito, F., Semeraro, G., Fanizzi, N., Ferilli, S.: Multistrategy theory revision: Induction and Abduction in INTHELEX. Mach. Learn. 38(1–2), 133–156 (2000)
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: R. Kowalski, K. Bowen (eds.) Logic Programming, pp. 1070–1080. MIT Press (1988)
Kakas, A., Kowalski, R., Toni, F.: Abductive logic programming. J. Log. Comput. 2(6), 719–770 (1992)
Lloyd, J.: Foundations of Logic Programming, 2nd Edition. Springer (1987)
Ma, J., Russo, A., Broda, K., Clark, K.: DARE: a system for Distributed Abductive REasoning. J. Autonomous Agents and Multi-Agent Systems 16, 271–297 (2008)
Minker, J.: An overview of nonmonotonic reasoning and logic programming. Tech. Rep. UMIACS-TR-91-112, CS-TR-2736, University of Maryland, College Park, Maryland 20742 (August 1991)
Moyle, S.: An investigation into theory completion techniques in inductive logic. Ph.D. thesis, University of Oxford (2003)
Muggleton, S.: Inverse entailment and Progol. New Generation Comput. J. 13, 245–286
Muggleton, S.: Learning from positive data. In: 6th Int. Workshop on Inductive Logic Programming, pp. 358–376. Springer Verlag, London, U.K. (1996)
Muggleton, S., De Raedt, L.: Inductive logic programming: Theory and methods. J. of Logic Programming 19/20, 629–679 (1994)
Ponder2: The ponder2 policy environment. www.ponder2.net
Ray, O.: Nonmonotonic abductive inductive learning. In: Journal of Applied Logic. (Elsevier, in press) (2008)
Richards, B., Mooney, R.J.: Automated refinement of first-order horn-clause domain theories. Machine Learning 19(2), 95–131 (1995)
Russo, A.: A hybrid abductive inductive proof procedure. Logic J. of the IGPL 12, 371–397(27)
Sacca, D., Zaniolo, C.: Stable models and non-determinism in logic programs with negation
Shanahan, M.: The event calculus explained. In: Artificial Intelligence Today, pp. 409–430 (1999)
Widmer, G.: Learning in the presence of concept drift and hidden contexts. In: Machine Learning, pp. 69–101 (1996)
Wogulis, J., Pazzani, M.: A methodology for evaluating theory revision systems: Results with Audrey II. In: 13th IJCAI, pp. 1128–1134 (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 IFIP International Federation for Information Processing
About this paper
Cite this paper
Corapi, D., Ray, O., Russo, A., Bandara, A., Lupu, E. (2009). Learning Rules from User Behaviour. In: Iliadis, Maglogiann, Tsoumakasis, Vlahavas, Bramer (eds) Artificial Intelligence Applications and Innovations III. AIAI 2009. IFIP International Federation for Information Processing, vol 296. Springer, Boston, MA. https://doi.org/10.1007/978-1-4419-0221-4_54
Download citation
DOI: https://doi.org/10.1007/978-1-4419-0221-4_54
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-0220-7
Online ISBN: 978-1-4419-0221-4
eBook Packages: Computer ScienceComputer Science (R0)