کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
396275 | 666366 | 2006 | 31 صفحه PDF | دانلود رایگان |
![عکس صفحه اول مقاله: A rule based knowledge transaction model for mobile environments A rule based knowledge transaction model for mobile environments](/preview/png/396275.png)
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.
Journal: Information Sciences - Volume 176, Issue 18, 22 September 2006, Pages 2642–2672