A Formal Model and a Design of Inference Engine for Context-Aware Mobile Computing


KIPS Transactions on Software and Data Engineering, Vol. 2, No. 4, pp. 239-250, Apr. 2013
10.3745/KTSDE.2013.2.4.239,   PDF Download:

Abstract

Context-aware mobile computing has become the primary approach to realize automatic, autonomous and user-centric computing in the context of mobile devices used that embed available sensors. However, designing an inference engine nonetheless requires the tasks of analyzing contexts, situations and can be inferred, etc. Moreover, a mobile device has limited resources and limited computation capability, which results in results in recognizing the common sense of its unsuitable environment for processing inference. Hence, we propose context-situation reasoning elements and their formal models in this paper, and we verify the formal models` applicability by applying them to an example. Finally, we design and implement an inference engine that realize the context-situation inference elements in computing environment, and we experiment an example by using the proposed inference engine to verify applicability and reusability of inference engine.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
M. K. Kim and S. D. Kim, "A Formal Model and a Design of Inference Engine for Context-Aware Mobile Computing," KIPS Transactions on Software and Data Engineering, vol. 2, no. 4, pp. 239-250, 2013. DOI: 10.3745/KTSDE.2013.2.4.239.

[ACM Style]
Moon Kwon Kim and Soo Dong Kim. 2013. A Formal Model and a Design of Inference Engine for Context-Aware Mobile Computing. KIPS Transactions on Software and Data Engineering, 2, 4, (2013), 239-250. DOI: 10.3745/KTSDE.2013.2.4.239.