scholarly journals BDI Agent Programming in AgentSpeak Using Jason

2006 ◽  
pp. 143-164 ◽  
Author(s):  
Rafael H. Bordini ◽  
Jomi F. Hübner
Keyword(s):  
Agent Programming ◽  
Bdi Agent

scholarly journals BDI Agent Architectures: A Survey

2020 ◽  
Author(s):  
Lavindra de Silva ◽  
Felipe Meneguzzi ◽  
Brian Logan
Keyword(s):  
Systematic Review ◽  
Software Engineering ◽  
Programming Languages ◽  
Agent Architectures ◽  
Agent Oriented Software Engineering ◽  
Agent Programming ◽  
Agent Programming Languages ◽  
Trade Offs ◽  
Bdi Agent ◽  
Bdi Architecture

The BDI model forms the basis of much of the research on symbolic models of agency and agent-oriented software engineering. While many variants of the basic BDI model have been proposed in the literature, there has been no systematic review of research on BDI agent architectures in over 10 years. In this paper, we survey the main approaches to each component of the BDI architecture, how these have been realised in agent programming languages, and discuss the trade-offs inherent in each approach.

Integrating Semantic Web and Software Agents

2012 ◽  
pp. 82-99
Author(s):  
Yiwei Gong ◽  
Sietse Overbeek ◽  
Marijn Janssen
Keyword(s):  
Semantic Web ◽  
Intelligent Agents ◽  
Software Agents ◽  
Architectural Style ◽  
Bdi Agents ◽  
Agent Programming ◽  
Bdi Agent ◽  
Integration Architecture ◽  
Two Systems ◽  
Interchange Format

Software agents and rules are both used for creating flexibility. Exchanging rules between Semantic Web and agents can ensure consistency in rules and support easy updating and changing of rules. The Rule Interchange Format (RIF) is a new W3C recommendation Semantic Web standard for exchanging rules among disparate systems. Yet, the contribution of RIF in rules exchange between Semantic Web and software agents is unclear. The BDI architectural style is regarded as the predominant approach for the implementation of intelligent agents. This paper proposes a development for integrating RIF and BDI agents to enhance agent reasoning capabilities. This approach consists of an integration architecture and equivalence principles for rule translation. The equivalence principles are demonstrated using examples. The results show that the approach allows the integration of RIF with BDI agent programming and realize the translation between the two systems.

Integrating Semantic Web and Software Agents

2011 ◽  
Vol 2 (1) ◽  
pp. 60-76 ◽  
Author(s):  
Yiwei Gong ◽  
Sietse Overbeek ◽  
Marijn Janssen
Keyword(s):  
Semantic Web ◽  
Intelligent Agents ◽  
Software Agents ◽  
Architectural Style ◽  
Bdi Agents ◽  
Agent Programming ◽  
Bdi Agent ◽  
Integration Architecture ◽  
Two Systems ◽  
Interchange Format

Software agents and rules are both used for creating flexibility. Exchanging rules between Semantic Web and agents can ensure consistency in rules and support easy updating and changing of rules. The Rule Interchange Format (RIF) is a new W3C recommendation Semantic Web standard for exchanging rules among disparate systems. Yet, the contribution of RIF in rules exchange between Semantic Web and software agents is unclear. The BDI architectural style is regarded as the predominant approach for the implementation of intelligent agents. This paper proposes a development for integrating RIF and BDI agents to enhance agent reasoning capabilities. This approach consists of an integration architecture and equivalence principles for rule translation. The equivalence principles are demonstrated using examples. The results show that the approach allows the integration of RIF with BDI agent programming and realize the translation between the two systems.

scholarly journals An Operational Semantics for a Fragment of PRS

2018 ◽  
Author(s):  
Lavindra de Silva ◽  
Felipe Meneguzzi ◽  
Brian Logan
Keyword(s):  
Programming Languages ◽  
Formal Semantics ◽  
Operational Semantics ◽  
Expressive Power ◽  
Reasoning System ◽  
Agent Programming ◽  
Agent Programming Languages ◽  
Bdi Agent

The Procedural Reasoning System (PRS) is arguably the first implementation of the Belief--Desire--Intention (BDI) approach to agent programming. PRS remains extremely influential, directly or indirectly inspiring the development of subsequent BDI agent programming languages. However, perhaps surprisingly given its centrality in the BDI paradigm, PRS lacks a formal operational semantics, making it difficult to determine its expressive power relative to other agent programming languages. This paper takes a first step towards closing this gap, by giving a formal semantics for a significant fragment of PRS. We prove key properties of the semantics relating to PRS-specific programming constructs, and show that even the fragment of PRS we consider is strictly more expressive than the plan constructs found in typical BDI languages.

Integrating Semantic Web and Software Agents

2013 ◽  
pp. 102-119
Author(s):  
Yiwei Gong ◽  
Sietse Overbeek ◽  
Marijn Janssen
Keyword(s):  
Semantic Web ◽  
Intelligent Agents ◽  
Software Agents ◽  
Architectural Style ◽  
Bdi Agents ◽  
Agent Programming ◽  
Bdi Agent ◽  
Integration Architecture ◽  
Two Systems ◽  
Interchange Format

Software agents and rules are both used for creating flexibility. Exchanging rules between Semantic Web and agents can ensure consistency in rules and support easy updating and changing of rules. The Rule Interchange Format (RIF) is a new W3C recommendation Semantic Web standard for exchanging rules among disparate systems. Yet, the contribution of RIF in rules exchange between Semantic Web and software agents is unclear. The BDI architectural style is regarded as the predominant approach for the implementation of intelligent agents. This paper proposes a development for integrating RIF and BDI agents to enhance agent reasoning capabilities. This approach consists of an integration architecture and equivalence principles for rule translation. The equivalence principles are demonstrated using examples. The results show that the approach allows the integration of RIF with BDI agent programming and realize the translation between the two systems.

scholarly journals An Operational Semantics for True Concurrency in BDI Agent Systems

2020 ◽  
Vol 34 (05) ◽  
pp. 7119-7126
Author(s):  
Lavindra De Silva
Keyword(s):  
Programming Languages ◽  
Operational Semantics ◽  
Sequential Action ◽  
True Concurrency ◽  
Agent Systems ◽  
The Past ◽  
Agent Programming ◽  
Agent Programming Languages ◽  
Bdi Agent ◽  
Nondeterministic Choice

Agent programming languages have proved useful for formally modelling implemented systems such as PRS and JACK, and for reasoning about their behaviour. Over the past decades, many agent programming languages and extensions have been developed. A key feature in some of them is their support for the specification of ‘concurrent’ actions and programs. However, their notion of concurrency is still limited, as it amounts to a nondeterministic choice between (sequential) action interleavings. Thus, the notion does not represent ‘true concurrency’, which can more naturally exploit multi-core computers and multi-robot manufacturing cells. This paper provides a true concurrency operational semantics for a BDI agent programming language, allowing actions to overlap in execution. We prove key properties of the semantics, relating to true concurrency and to its link with interleaving.

Sign in / Sign up

Export Citation Format

Share Document