A rule based knowledge transaction model for mobile environments |
| |
| Affiliation: | 1. IBM Australia, Level 4, 20 Berry Street, North Sydney, NSW 2060, Australia;2. School of Computing & IT, University of Western Sydney, Penrith South DC, NSW 1797, Australia;1. CIDISI – UTN, Centro de Investigación y Desarrollo de Ingeniería en Sistemas de Información, Universidad Tecnológica Nacional, Lavaisse 610, (S3004EWB) Santa Fe, Argentina;2. INGAR (CONICET–UTN), Instituto de Desarrollo y Diseño, Consejo Nacional de Investigaciones Científicas y Técnicas, Avellaneda 3657, (S3002GJC) Santa Fe, Argentina |
| |
| Abstract: | In this paper, we propose and formalize a rule based knowledge transaction model for mobile environments. Our model integrates the features of both mobile environments and intelligent agents. We use logic programming as a mathematic tool and formal specification method to study knowledge transaction in mobile environments. Our knowledge transaction model has the following major advantages: (1) It can be used for knowledge transaction representation, formalization and knowledge reasoning in mobile environments. (2) It is knowledge oriented and has a declarative semantics inherited from logic programming. (3) It is a formalization that can be applied to general problem domains. We show that our model can be used for knowledge transaction representation, formalization and knowledge reasoning in mobile environments. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
