Open AccessBook
Programming Multi-Agent Systems in AgentSpeak using Jason
Reads0
Chats0
TLDR
The BDI Agent Model, a Computational Model of BDI Practical Reasoning, and Semantics of the BDI Modalities for AgentSpeak, a Reference Guide to Agent-Oriented Programming, are presented.Abstract:
Preface. 1 Introduction. 1.1 Autonomous Agents. 1.2 Characteristics of Agents. 1.3 Multi-Agent Systems. 1.4 Hello World! 2 The BDI Agent Model. 2.1 Agent-Oriented Programming. 2.2 Practical Reasoning. 2.3 A Computational Model of BDI Practical Reasoning. 2.4 The Procedural Reasoning System. 2.5 Agent Communication. 3 The Jason Agent Programming Language. 3.1 Beliefs. 3.2 Goals. 3.3 Plans. 3.4 Example: A Complete Agent Program. 3.5 Exercises. 4 Jason Interpreter. 4.1 The Reasoning Cycle. 4.2 Plan Failure. 4.3 Interpreter Configuration and Execution Modes. 4.4 Pre-Defined Plan Annotations. 4.5 Exercises. 5 Environments. 5.1 Support for Defining Simulated Environments. 5.2 Example: Running a System of Multiple Situated Agents. 5.3 Exercises. 6 Communication and Interaction. 6.1 Available Performatives. 6.2 Informal Semantics of Receiving Messages. 6.3 Example: Contract Net Protocol. 6.4 Exercises. 7 User-Defined Components. 7.1 Defining New Internal Actions. 7.2 Customising the Agent Class. 7.3 Customising the Overall Architecture. 7.4 Customising the Belief Base. 7.5 Pre-Processing Directives. 7.6 Exercises. 8 Advanced Goal-Based Programming. 8.1 BDI Programming. 8.2 Declarative (Achievement) Goal Patterns. 8.3 Commitment Strategy Patterns. 8.4 Other Useful Patterns. 8.5 Pre-Processing Directives for Plan Patterns. 9 Case Studies. 9.1 Case Study I: Gold Miners. 9.2 Case Study II: Electronic Bookstore. 10 Formal Semantics. 10.1 Semantic Rules. 10.2 Semantics of Message Exchange in a Multi-Agent System. 10.3 Semantic Rules for Receiving Messages. 10.4 Semantics of the BDI Modalities for AgentSpeak. 11 Conclusions. 11.1 Jason and Agent-Oriented Programming. 11.2 Ongoing Work and Related Research. 11.3 General Advice on Programming Style and Practice. A Reference Guide. A.1 EBNF for the Agent Language. A.2 EBNF for the Multi-Agent Systems Language. A.3 Standard Internal Actions. A.4 Pre-Defined Annotations. A.5 Pre-Processing Directives. A.6 Interpreter Configuration. Bibliography.read more
Citations
More filters
Journal ArticleDOI
Developing organised multiagent systems using the MOISE + model: programming issues at the system and agent levels
TL;DR: A set of computational tools is described that supports the development and the programming of multiagent systems and ensures that all agents will follow the organisational constraints.
Book ChapterDOI
Programming Rational Agents in GOAL
TL;DR: The formal semantics provides the basis for dening a verication framework for GOAL for verifying and reasoning about GOAL agents which is similar to some of the wellknown agent logics introduced in the literature.
Journal ArticleDOI
Model checking agent programming languages
TL;DR: This is the first comprehensive approach to the verification of programs developed using programming languages based on the BDI (belief-desire-intention) model of agency, and develops a specific layer of abstraction that maps the semantics of agent programs into the relevant model-checking framework.
Journal ArticleDOI
Environment programming in multi-agent systems: an artifact-based perspective
TL;DR: A concrete computational and programming model based on the artifact abstraction and implemented by the CArtAgO framework is described, which is meant to improve the modularity, extensibility and reusability of the MAS as a software system.
Survey of Agent Based Modelling and Simulation Tools
TL;DR: The most common uses of agent Based Modelling and Simulation are in social simulation and optimisation problems, such as traffic flow and supply chains, and this work will investigate other uses in computational science and engineering.