SPLAW - A COMPUTABLE LANGUAGE FOR AGENT-ORIENTED PROGRAMMING

Agent oriented programming (AOP), which is a special kind of object-or iented programming, has recently been discussed from several viewpoint s. 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 d escribe a specification and programming language - SPLAW, for BDI agen t. 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 i nter-agent communication language, which makes it possible for agents written in SPLAW to interoperate with other agents obeying KQML. And s econd, it has the correspondent relationship between its operational s emantics and proof theory. Owing to these, we hope that SPLAW will pro vide a feasible solution to bridge the gap between theory and practice .