| Abstract: |  The main aim of this diploma thesis is to perform a formal analysis of expressivity between two agent-oriented programming languages: AgentSpeak(L) and Behavioural state machines (BSM). Both languages incorporate different philosophies. The former works on the basis of the Belief-Desire-Intention paradigm, while the latter provides high level of modularity, and does not commit to any concrete technology.
In this work, I propose the compiling function capable of translating the syntactic structures and semantic rules of AgentSpeak(L) into the formalism of BSM such that an agent and it's translated equivalent can simulate each other.
The proof based on the notion of translation bisimulation shows that BSM has at least the same expressive power as AgentSpeak(L).
|
|---|