Towards a Context Theory for Context-aware systems

Frontiers in Artificial Intelligence and Applications

Volumn 164, Issue , 2007, Pages 36-55

  Dapoigny, Richard ^a   Barlatier, Patrick ^a  

^a Université de Savoie   (France)

Author keywords

contexts aware; Dependent record types; Intuitionistic Type Theory; Ontology

Indexed keywords

COMPUTER CIRCUITS; FORMAL LANGUAGES; FORMAL LOGIC; KNOWLEDGE REPRESENTATION; PROBLEM SOLVING; USER INTERFACES;

CONTEXT MODELS; CONTEXT-AWARE; CONTEXT-AWARE SYSTEMS; CORE PROBLEMS; DEPENDENT RECORD TYPE; FORMAL MODELING; FORMALISATION; INTUITIONISTIC TYPE THEORY; ONTOLOGY'S; TYPE THEORY;

ONTOLOGY;

EID: 84871820417     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (46)

1. P. Balabko and A. Wegmann: "Context Based Reasoning in Business Process Models", Procs. of the IEEE Int. Conf. on Information Reuse and Integration, 2003, 120–128.
2. J. Barwise: "Scenes and other Situations", Journal of Philosophy, 1981, 77, 369–397.
3. M. Berger, F. Fuchs and M. Pirker: "Ambient Intelligence - From Personal Assistance to Intelligent Megacities", this volume, IOS Press, 2007.
4. G. Betarte: "Type checking dependent (record) types and subtyping", Journal of Functional and Logic Programming, 2000, 10(2), 137–166.
5. P. Boldini: "Formalizing Context in Intuitionistic Type theory", Fundamenta Informaticae, 2000, 42, 1–23.
6. A. Bove and V. Capretta: "Nested General Recursion and Partiality in Type Theory", TPHOL, R.J. Boulton and P.B. Jackson eds., 2001, LNCS 2152, Springer, 121–135.
7. P. Brézillon and S. Abu-Hakima: "Using Knowledge in its Context", Report on the IJCAI’93 Workshop, AI Magazine, 1995, 16(1), 87–91.
8. P. Brézillon and J.-Ch. Pomerol: "Modeling and using context for system development: Lessons from experiences", Journal of Decision Systems, P. Humphreys and P. Brézillon Eds, Decision Systems in Actions, 2001, 10(2), 265–288.
9. S. Buvac, V. Buvac and I.A. Mason: "Metamathematics of Contexts", Fundamentae Informaticae, 1995, 23(3), 412–419.
10. S. Buvac: "Quantificational logic of context", Procs. of the 13th National Conference on Artificial Intelligence, 1996.
11. H. Chen, T. Finin and A. Joshi: "Using OWL in a Pervasive Computing Broker", Procs. of Workshop on Ontologies in Open Agent Systems (AAMAS’03), 2003.
12. R. Cooper: "Mixing Situation Theory and Type Theory to Formalize Information States in Dialogue Exchanges", in Procs of TWLT 13/Twendial’98: Formal Semantics and Pragmatics of Dialogue, 1998.
13. R. Cooper: "Records and Record Types in Semantic Theory", J. of Logic and Computation, 2005, 15(2), 99–112.
14. C. Coquand and T. Coquand: "Structured type theory", Workshop on Logical Frameworks and Metalanguages, 1999.
15. T. Coquand, R. Pollack and M. Takeyama: "A Logical Framework with Dependently Typed Records", Fundamenta Informaticae, 2005, 20, IOS Press, 1–22.
16. R. Dapoigny and P. Barlatier: "Dependent Record Types for Dynamic context representation", Research and Development in Intelligent Systems XXIII Procs. of AI-2006, The Twenty-sixth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Max Bramer, F. Coenen and A. Tuson eds., Springer, 23, 2007, 419 p.
17. Anind K. Dey and Gregory D. Abowd: "Towards a Better Understanding of Context and Context-Awareness", Procs. of the CHI 2000 Workshop on The What, Who, Where, When, and How of Context-Awareness, 2000.
18. P. Dockhorn-Costa, J.P. A. Almeida, L. F. Pires, G. Guizzardi and M. van Sinderen: "Towards Conceptual Foundations for Context-Aware Applications", Procs. of the AAAI’06 Workshop on Modeling and Retrieval of Context, AAAI Press, 2006, 54–58.
19. P. Dourish: "What we talk about when we talk about context", Personal and Ubiquitous Computing, 2004, 8(1), 19–30.
20. J. Euzenat, F. Ramparany and J. Pierson: "Gestion dynamique de contexte pour l’informatique pervasive", Procs of the 15th French Conference on Pattern Recognition and Artificial Intelligence (RFIA’06), 2006, Tours (France), 113–123.
21. J. Ginzburg: "Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records", Journal of Log. and Comput., 2005, 15(2), 113–130.
22. F. Giunchiglia: "Contextual Reasoning", Istituto per la Ricerca Scientifica e Technologica, 1992, report 9211-20.
23. C. Ghidini and F. Giunchiglia: "Local Models Semantics, or Contextual Reasoning = Locality + Compatibility", Artificial Intelligence, 2001, 127(2), 221–259.
24. T. Gu, X.H. Wang, H.K. Pung and D.Q. Zhang: "An Ontology-based Context Model in Intelligent Environments", In Procs. of Communication Networks and Distributed Systems Modeling and Simulation Conference (CNDS 2004), 2004, 270–275.
25. N. Guarino: "Formal Ontology and Information Systems", Procs. of the 1st International Conference on Formal Ontologies in Information Systems, 1998, 3–15.
26. A. Held, S. Buscholz and A. Schill: "Modeling of Context Information for Pervasive Computing Applications", Procs. of the 6th conf. on Systemics, Cybernetics and Informatics (SCI), 2002.
27. W. A. Howard, J.P. Seldin and J.R. Hindley: "To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism", The formulae-as-types notion of construction, Academic Press, 1980, 479–490.
28. A. Kopylov: "Dependent Intersection: A New Way of Defining Records in Type Theory", in Procs. of the 18th Annual IEEE Symposium on Logic in Computer Science, 2003, 86–95.
29. P. Martin-Lof: "Constructive Mathematics and Computer Programming", Logic, Methodology and Philosophy of Sciences , 1982, 6, 153–175.
30. C.J. Matheus, M.M. Kokar and K. Baclawski: "A core Ontology for Situation Awareness", Procs. of the Sixth International Conference of Information Fusion , 2003, 1, 545–552.
31. J. McCarthy: "Notes on Formalizing Context", Procs. of the 13th Int. Joint Conf. on Artificial Intelligence, 1993, 555–560.
32. R. Montague: "Pragmatics and intensional logic", Synthèse, 1970, 22, 68–94.
33. H. Mügge, T. Rho, D. Speicher, J. Kuck and Armin B. Cremers: "Towards an Infrastructure for Context-Sensitive Intelligence", SAKS Workshop on Context-sensitive Intelligence, 2006.
34. P. Ozturk and A. Aamodt: "A context model for knowledge-intensive case-based reasoning", International Journal of Human Computer Studies, 1998, 48, 331–355.
35. L.C. Paulson: "The Foundation of a Generic Theorem Prover", Journal of Automated Reasoning, 1989, 5, 363–397.
36. M. Peleg, S. Tu, J. Bury, P. Ciccarese, J. Fox, Robert A. Greenes, R. Hall, Peter D. Johnson, N. Jones, A. Kumar, S. Miksch, S. Quaglini, A. Seyfang, Edward H. Shortliffe and M. Stefanelli: "Comparing computer interpretable guideline models: A case-study approach", Journal of the American Medical Informatics Association, 2003, 10(1), 52–68.
37. A. Ranta: "Grammatical Framework: A Type-Theoretical Grammar Formalism", Journal of Functional Programming, 2004, 14(2), 145–189.
38. T. Strang, C. Linnhoff-Popien and K. Frank: "CoOL: A Context Ontology Language to enable Contextual Interoperability", Procs. of DAIS 2003 LNCS 2893, 2003, 236–247.
39. T. Strang and C. Linnhoff-Popien: "A Context Modeling Survey", Sixth International Conference on Ubiquitous Computing (UbiComp2004), 2004, 34–41.
40. R.H. Thomason: "Representing and Reasoning with Context", Procs. of the International Conference on Artificial Intelligence and Symbolic Computation, 1998, LNCS 1476, Springer, 29–41.
41. R.H. Thomason: "Type theoretic foundations for context, part 1: Contexts as complex type theoretic objects", Modeling and Using Contexts, Paolo Bouquet et al. eds., Springer, 1999, 352–374.
42. Roy M. Turner and Robert A.G. Stevenson: "ORCA: An adaptive, context-sensitive reasoner for controlling AUVs", Procs. of the 7th Int. Symp. on Unmanned Untethered Submersible Technology (UUST’91), 1991, 423–432.
43. M. Uschold and M. Grüninger: "Ontologies: Principles, methods, and applications", The Knowledge Eng. Review, 1996, 11(2), 93–155.
44. S. Valentini: "Decidability in Intuitionistic Type Theory is functionally decidable", Mathematical Logic, 1996, 42, 300–304.
45. J. Villadsen: "Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics", Int. Workshop on Constraint Solving and Language Processing, 2004, H. Christiansen et al. eds., 160–165.
46. Xiao H. Wang, T. Gu, Da Q. Zhang and Hung K. Pung: "Ontology Based Context Modeling and Reasoning using OWL", Procs. of the 2nd IEEE Conference on Pervasive Computing and Communications, 2004, 18–22.