Modeling Contexts with Dependent Types

• Autorzy: Dapoigny R. , Barlatier P.
• Języki publikacji: EN

Abstrakty

EN

In the area of knowledge representation, a challenging topic is the formalization of context knowledge on the basis of logical foundations and ontological semantics. However, most attempts to provide a formal model of contexts suffer from a number of difficulties, such as limited expressiveness of representation, restricted variable quantification, lack of (meta) reasoning about properties, etc. In addition, type theory originally developed for formal modeling of mathematics has also been successfully applied to the correct specification of programs and in the semantics of natural language. In this paper, we suggest a type theoretical approach to the problem of context and action modeling. Type theory is used both for representing the system’s knowledge of the discourse domain and for reasoning about it. For that purpose, we extend an existing dependent type theory having nice properties, with context-based rules and appropriate inductive types. We claim that the resulting theory exploiting the power of dependent types is able to provide a very expressive system together with a unified theory allowing higher-order reasoning.

Słowa kluczowe

EN

context; action; type theory; dependent types; subtyping; subsumption; partonomies

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2010
• Tom: Vol. 104, nr 4
• Strony: 293--327
• Opis fizyczny: Bibliogr. 71 poz.

Twórcy

autor

Dapoigny R.

autor

Barlatier P.

• LISTIC/Polytech'Savoie, Domaine Universitaire Po. Box 80439, 74944 Annecy le vieux cedex, France,

Bibliografia

• [1] Akman, V., Surav,M.: The use of Situation Theory in ContextModeling, Computational Intelligence, 12(4), 1996, 1-13.
• [2] Artale, A., Franconi, E., Guarino, N.: Open Problems for Part-Whole Relations, Procs. of the International Workshop on Description Logics (DL-96), AAAI Press, 1996.
• [3] Asher, N.: A Type Driven Theory of Predication with Complex Types, Fundam. Inform., 84(2), 2008, 151-183.
• [4] Barendregt, H.: Handbook of Logic in Computer Science, vol. 2, chapter Lambda Calculi with Types, Oxford University Press, 1992, 117-309.
• [5] Barwise, J.: On Conditionals, chapter Conditionals and conditional information, Cambridge University Press, 1986, 21-54.
• [6] Boldini, P.: Formalizing Context in Intuitionistic Type theory, Fundamenta Informaticae, 42(2), 2000, 1-23.
• [7] Bontas, E., Schlangen, D., Schrader, T.: Creating Ontologies for Content RepresentationThe OntoSeed Suite, On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, number 3761 in LNCS, 2005.
• [8] Borghuis, T., K. F., Nederpelt, R.: Formalizing Belief Revision in Type Theory, Journal of the IGPL, 10(5), 2002, 461-500.
• [9] Borgida, A.: On the Relative Expressiveness of Description Logics and Predicate Logics, Artificial Intelligence, 82(1-2), 1996, 353-367.
• [10] Brézillon, P., Pasquier, L., Pomerol, J.: Reasoning with contextual graphs, European Journal of Operational Research, 136(2), 2001, 290-298.
• [11] Britanik, J. M., Marefat, M.: Hierarchically merging plans in decomposable domains, IEEE Trans. On Systems, Man, and Cybernetics, 29(1), 1999, 27-39.
• [12] Burstall, R., Goguen, J.: The Semantics of Clear, a Specification Language, Procs. of the Advanced Course on Abstarct Software Specification, number 86 in LNCS, 1980.
• [13] Buvac, S., Buvac, V., Mason, I. A.: Metamathematics of Contexts, Fundamentae Informaticae, 23(3), 1995, 412-419.
• [14] Chan, S. W. K., Franklin, J.: Dynamic Context Generation for Natural Language Understanding: A Multifaceted Knowledge Approach, IEEE Transactions On Systems, Man, And Cybernetics (Part A), 33(1), 2003, 23-41.
• [15] Chen, H., Finin, T., Joshi, A.: Semantic web in a pervasive context-aware architecture, Procs. of Ubicomp'03 Workshop on Artificial Intelligence in Mobile Systems, 2003.
• [16] Chen, H., Finin, T., Joshi, A.: Using OWL in a Pervasive Computing Broker, Procs. of Workshop on Ontologies in Open Agent Systems (AAMAS'03), 2003.
• [17] Cimiano, P.: Translating Wh-Questions into F-Logic Queries, Procs. of the 2nd CoLogNET-ElsNET Symposium, 2003.
• [18] Cooper, R.: Records and Record Types in Semantic Theory, J. Log. Comput., 15(2), 2005, 99-112.
• [19] Cooper, R., Ginzburg, J.: Clarification ellipsis in dependent type theory, 6th Workshop on the Semantics and Pragmatics of Dialogue, 2002.
• [20] Coquand, T., Huet, G.: Constructions: A Higher Order Proof System for Mechanizing Mathematics, EUROCAL '85: Invited Lectures from the European Conference on Computer Algebra-Volume I, Springer-Verlag, 1985.
• [21] Coquand, T., Huet, G.: The calculus of constructions, Information and Computation, 76(2-3), 1988, 95-120.
• [22] Crowley, J., Coutaz, J., Rey, G., Reignier, P.: Perceptual Components for Context Aware Computing, Ubi-Comp 2002.
• [23] Devlin, K.: Logic and Information Theory, Cambridge University Press, 1991.
• [24] Dey, A. K., Abowd, G. D.: 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.
• [25] Dockhorn Costa, P., Almeida, J. P. A., Pires, L. F., Guizzardi, G., van Sinderen, M.: Towards Conceptual Foundations for Context-Aware Applications, Procs. of the AAAI'06 Workshop on Modeling and Retrieval of Context, AAAI Press, 2006.
• [26] Dourish, P.: Seeking a foundation for context-aware computing, Human-Computer Interaction, 16(2-3), 2001.
• [27] Euzenat, J., Pierson, J., Ramparany, F.: Dynamic contextmanagement for pervasive applications, The Knowledge Engineering Review, 23(1), 2008, 21-49.
• [28] Fernando, T.: Conservative generalized quantifiers and presupposition, Semantics and Linguistic Theory XI, 2001.
• [29] Ferreira Pires, L., van Sinderen, M., Munthe-Kaas, E., Prokaev, S., M., H., Plas, D.-J.: Techniques for describing and manipulating context information, Freeband/A MUSE D3.5v2.0, Lucent Technologies, 2005.
• [30] Frost, R. A., Saba, W. S.: A database interface based on Montagues approach to the interpretation of natural language, International Journal of Man-Machine Studies, 33(2), 1990, 149-176.
• [31] Gero, J., Smith, G.: Context and design agents, Procs. of the 6th international conference on using and modelling contexts (CONTEXT'07), number 4635 in LNAI, Springer, 2007.
• [32] Ghidini, C., Giunchiglia, F.: Local Models Semantics, or Contextual Reasoning = Locality + Compatibility, Artificial Intelligence, 127(2), 2001, 221-259.
• [33] Ginzburg, J.: Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records, Journal of Log. Comput., 15(2), 2005, 113-130.
• [34] Giunchiglia, F.: Contextual Reasoning, Technical Report 9211-20, Istituto per la Ricerca Scientifica e Technologica, 1992.
• [35] Göker, A.: Capturing information need by learning user context, IJCAI Workshop on Learning about users, 1999.
• [36] Henricksen, K., Indulska, J.: A Software Engineering Framework for Context-Aware Pervasive Computing, Procs. of PerCom 2004, 2004.
• [37] Howard, W. A.: To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, chapter The formulae-as-types notion of construction, Academic Press, 1980, 479-490.
• [38] Johansson, I.: Relations and predicates, chapter On the transitivity of the parthood relation, Ontos Verlag, 2004, 161-181.
• [39] Kamp, H., Reyle, U.: A Calculus for First Order Discourse Representation Structures, Logic, Language and Information, 1996.
• [40] Kofod-Petersen, A., Cassens, J.: Using Activity Theory to Model Context Awareness, Procs. of Modeling and Retrieval of Context (MRC2005), 2005.
• [41] Lenat, D. B., Sierra, C., Guha, R., Pittman, K., Pratt, D., Shepherd,M.: Cyc: toward programs with common sense, Communications of the ACM, 33(8), 1990, 30-49.
• [42] Löhrer, G.: On ends and means. Constructive Type Theory as a Guide for Modeling in Theory of Mind and Action, Mathematics and Social Sciences, 171(3), 2005, 5-23.
• [43] Luo, Z.: A Unifying Theory of Dependent Types I, LFCS Report Series ECS-LFCS-91-154, University of Edinburgh, 1991.
• [44] Luo, Z.: A Unifying Theory of Dependent Types: The Schematic Approach, TVER '92: Proceedings of the Second International Symposium on Logical Foundations of Computer Science, Springer-Verlag, 1992.
• [45] Luo, Z.: Computation and Reasoning, vol. 11 of International Series of Monographs on Computer Science, Oxford Science Publications, 1994.
• [46] Luther, M., Fukazawa, Y., Wagner, M., Kurakake, S.: Situational reasoning for task-oriented mobile service recommendation, The Engineering Review, 23(1), 2008, 7-19.
• [47] Martin-Löf, P.: ConstructiveMathematics and Computer Programming, Logic, Methodology and Philosophy of Sciences, 6, 1982, 153-175.
• [48] Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A.: Ontology Library (D18), Technical report, Laboratory for Applied Ontology-ISTC-CNR, 2003.
• [49] Matwin, S., Kubat, M.: The Role of Context in Concept Learning, ICML Workshop on Learning in Contextsensitive Domains, 1996.
• [50] McCarthy, J.: Notes on Formalizing Context., Procs. of the 13th Int. Joint Conf. on Artificial Intelligence, 1993.
• [51] McCarthy, J., Buvac, S.: Formalizing Context, AAAI Fall Symposium on Context in Knowledge Representation and Natural Language, AAAI Press, 1997.
• [52] Montague, R.: Pragmatics and intensional logic, Synth`ese, 22, 1970, 68-94.
• [53] Motik, B., Horrocks, I., Rosati, R., Sattler, U.: Can OWL and Logic Programming Live Together Happily Ever After?, Procs. of the International Conference on Semantic Web (ISWC-96), 2006.
• [54] Muskens, R. A.: CombiningMontague Semantics and Discourse Representation, Linguistic and Philosophy, 19, 1996, 143-186.
• [55] Napoli, A.: Subsumption and classification-based reasoning in object-based representations, European Conference on Artificial Intelligence (ECAI92), JohnWiley & Sons Ltd, 1992.
• [56] Prawitz, D.: Natural Deduction: A Proof-Theoretical Study, Dover Publications, 1965.
• [57] Ranta, A.: Type-Theoretical Grammar, Oxford University Press, 1995.
• [58] Ranta, A.: Grammatical Framework: A Type-Theoretical Grammar Formalism, Journal of Functional Programming, 14(2), 2004, 145-189.
• [59] Raptis, D., Tselios, N., Avouris, N.: Context-based design of mobile applications for museums: a survey of existing practices, MobileHCI '05: Procs. of the 7th international conference on Human computer interaction with mobile devices & services, ACM, 2005.
• [60] Rehak, M., Gregor, M., Pechoucek, M., Bradshaw, J.: Representing Context for Multiagent Trust Modeling, IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006.
• [61] Strang, T., Linnhoff-popien.: A Context Modeling Survey, Procs. of the Int. Workshop on Advanced Context Modeling, Reasoning and Management, 2004.
• [62] Strang, T., Linnhoff-popien, C., Frank, K.: Applications of a Context Ontology Language, Procs. of the International Conference on Software, Telecommunications and Computer Networks (SoftCom2003), 2003.
• [63] Sundholm, G.: Handbook of Philosophical Logic, vol. 3, chapter Proof theory and meaning, Reidel, 1986.
• [64] Thomason, R. H.: Representing and Reasoning with Context, Procs. of the International Conference on Artificial Intelligence and Symbolic Computation, number 1476 in LNCS, 1998.
• [65] Van Eijck, J.: The proper treatment of context in NL, Computational Linguistics in the Netherlands (P. Monachesi, Ed.), 2000.
• [66] Varzi, A.: A Note on the Transitivity of Parthood, Applied Ontology, 1(2), 2006, 141-146.
• [67] Villadsen, J.: Multi-dimensional Type Theory: Rules, Categories and Combinators for Syntax and Semantics, Int. Workshop on Constraint Solving and Language Processing, 2004.
• [68] Wang, X. H., Gu, T., Zhang, D. Q., Pung, H. K.: Ontology Based Context Modeling and Reasoning using OWL, Procs. of the 2nd IEEE Conference on Pervasive Computing and Communications (PerCom2004), 2004.
• [69] Winston, M. E., Chaffin, R., Hermann, D.: A taxonomy of part-whole relations, Cognitive Science, 1(1), 1987, 417-444.
• [70] Woods,W.: Principles of Semantic Networks, chapter Understanding Subsumption and Taxonomy: a Framework for progress, Morgan Kaufmann, San Mateo, CA, 1991, 45-94.
• [71] Zacarias, M., Sofia˜Pinto, H., Tribolet, J.: Reverse-engineering of Individual and Inter-Personal Work Practices: A Context-based Approach, Procs. of the 4th International Workshop on Modeling and Reasoning in Context (MRC 2007) (A. Kofod-Petersen, J. Cassens, D. Leake, S. Schulz, Eds.), 2007.