SPLAW: A Computable Language for Agent-oriented Programming

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

Research output: Contribution to journalArticle

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 languageEnglish (US)
Pages (from-to)61-69
Number of pages9
JournalSIGPLAN Notices (ACM Special Interest Group on Programming Languages)
Volume33
Issue number1
Publication statusPublished - Jan 1 1998

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Graphics and Computer-Aided Design

Cite this

Xiaocong, F., Dianxiang, X. U., Jianmin, H., & Guoliang, Z. (1998). SPLAW: A Computable Language for Agent-oriented Programming. SIGPLAN Notices (ACM Special Interest Group on Programming Languages), 33(1), 61-69.