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
Similar content being viewed by others
Keywords
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.
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)