nach oben

Erschienen in:

2019 | OriginalPaper | Buchkapitel

Formal Context Representation and Calculus for Context-Aware Computing

verfasst von : Ammar Alsaig, Vangalur Alagar, Nematollaah Shiri

Erschienen in: Context-Aware Systems and Applications, and Nature of Computation and Communication

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Context is a rich concept that is mostly understood and used with different representations and interpretations in many different fields. This variety of usage adds both richness and vagueness, thus creating more complexity to comprehension, interpretation, and reasoning with contexts. As pervasive computing technology becomes more and more intrusive there is a need to construct formally verifiable context-aware computing environment, in which human dignity is preserved through safety, security, and privacy. These features cannot be ensured unless context notion is formalized, both in representation and reasoning. Motivated by this concern this paper introduces a formal context representation and a context calculus which can be used to build context models for many applications.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Nächstes Kapitel Transmission Reordering in Self-organizing Network Coordination Framework

Akman, V., Surav, M.: The use of situation theory in context modeling. Comput. Intell. Int. J. 13(3), 427–438 (1997)

Alaga, V., Wan, K.: Context based enforcement of authorization for privacy and security in identity management. In: de Leeuw, E., Fischer-Hübner, S., Tseng, J., Borking, J. (eds.) Policies and Research in Identity Management. The International Federation for Information Processing, vol. 261, pp. 25–37. Springer, Boston (2008). https://doi.org/10.1007/978-0-387-77996-6_3CrossRef

Alagar, V., Mohammad, M., Wan, K., Hnaide, S.A.: A framework for developing context-aware systems. EAI Endorsed Trans. Context-Aware Syst. Appl. 14(1) (2014). https://doi.org/10.4108/casa.1.1.e2CrossRef

Brèzillon, P., Gonzalez, A.I.: Context in Computing: A Cross-Disciplinary Approach to Modeling Real World. Springer, Berlin (2014)CrossRef

Brézillon, P.: Context in human-machine problem solving: a survey. LIP 6(1996), 029 (1996)

Carnap, R.: Meaning and Necessity. Chicago University Press, Chicago (1947). Enlarged Edition 1956MATH

Clark, H.H., Carlson, T.B.: Context for comprehension. In: Attention and Performance, pp. 313–330. Lawrence Erlbaum Associates, Hillside (1981)

Dey, A.K., Abowd, G.D., Salber, D.: A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications. Hum.-Comput. Interact. 16, 97–161 (2001)CrossRef

Dey, A.K.: Understanding and using context. Pers. Ubiquit. Comput. 5(1), 4–7 (2001)CrossRef

10.

Dowley, D., Wall, R., Peters, S.: Introduction to Montague Semantics. Reidel Publishing Company, Amsterdam (1981)

11.

Bettini, C., et al.: A survey of context modelling and reasoning techniques. Pervasive Mob. Comput. 6, 161–180 (2009)CrossRef

12.

García, K., Brézillon, P.: A contextual model of turns for group work. In: Christiansen, H., Stojanovic, I., Papadopoulos, G.A. (eds.) CONTEXT 2015. LNCS (LNAI), vol. 9405, pp. 243–256. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-25591-0_18CrossRef

13.

García, K., Brézillon, P.: Contextual graphs for modeling group interaction. In: Brézillon, P., Turner, R., Penco, C. (eds.) CONTEXT 2017. LNCS (LNAI), vol. 10257, pp. 151–164. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-57837-8_12CrossRef

14.

Giunchiglia, F.: Contextual reasoning. Epistemologia, special issue on I Linguaggi e le Macchine 16, 345–364 (1993)

15.

Grätzer, S.: Lattice Theory: First Concepts and Distributive Lattices. W. H. Freeman, San Francisco (1971)MATH

16.

Guha, R.V.: Contexts: A Formalization and Some Applications, vol. 101. Stanford University Stanford (1991)

17.

Held, A., Buchholz, S., Schill, A.: Modeling of context information for pervasive computing applications. In: Proceedings of SCI, pp. 167–180 (2002)

18.

Interdisciplinary and Internal Conference Series. Modeling and using context (1997)

19.

McCarthy, J.: Notes on formalizing context (1993)

20.

McCarthy, J., Buvac, S.: Formalizing context (expanded notes) (1997)

21.

Sato, M., Sakurai, T., Kameyama, Y.: A simply typed context calculus with first-class environments. In: Proceedings of FLOPs 2001: the 5th International Symposium on Functional and Logic Programming, pp. 359–374 (2001)CrossRef

22.

Schilit, B., Adams, N., Want, R.: Context-aware computing applications. In: 1994 First Workshop on Mobile Computing Systems and Applications, WMCSA 1994, pp. 85–90. IEEE (1994)

23.

Shoham, Y.: Varieties of context. In: Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp. 393–408 (1991)CrossRef

24.

Wan, K., Alagar, V., Paquet, J.: An architecture for developing context-aware systems. In: Roth-Berghofer, T.R., Schulz, S., Leake, D.B. (eds.) MRC 2005. LNCS (LNAI), vol. 3946, pp. 48–61. Springer, Heidelberg (2006). https://doi.org/10.1007/11740674_4CrossRef

25.

Wan, K.: Lucx: lucid enriched with context. Ph.D. thesis, Concordia University (2006)

26.

Wan, K., Alagar, V., Paquet, J.: A context theory for intensional programming. In: Workshop on Context Representation and Reasoning (CRR05). Citeseer, Paris, July 2005

27.

Weyhrauch, R.: Prolegomena to a theory of mechanized formal reasoning. Artif. Intell. 13, 133–170 (1980)MathSciNetCrossRef

28.

Winograd, T.: Architecture for context. Hum.-Comput. Inter. 16, 401–419 (2001)CrossRef

Titel: Formal Context Representation and Calculus for Context-Aware Computing
verfasst von: Ammar Alsaig
Vangalur Alagar
Nematollaah Shiri
Verlag: Springer International Publishing
Buch: Context-Aware Systems and Applications, and Nature of Computation and Communication
Print ISBN: 978-3-030-06151-7

Electronic ISBN: 978-3-030-06152-4

Copyright-Jahr: 2019
DOI: https://doi.org/10.1007/978-3-030-06152-4_1

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"