Representing and reasoning with situations for context-aware pervasive computing: A logic programming perspective

Knowledge Engineering Review

Volumn 19, Issue 3, 2004, Pages 213-233

  Loke, Seng W ^a  

^a MONASH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS; HUMAN COMPUTER INTERACTION; KNOWLEDGE ENGINEERING; LINGUISTICS; MATHEMATICAL MODELS; NATURAL LANGUAGE PROCESSING SYSTEMS; ONLINE SYSTEMS; SOFTWARE ENGINEERING; USER INTERFACES;

CONTEXT-AWARE PERVASIVE SYSTEMS; FIRST-ORDER LOGICS; PERVASIVE COMPUTING; REASONING;

LOGIC PROGRAMMING;

EID: 21644465748     PISSN: 02698889     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0269888905000263     Document Type: Review

References (49)

1. Akman, V, 2002, "Context in artificial intelligence: A fleeting overview (English version of Contesto in intelligenza artificiale: una fugace rassegna)" in C Penco (ed.) La Svolta Contestuale Milano: McGraw-Hill.
2. Barkhuus, L, 2003, "Context information vs. sensor information: a model for categorizing context in context-aware mobile computing" in Symposium on Collaborative Technologies and Systems, San Diego, CA, pp. 127-133.
3. Barwise, J, 1989, The Situation in Logic CSLI.
4. Barwise, J, Gawron, JM, Plotkin, G and Tutiya, S, (eds.) 1991, Situation Theory and its Applications CSLI.
5. Barwise, J and Perry, J, 1983, Situations and Attitudes Cambridge: MIT-Bradford.
6. Biegel, G and Cahill, G, 2004, "A framework for developing mobile, context-aware applications" in 2nd IEEE Conference on Pervasive Computing and Communications, March 2004, http://www.dsg.cs.tcd.ie/biegelg/research/publications/TCD-CS-2004-04.pdf.
7. Bouquet, P, Ghidini, C, Giunchiglia, F and Blanzieri, E, 2003, "Theories and uses of context in knowledge representation and reasoning" Journal of Pragmatics 35(3).
8. Brezillon, P, 2003, "Representation of procedures and practices in contextual graphs" The Knowledge Engineering Review 18(2) 147-174.
9. Brogi, A, 1993, "Program construction in computational logic", PhD thesis, University of Pisa.
10. Chen, H, Finin, T and Joshi, A, 2003, "An ontology for context-aware pervasive computing environments" in Workshop on Ontologies and Distributed Systems, IJCAI-2003, August 2003.
11. Chen, H, Finin, T and Joshi, A, 2004a, "A context broker for building smart meeting rooms" in C Schlenoff and M Uschold (eds.), Proceedings of the Knowledge Representation and Ontology for Autonomous Systems Symposium, 2004 AAAI Spring Symposium, Stanford, CA. Menlo Park, CA: AAAI Press, pp. 53-60.
12. Chen, H, Finin, T and & Joshi, A, 2004b, "An ontology for context-aware pervasive computing environments" The Knowledge Engineering Review, Special Issue on Ontologies for Distributed Systems 18(3) 197-207.
13. Devlin, KJ, 1991, "Situations as mathematical abstractions", in J Barwise, JM Gawron, G Plotkin and S Tutiya. (eds.), Situation Theory and its Applications. CSLI.
14. Dey, AK, 2000, "Providing architecture support for building context-aware applications", PhD thesis, Georgia Institute of Technology.
15. Dey, AK, 2001, "Understanding and using context" Personal and Ubiquitous Computing Journal 5(1) 5-7.
16. Dousson, C, Gaborit, P and Ghallab, M, 1993, "Situation recognition: Representation and algorithms", in Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI'93), Chambéry, France, pp. 166-172.
17. Gellersen, H-W, Schmidt, A and Beigl, M, 2002, "Multi-sensor context-awareness in mobile devices and smart artifacts" Mobile Networks and Applications (MONET) 7(5) 341-351.
18. Gupta, G, Pontelli, E, Ali, K, Carlsson, M and Hermenegildo, M, 2001, "Parallel execution of Prolog programs: A survey" A CM Transactions on Programming Languages and Systems 23(4) 472-602.
19. Headon, R, 2003, "Movement awareness for a sentient environment", in Proceedings of the 1st Conference on Pervasive Computing and Communications (PerCom 2003). Los Alamitos, CA: IEEE Computer Society Press.
20. Henricksen, K, 2003, "A framework for context-aware pervasive computing applications" PhD thesis, University of Queensland.
21. Henricksen, K, Indulska, J and Rakotonirainy, A, 2004, "Modeling context information in pervasive computing systems", in Proceedings of the Workshop on Context Modelling and Reasoning (CoMoRea'04) at the 2nd IEEE International Conference on Pervasive Computing and Communications, March 2004, pp. 33-37.
22. Hong, JI and Landay, JA, 2001, "An infrastructure approach to context-aware computing" Human-Computer Interaction 16. http://guir.berkeley.edu/projects/confab/pubs/context-essay-final.pdf.
23. Hopper, A, 2000, "The Royal Society Clifford Paterson Lecture-Sentient computing" Philosophical Transactions of the Royal Society of London 358 2349-2358. http://www-lce.eng.cam.ac.uk/publications/files/tr.1999.12.pdf.
24. Katsiri, E and Mycroft, A, 2003, "Knowledge representation and scalable abstract reasoning for sentient computing using first-order logic" in Proceedings of Challenges and Novel Applications for Automated Reasoning (CADE-19 Workshop), July 2003. http://www.cl.cam.ac.uk/users/am/papers/nads03.pdf.
25. Koile, K, Tollmar, K, Demirdjian, D, Shrobe, H and Darrell, T, 2003, "Activity zones for context-aware computing" in Proceedings of the 5th International Conference on Ubiquitous Computing (UBICOMP 2003.
26. Lehmann, O, Bauer, M, Becker, C and Nicklas, D, 2004, "From home to world - supporting context-aware applications through world models" in Proceedings of the 2nd IEEE Annual Conference on Pervasive Computing and Communications (PERCOM'04). Los Alamitos, CA: IEEE Computer Society Press.
27. Lloyd, JW, 1984, Foundations of Logic Programming Springer.
28. Loke, SW, 2004, "Logic programming for context-aware pervasive computing: Language support, characterizing situations, and integration with the Web" in Proceedings of the IEEE/WIC/ACM Conference on Web Intelligence (WI'04), in press.
29. Matheus, C, Kokar, M and Baclawski, K, 2003, "A core ontology for situation awareness" in Proceedings of FUSION'03, July 2003, pp. 545-552. http://vistology.com/papers/FUSION03.pdf.
30. McCarthy, J, 1993, "Notes on formalizing contexts" in R Bajcsy (ed.), Proceedings of the 13th International Joint Conference on Artificial Intelligence, San Mateo, CA. San Francisco: Morgan Kaufmann, pp. 555-560.
31. McGrath, RE, Ranganathan, A, Campbell, RH and Mickunas, MD, 2003, "Use of ontologies in pervasive computing environments" Technical report no. UIUCDCS-R-2003-2332 ULU-ENG-2003-1719, April. http://mummy.intranet.gr/includes/docs/MUMMY-Dllyl-ZGDV-CtxtAwr-v02.pdf.
32. Moran, T and Dourish, P, (eds.), 2002, Context-Aware Computing Hillsdale, NJ: Lawrence Erlbaum Associates.
33. Mouthaan, QM, Ehlert, PAM and Rothkrantz, LJM, 2003, "Situation recognition as a step to an intelligent situation-aware crew assistant system" in Proceedings of the 15th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC2003), Nijmegen, The Netherlands, October 2003, pp. 219-226.
34. Muhlenbrock, M, Brdiczka, O, Meunier, J-L and Snowdon, D, 2004, "Learning to detect user activity and availability from a variety of sensor data" in Proceedings of the 2nd IEEE Annual Conference on Pervasive Computing and Communications (PERCOM'04). Los Alamitos, CA: IEEE Computer Society Press.
35. Patterson, DJ, Liao, L, Fox, D and Kautz, H, 2003, "Inferring high-level behaviour from low-level sensors" in Proceedings of the 5th Annual Conference on Ubiquitous Computing (UBICOMP 2003).
36. Peters, S and Shrobe, HE, 2003, "Using semantic networks for knowledge representation in an intelligent environment" in Proceedings of the 1st IEEE Annual Conference on Pervasive Computing and Communications (PERCOM'03). Los Alamitos, CA: IEEE Computer Society Press, pp. 323-329.
37. Picard, R W, 1997, Affective Computing Cambridge, MA: MIT Press.
38. Pinheiro, F, 2002, "Preliminary thoughts on using situation theory for scenario modelling" in Workshop on IDEAS 2002, La Habana, Cuba.
39. Ranganathan, A and Campbell, RH, 2003, "An infrastructure for context-awareness based on first order logic" Personal and Ubiquitous Computing Journal 7 353-364.
40. Schilit, BN, Adams, NI and Want, R, 1994, "Context-aware computing applications" in Proceedings of the Workshop on Mobile Computing Systems and Applications, December 1994. Los Alamitos, CA: IEEE Computer Society Press, pp. 85-90.
41. Shoham, Y and del Val, A, 1991, "A logic for perception and belief Technical report no. STAN-CS-91-1391, Department of Computer Science, Stanford University, ftp://reports.Stanford.edu/pub/cstr/reports/cs/tr/91/1391/CS-TR-91-1391.pdf.
42. Sohn, T and Dey, AK, 2003, "iCAP: An informal tool for interactive prototyping of context-aware applications" in Interactive Poster in the ACM Conference on Human Factors in Computing Systems, April 2003, pp. 974-975.
43. Tapia, EM, Intille, SS and Larson, K, 2004, "Activity recognition in the home using simple and ubiquitous sensors" in A., (ed.), Pervasive 2004 (Lecture Notes in Computer Science, 3001) Berlin: Springer-Verlag, pp. 158-175.
44. Tazari, S, 2003, "Context-awareness and knowledge representation DU" Technical report no. MUMMY (IST-2001-37365), http://www.cs.uiuc.edu/Dienst/UI/2.0/Describe/ncstrl.uiuc_cs/ UIUCDCS-R-2003-2332.
45. Tin, E and Akman, V, 1994, "Computational situation theory" SIGART Bulletin 5(4) 4-17.
46. Turner, RM, 1998, "Context-mediated behaviour for intelligent agents" International Journal of Human-Computer Studies 48 307-330.
47. Wang, XH, Gu, T, Zhang, DQ and Pung, HK, 2004, "Ontology based context modeling and reasoning using OWL" in Proceedings of the Workshop on Context Modelling and Reasoning (CoMoRea'04) at the 2nd IEEE International Conference on Pervasive Computing and Communications, March 2004. Los Alamitos, CA: IEEE Computer Society Press.
48. Woods, WA, 1978, "Taxonomic lattice structures for situation recognition" in Proceedings of the Theoretical Issues in Natural Language Processing, Urbana-Campaign, IL, pp. 33-41.
49. Yoshimi, B, 2000, "On sensor frameworks for pervasive systems" in Proceedings of the Workshop on Software Engineering for Wearable and Pervasive Computing at the 22nd International Conference on Software Engineering.