A rule based knowledge transaction model for mobile environments

Jianwen Chen; Yan Zhang

doi:10.1016/j.ins.2005.11.006

A rule based knowledge transaction model for mobile environments

Jianwen Chen, Yan Zhang

Research output: Contribution to journal › Article

2 Citations (Scopus)

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. Crown

Original language	English
Pages (from-to)	2642-2672
Number of pages	31
Journal	Information Sciences
Volume	176
Issue number	18
DOIs	https://doi.org/10.1016/j.ins.2005.11.006
Publication status	Published - 22 Sept 2006

Keywords

knowledge transaction model
logic programming
mobile environments
Logic programming
Knowledge transaction model
Mobile environments

Access to Document

10.1016/j.ins.2005.11.006

Cite this

@article{237dc74800b3404c833e92808563afa7,

title = "A rule based knowledge transaction model for mobile environments",

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. Crown",

keywords = "knowledge transaction model, logic programming, mobile environments, Logic programming, Knowledge transaction model, Mobile environments",

author = "Jianwen Chen and Yan Zhang",

year = "2006",

month = sep,

day = "22",

doi = "10.1016/j.ins.2005.11.006",

language = "English",

volume = "176",

pages = "2642--2672",

journal = "Information Sciences",

issn = "0020-0255",

publisher = "Elsevier",

number = "18",

}

TY - JOUR

T1 - A rule based knowledge transaction model for mobile environments

AU - Chen, Jianwen

AU - Zhang, Yan

PY - 2006/9/22

Y1 - 2006/9/22

N2 - 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

AB - 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

KW - knowledge transaction model

KW - logic programming

KW - mobile environments

KW - Logic programming

KW - Knowledge transaction model

KW - Mobile environments

UR - http://handle.uws.edu.au:8081/1959.7/34580

UR - http://www.scopus.com/inward/record.url?scp=33745331806&partnerID=8YFLogxK

U2 - 10.1016/j.ins.2005.11.006

DO - 10.1016/j.ins.2005.11.006

M3 - Article

SN - 0020-0255

VL - 176

SP - 2642

EP - 2672

JO - Information Sciences

JF - Information Sciences

IS - 18

ER -

A rule based knowledge transaction model for mobile environments

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this