Learning Rules from User Behaviour

  • Domenico Corapi
  • Oliver Ray
  • Alessandra Russo
  • Arosha Bandara
  • Emil Lupu
Part of the IFIP International Federation for Information Processing book series (IFIPAICT, volume 296)

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.

Keywords

Milton 

References

  1. 1.
    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)CrossRefGoogle Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    Cityware: Urban design and pervasive systems. http://www.cityware.org.uk/
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    Eagle, N., Pentland, A.: Reality mining: sensing complex social systems. Personal and Ubiquitous Computing 10(4), 255–268 (2006)CrossRefGoogle Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Esposito, F., Semeraro, G., Fanizzi, N., Ferilli, S.: Multistrategy theory revision: Induction and Abduction in INTHELEX. Mach. Learn. 38(1–2), 133–156 (2000)CrossRefMATHGoogle Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    Kakas, A., Kowalski, R., Toni, F.: Abductive logic programming. J. Log. Comput. 2(6), 719–770 (1992)MathSciNetCrossRefMATHGoogle Scholar
  11. 11.
    Lloyd, J.: Foundations of Logic Programming, 2nd Edition. Springer (1987)Google Scholar
  12. 12.
    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)CrossRefGoogle Scholar
  13. 13.
    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)Google Scholar
  14. 14.
    Moyle, S.: An investigation into theory completion techniques in inductive logic. Ph.D. thesis, University of Oxford (2003)Google Scholar
  15. 15.
    Muggleton, S.: Inverse entailment and Progol. New Generation Comput. J. 13, 245–286Google Scholar
  16. 16.
    Muggleton, S.: Learning from positive data. In: 6th Int. Workshop on Inductive Logic Programming, pp. 358–376. Springer Verlag, London, U.K. (1996)Google Scholar
  17. 17.
    Muggleton, S., De Raedt, L.: Inductive logic programming: Theory and methods. J. of Logic Programming 19/20, 629–679 (1994)MathSciNetCrossRefMATHGoogle Scholar
  18. 18.
    Ponder2: The ponder2 policy environment. www.ponder2.netGoogle Scholar
  19. 19.
    Ray, O.: Nonmonotonic abductive inductive learning. In: Journal of Applied Logic. (Elsevier, in press) (2008)Google Scholar
  20. 20.
    Richards, B., Mooney, R.J.: Automated refinement of first-order horn-clause domain theories. Machine Learning 19(2), 95–131 (1995)Google Scholar
  21. 21.
    Russo, A.: A hybrid abductive inductive proof procedure. Logic J. of the IGPL 12, 371–397(27)MathSciNetMATHGoogle Scholar
  22. 22.
    Sacca, D., Zaniolo, C.: Stable models and non-determinism in logic programs with negationGoogle Scholar
  23. 23.
    Shanahan, M.: The event calculus explained. In: Artificial Intelligence Today, pp. 409–430 (1999)Google Scholar
  24. 24.
    Widmer, G.: Learning in the presence of concept drift and hidden contexts. In: Machine Learning, pp. 69–101 (1996)Google Scholar
  25. 25.
    Wogulis, J., Pazzani, M.: A methodology for evaluating theory revision systems: Results with Audrey II. In: 13th IJCAI, pp. 1128–1134 (1993)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2009

Authors and Affiliations

  • Domenico Corapi
    • 1
  • Oliver Ray
    • 2
  • Alessandra Russo
    • 1
  • Arosha Bandara
    • 3
  • Emil Lupu
    • 1
  1. 1.Imperial College LondonLondonUK
  2. 2.University of BristolBristolUK
  3. 3.The Open UniversityMilton KeynesUK

Personalised recommendations