A rule based knowledge transaction model for mobile environments

  • Authors:

  • Jianwen Chen;Yan Zhang

  • Affiliations:

  • IBM Australia, Level 4, 20 Berry Street, North Sydney, NSW 2060, Australia and School of Computing & IT, University of Western Sydney, Penrith South DC, NSW 1797, Australia;School of Computing & IT, University of Western Sydney, Penrith South DC, NSW 1797, Australia

  • Venue:
  • Information Sciences: an International Journal
  • Year:
  • 2006

Quantified Score

Hi-index 0.07

Visualization

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.