The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Code patterns for agent-oriented programming
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Exploring Heuristic Action Selection in Agent Programming
Programming Multi-Agent Systems
Jazzyk: A Programming Language for Hybrid Agents with Heterogeneous Knowledge Representations
Programming Multi-Agent Systems
| Hi-index | 0.00 |
Development of embodied cognitive agents in agent oriented programming languages naturally leads to writing underspecified programs. The semantics of BDI inspired rule based agent programming languages leaves room for various alternatives as to how to implement the action selection mechanism of an agent (paraphrased from [5]). To facilitate encoding of heuristics for the non-deterministic action selection mechanism, I introduce a probabilistic extension of the framework of Behavioural State Machines and its associated programming language interpreter Jazzyk. The language rules coupling a triggering condition and an applicable behaviour are extended with labels, thus allowing finer grained control of the behaviour selection mechanism of the underlying interpreter. In consequence, the agent program not only prescribes a set of mental state transitions enabled in a given context, but also specifies a probability distribution over them.