A rule based knowledge transaction model for mobile environments

被引：1
|
作者：
Chen, Jianwen
Zhang, Yan
机构：
[1] IBM Australia, Sydney, NSW 2060, Australia
[2] Univ Western Sydney, Sch Comp & IT, Penrith, NSW 1797, Australia
来源：
INFORMATION SCIENCES | 2006年 / 176卷 / 18期
关键词：
knowledge transaction model; mobile environments; logic programming;
D O I：
10.1016/j.ins.2005.11.006
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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. Crown Copyright (C) 2005 Published by Elsevier Inc. All rights reserved.
引用
收藏
页码：2642 / 2672
页数：31
相关论文
共 50 条
  • [1] Transaction pseudonyms in mobile environments
    Jorns, Oliver
    Jung, Oliver
    Quirchmayr, Gerald
    [J]. JOURNAL IN COMPUTER VIROLOGY AND HACKING TECHNIQUES, 2007, 3 (02): : 185 - 194
  • [2] Transaction pseudonyms in mobile environments
    Oliver Jorns
    Oliver Jung
    Gerald Quirchmayr
    [J]. Journal in Computer Virology, 2007, 3 (2): : 185 - 194
  • [3] A probability-based approach of transaction consistency in mobile environments
    Lin, HZ
    Chen, C
    Zhou, B
    [J]. 2001 INTERNATIONAL CONFERENCE ON COMPUTER NETWORKS AND MOBILE COMPUTING, PROCEEDINGS, 2001, : 505 - 512
  • [4] An agent-based approach of transaction processing in mobile environments
    Lin, HZ
    Chen, C
    [J]. COMPUTER SCIENCE AND TECHNOLOGY IN NEW CENTURY, 2001, : 299 - 303
  • [5] Transaction service discovery in mobile environments
    Eidsvik, Arne Ketil
    Karlsen, Randi
    Blair, Gordon
    Grace, Paul
    [J]. 20TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 2, PROCEEDINGS, 2006, : 224 - +
  • [6] Adaptable transaction consistency for mobile environments
    Rakotonirainy, A
    [J]. NINTH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 1998, : 440 - 445
  • [7] A distributed transaction model based on mobile agents
    Silva, FMD
    Krause, S
    [J]. MOBILE AGENTS, 1997, 1219 : 198 - 209
  • [8] A progressive reprocessing transaction model for updating spatial data in mobile computing environments
    Kim, D
    Hong, B
    [J]. WEB AND WIRELESS GEOGRAPHICAL INFORMATION SYSTEMS, 2005, 3428 : 64 - 80
  • [9] Broadcast transaction scheduling in mobile computing environments
    Wu, S
    Lee, VCS
    Lam, KW
    [J]. MDM 2002: THIRD INTERNATIONAL CONFERENCE ON MOBILE DATA MANAGEMENT, PROCEEDINGS, 2002, : 161 - 162
  • [10] Model Driven Development of Mobile Applications Using Drools Knowledge-based Rule
    Thu, Ei Ei
    Nwe, Nwe
    [J]. 2017 IEEE/ACIS 15TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH, MANAGEMENT AND APPLICATIONS (SERA), 2017, : 179 - 185
12345