A Study On Context-aware In Smart Space Based Answer Set Programming

Rapid development of information technology makes the execution efficiency of computer software and performance of hardware improved greatly. Nowadays, many types of equipment have computing capability and digital communication capability. Furthermore, information can be exchanged mutually and function provided by counterparty can be used between these equipment. Smart space, as a working space which integrates computing, information equipment, and multi-modal sensor, can achieve spontaneous interaction between equipment. However, involved equipment, operators and products fields have diversified varieties, and it shall establish a common standard to achieve spontaneous interaction. Therefore, related research scholar researched and studied Smart-M3 platform, to implement spontaneous interaction operation in smart space, and complete information and servicessharing and access between equipment. Based on it, Vesa Luukkala and other scholars enhance ASP with Smart-M3 platform to improve the inferential capability of space, and adopt fixedprecedence relationship method to solve the service decision-making problems of smart space. However, it does not consider two influence factors, i.e. context information and environment information. Thus, it may not satisfy the true requirements in service recommendation. Aiming at such kinds of problems, this paper takes deeper researches on the context aware in the smart space and develops following two aspects of works:(1)Focusing on fixed precedence relationship method is adopted to solve the limitation on service decision-making problem in the space at current stage, this paper proposes a framework for context-aware based answer set programming for smart space. It aims to improve the dynamic inferential capability in the space. The frame establishes a kind of common context ontology model firstly, and designs a context reasoning structure. Then, it defines the context reasoning rules. In the rules, it uses default decision-making theory to determine the precedence relationship of context service dynamically, and organizes ASP together with the context information in the space. The answer set of the programming corresponds to the results of current context dynamic reasoning. Finally, it illustrates that the frame can complete context dynamic reasoning effectively by introducing an application example, and implements dynamic service decision-making which has context aware in the space.(2)Furthermore, since most original information used in the context reasoningoriginated from the physical equipment of smart space. It is inevitable that untimely information update, information loss and other problem may cause context information inconsistency, and thus the reasoning process can not be taken. Currently, most checking method of context inconsistency has the shortcoming of complex modeling. To avoid such problem, this paper proposed a method based meta-programming technique to test the inconsistency existed in the context information. Firstly, a meta-programming is sued to construct a test program for context inconsistency. Then, an answer set solver Smodels is used to solve the answer set of the program and achieve automatic testing of context inconsistency. Finally, elimination operation strategy is executed for the tested inconsistency information. Thus, it can solve the inconsistency of context information, and ensure correct execution of context reasoning algorithm.