SPLAW: A Computable Language for Agent-oriented Programming

Fan Xiaocong; X. U. Dianxiang; Hou Jianmin; Zheng Guoliang

doi:10.1145/609742.609751

SPLAW: A Computable Language for Agent-oriented Programming

Fan Xiaocong, X. U. Dianxiang, Hou Jianmin, Zheng Guoliang

School of Engineering (Behrend)

Research output: Contribution to journal › Article › peer-review

Abstract

Agent oriented programming (AOP), which is a special kind of object-oriented programming, has recently been discussed from several viewpoints. It can be worked out best for open systems and has the potential to become a very attractive technique in the future. In this paper, we describe a specification and programming language - SPLAW, for BDI agent. The syntax and operational semantics of SPLAW are presented, and by means of labeled transition system; the proof theory is also provided. SPLAW has two advantages. First, it is based on KQML, the standard inter-agent communication language, which makes it possible for agents written in SPLAW to interoperate with other agents obeying KQML. And second, it has the correspondent relationship between its operational semantics and proof theory. Owing to these, we hope that SPLAW will provide a feasible solution to bridge the gap between theory and practice.

Original language	English (US)
Pages (from-to)	61-69
Number of pages	9
Journal	SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
Volume	33
Issue number	1
DOIs	https://doi.org/10.1145/609742.609751
State	Published - Jan 1998

All Science Journal Classification (ASJC) codes

Software
Computer Graphics and Computer-Aided Design

Access to Document

10.1145/609742.609751

Cite this

@article{a5d8f259eab1496e8a9fb3f34344f840,

title = "SPLAW: A Computable Language for Agent-oriented Programming",

abstract = "Agent oriented programming (AOP), which is a special kind of object-oriented programming, has recently been discussed from several viewpoints. It can be worked out best for open systems and has the potential to become a very attractive technique in the future. In this paper, we describe a specification and programming language - SPLAW, for BDI agent. The syntax and operational semantics of SPLAW are presented, and by means of labeled transition system; the proof theory is also provided. SPLAW has two advantages. First, it is based on KQML, the standard inter-agent communication language, which makes it possible for agents written in SPLAW to interoperate with other agents obeying KQML. And second, it has the correspondent relationship between its operational semantics and proof theory. Owing to these, we hope that SPLAW will provide a feasible solution to bridge the gap between theory and practice.",

author = "Fan Xiaocong and Dianxiang, {X. U.} and Hou Jianmin and Zheng Guoliang",

year = "1998",

month = jan,

doi = "10.1145/609742.609751",

language = "English (US)",

volume = "33",

pages = "61--69",

journal = "SIGPLAN Notices (ACM Special Interest Group on Programming Languages)",

issn = "0362-1340",

publisher = "Association for Computing Machinery (ACM)",

number = "1",

}

TY - JOUR

T1 - SPLAW

T2 - A Computable Language for Agent-oriented Programming

AU - Xiaocong, Fan

AU - Dianxiang, X. U.

AU - Jianmin, Hou

AU - Guoliang, Zheng

PY - 1998/1

Y1 - 1998/1

N2 - Agent oriented programming (AOP), which is a special kind of object-oriented programming, has recently been discussed from several viewpoints. It can be worked out best for open systems and has the potential to become a very attractive technique in the future. In this paper, we describe a specification and programming language - SPLAW, for BDI agent. The syntax and operational semantics of SPLAW are presented, and by means of labeled transition system; the proof theory is also provided. SPLAW has two advantages. First, it is based on KQML, the standard inter-agent communication language, which makes it possible for agents written in SPLAW to interoperate with other agents obeying KQML. And second, it has the correspondent relationship between its operational semantics and proof theory. Owing to these, we hope that SPLAW will provide a feasible solution to bridge the gap between theory and practice.

AB - Agent oriented programming (AOP), which is a special kind of object-oriented programming, has recently been discussed from several viewpoints. It can be worked out best for open systems and has the potential to become a very attractive technique in the future. In this paper, we describe a specification and programming language - SPLAW, for BDI agent. The syntax and operational semantics of SPLAW are presented, and by means of labeled transition system; the proof theory is also provided. SPLAW has two advantages. First, it is based on KQML, the standard inter-agent communication language, which makes it possible for agents written in SPLAW to interoperate with other agents obeying KQML. And second, it has the correspondent relationship between its operational semantics and proof theory. Owing to these, we hope that SPLAW will provide a feasible solution to bridge the gap between theory and practice.

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

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

U2 - 10.1145/609742.609751

DO - 10.1145/609742.609751

M3 - Article

AN - SCOPUS:0347031118

SN - 0362-1340

VL - 33

SP - 61

EP - 69

JO - SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

JF - SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

IS - 1

ER -

SPLAW: A Computable Language for Agent-oriented Programming

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this