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 条
  • [41] Knowledge Representation and Management in Indoor Mobile Environments
    Afyouni, Imad
    Ray, Cyril
    Claramunt, Christophe
    ERCIM NEWS, 2013, (93): : 39 - 40
  • [42] A locking model for mobile databases in mobile environments
    Le, HN
    Nygård, M
    Ramampiaro, H
    Proceedings of the IASTED International Conference on Databases and Applications, 2004, : 49 - 55
  • [43] Geometrically based statistical channel model for macrocellular mobile environments
    Petrus, P
    Reed, JH
    Rappaport, TS
    IEEE GLOBECOM 1996 - CONFERENCE RECORD, VOLS 1-3: COMMUNICATIONS: THE KEY TO GLOBAL PROSPERITY, 1996, : 1197 - 1201
  • [44] Attribute-based authentication model for dynamic mobile environments
    Covington, Michael J.
    Sastry, Manoj R.
    Manohar, Deepak J.
    SECURITY IN PERVASIVE COMPUTING, PROCEEDINGS, 2006, 3934 : 227 - 242
  • [45] A transaction processing model for the mobile data access system
    Segun, K
    Hurson, AR
    Spink, A
    PARALLEL COMPUTING TECHNOLOGIES, 2001, 2127 : 112 - 127
  • [46] A Transaction Model to Improve Data Availability in Mobile Computing
    Sanjay Kumar Madria
    Bharat Bhargava
    Distributed and Parallel Databases, 2001, 10 : 127 - 160
  • [47] Mobile agent model for transaction processing on distributed objects
    Kaneda, T
    Shiraishi, M
    Enokido, T
    Takizawa, M
    18TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 1 (LONG PAPERS), PROCEEDINGS, 2004, : 506 - 511
  • [48] Security Management Model for Mobile Databases Transaction Management
    Abdul-Mehdi, Ziyad. T.
    Mahmod, Ramlan
    2008 3RD INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATION TECHNOLOGIES: FROM THEORY TO APPLICATIONS, VOLS 1-5, 2008, : 1257 - +
  • [49] A Study of Using Mobile Agent for the Transaction Trust Model
    Chang, Hung-Teng
    Chen, Pin-Chang
    Lo, Chih-Yao
    Chen, Syuan-Kang
    2012 THIRD INTERNATIONAL CONFERENCE ON THEORETICAL AND MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE (ICTMF 2012), 2013, 38 : 335 - 341
  • [50] Mobile agent model for transaction processing on distributed objects
    Komiya, T
    Enokido, T
    Takizawa, M
    INFORMATION SCIENCES, 2003, 154 (1-2) : 23 - 38
12345