Mobile agents for distributed logic programming

Tzone-I Wang, Chien Chao Wang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

This paper describes the use of mobile agent technologies in building a framework for supporting distributed logic programming. The distinctive idea is to replace the distributed unification mechanism in most distributed logic programming languages with the mobility and execution locality of mobile agents. Mobile agents, migrating among logic server hosts, accomplish distributed deductions by asserting program clauses and queries into the server triggering inferences, and retrieving results. The mobile agent framework is designed to integrate a mobile agent system and necessary logic servers. One of the distinguishing features of this framework is that each logic server retains its own autonomy. Another notable characteristic is the clauses exchange ability among distributed logic servers that may make many operations required by distributed knowledge processing easier. In a prototypical implementation, a Prolog system on a host will serve as a logic server and, in the mean time, as a standalone logic programming system in the host.

Original languageEnglish
Title of host publicationProceedings - 9th International Conference on Parallel and Distributed Systems, ICPADS 2002
PublisherIEEE Computer Society
Pages177-182
Number of pages6
ISBN (Electronic)0769517609
DOIs
Publication statusPublished - 2002 Jan 1
Event9th International Conference on Parallel and Distributed Systems, ICPADS 2002 - Taiwan, China
Duration: 2002 Dec 172002 Dec 20

Publication series

NameProceedings of the International Conference on Parallel and Distributed Systems - ICPADS
Volume2002-January
ISSN (Print)1521-9097

Other

Other9th International Conference on Parallel and Distributed Systems, ICPADS 2002
CountryChina
CityTaiwan
Period02-12-1702-12-20

Fingerprint

Logic programming
Mobile agents
Servers
Computer programming languages
Processing

All Science Journal Classification (ASJC) codes

  • Hardware and Architecture

Cite this

Wang, T-I., & Wang, C. C. (2002). Mobile agents for distributed logic programming. In Proceedings - 9th International Conference on Parallel and Distributed Systems, ICPADS 2002 (pp. 177-182). [1183396] (Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS; Vol. 2002-January). IEEE Computer Society. https://doi.org/10.1109/ICPADS.2002.1183396
Wang, Tzone-I ; Wang, Chien Chao. / Mobile agents for distributed logic programming. Proceedings - 9th International Conference on Parallel and Distributed Systems, ICPADS 2002. IEEE Computer Society, 2002. pp. 177-182 (Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS).
@inproceedings{7564e54a75ec4cd7b68c9b27fbf9498a,
title = "Mobile agents for distributed logic programming",
abstract = "This paper describes the use of mobile agent technologies in building a framework for supporting distributed logic programming. The distinctive idea is to replace the distributed unification mechanism in most distributed logic programming languages with the mobility and execution locality of mobile agents. Mobile agents, migrating among logic server hosts, accomplish distributed deductions by asserting program clauses and queries into the server triggering inferences, and retrieving results. The mobile agent framework is designed to integrate a mobile agent system and necessary logic servers. One of the distinguishing features of this framework is that each logic server retains its own autonomy. Another notable characteristic is the clauses exchange ability among distributed logic servers that may make many operations required by distributed knowledge processing easier. In a prototypical implementation, a Prolog system on a host will serve as a logic server and, in the mean time, as a standalone logic programming system in the host.",
author = "Tzone-I Wang and Wang, {Chien Chao}",
year = "2002",
month = "1",
day = "1",
doi = "10.1109/ICPADS.2002.1183396",
language = "English",
series = "Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS",
publisher = "IEEE Computer Society",
pages = "177--182",
booktitle = "Proceedings - 9th International Conference on Parallel and Distributed Systems, ICPADS 2002",
address = "United States",

}

Wang, T-I & Wang, CC 2002, Mobile agents for distributed logic programming. in Proceedings - 9th International Conference on Parallel and Distributed Systems, ICPADS 2002., 1183396, Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS, vol. 2002-January, IEEE Computer Society, pp. 177-182, 9th International Conference on Parallel and Distributed Systems, ICPADS 2002, Taiwan, China, 02-12-17. https://doi.org/10.1109/ICPADS.2002.1183396

Mobile agents for distributed logic programming. / Wang, Tzone-I; Wang, Chien Chao.

Proceedings - 9th International Conference on Parallel and Distributed Systems, ICPADS 2002. IEEE Computer Society, 2002. p. 177-182 1183396 (Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS; Vol. 2002-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Mobile agents for distributed logic programming

AU - Wang, Tzone-I

AU - Wang, Chien Chao

PY - 2002/1/1

Y1 - 2002/1/1

N2 - This paper describes the use of mobile agent technologies in building a framework for supporting distributed logic programming. The distinctive idea is to replace the distributed unification mechanism in most distributed logic programming languages with the mobility and execution locality of mobile agents. Mobile agents, migrating among logic server hosts, accomplish distributed deductions by asserting program clauses and queries into the server triggering inferences, and retrieving results. The mobile agent framework is designed to integrate a mobile agent system and necessary logic servers. One of the distinguishing features of this framework is that each logic server retains its own autonomy. Another notable characteristic is the clauses exchange ability among distributed logic servers that may make many operations required by distributed knowledge processing easier. In a prototypical implementation, a Prolog system on a host will serve as a logic server and, in the mean time, as a standalone logic programming system in the host.

AB - This paper describes the use of mobile agent technologies in building a framework for supporting distributed logic programming. The distinctive idea is to replace the distributed unification mechanism in most distributed logic programming languages with the mobility and execution locality of mobile agents. Mobile agents, migrating among logic server hosts, accomplish distributed deductions by asserting program clauses and queries into the server triggering inferences, and retrieving results. The mobile agent framework is designed to integrate a mobile agent system and necessary logic servers. One of the distinguishing features of this framework is that each logic server retains its own autonomy. Another notable characteristic is the clauses exchange ability among distributed logic servers that may make many operations required by distributed knowledge processing easier. In a prototypical implementation, a Prolog system on a host will serve as a logic server and, in the mean time, as a standalone logic programming system in the host.

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

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

U2 - 10.1109/ICPADS.2002.1183396

DO - 10.1109/ICPADS.2002.1183396

M3 - Conference contribution

T3 - Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS

SP - 177

EP - 182

BT - Proceedings - 9th International Conference on Parallel and Distributed Systems, ICPADS 2002

PB - IEEE Computer Society

ER -

Wang T-I, Wang CC. Mobile agents for distributed logic programming. In Proceedings - 9th International Conference on Parallel and Distributed Systems, ICPADS 2002. IEEE Computer Society. 2002. p. 177-182. 1183396. (Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS). https://doi.org/10.1109/ICPADS.2002.1183396