SPLAW: a computable language for agent-oriented programming

Authors:
Fan Xiaocong;Xu Dianxiang;Hou Jianmin;Zheng Guoliang
Affiliations:
Nanjing University, NanJing, P. R. China;Nanjing University, NanJing, P. R. China;Nanjing University, NanJing, P. R. China;Nanjing University, NanJing, P. R. China
Venue:
ACM SIGPLAN Notices
Year:
1998

Citing 5
Cited 0

Intention is choice with commitment

Artificial Intelligence
Agent-oriented programming

Artificial Intelligence
The PLACA agent programming language

ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Belief revision

Handbook of logic in artificial intelligence and logic programming (Vol. 4)
AgentSpeak(L): BDI agents speak out in a logical computable language

MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away

Quantified Score

Hi-index	0.00

Visualization

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.