AgentSpeak(L): BDI agents speak out in a logical computable language

Rao, Anand S.

doi:10.1007/bfb0031845

Cited by 848 publications

(564 citation statements)

References 7 publications

Supporting

Mentioning

552

Contrasting

Unclassified

Order By: Relevance

“…The AgentSpeak(L) programming language was introduced in [26]. It is a natural extension of logic programming for the BDI agent architecture, and provides an elegant abstract framework for programming BDI agents.…”

Section: Jason Extension Of the Agentspeak Languagementioning

confidence: 99%

See 1 more Smart Citation

BDI Agent Programming in AgentSpeak Using Jason

Bordini

Hübner

2006

Lecture Notes in Computer Science

399

557

View full text Add to dashboard Cite

Abstract. This paper is based on the tutorial given as part of the tutorial programme of CLIMA-VI. The tutorial aimed at giving an overview of the various features available in Jason, a multi-agent systems development platform that is based on an interpreter for an extended version of AgentSpeak. The BDI architecture is the best known and most studied architecture for cognitive agents, and AgentSpeak is an elegant, logic-based programming language inspired by the BDI architecture.

show abstract

Section: Jason Extension Of the Agentspeak Languagementioning

confidence: 99%

“…However, in its original definition [26], AgentSpeak was just an abstract programming language. For these reasons, our effort in developing Jason was very much directed towards using AgentSpeak as the basis, but also providing various extensions that are required for the practical development of multi-agent systems.…”

Section: Introductionmentioning

confidence: 99%

BDI Agent Programming in AgentSpeak Using Jason

Bordini

Hübner

2006

Lecture Notes in Computer Science

399

557

View full text Add to dashboard Cite

show abstract

“…It is built on the top of three platforms, namely Jason [8] for programming agents, CArtAgO [9] for programming environments, and Moise [58] for programming organizations. More specifically, Jason is a platform for agent development based on the language AgentSpeak [59]. Here, an agent is specified by a set of beliefs, representing both the agent's current state and knowledge about the environment, a set of goals, and a set of plans which are courses of actions, triggered by events.…”

Section: Case Study: Accountability In the Jacamo Frameworkmentioning

confidence: 99%

Computational Accountability in MAS Organizations with ADOPT

et al. 2018

View full text Add to dashboard Cite

Abstract:This work studies how the notion of accountability can play a key role in the design and realization of distributed systems that are open and that involve autonomous agents that should harmonize their own goals with the organizational goals. The socio-technical systems that support the work inside human companies and organizations are examples of such systems. The approach that is proposed in order to pursue this purpose is set in the context of multiagent systems organizations, and relies on an explicit specification of relationships among the involved agents for capturing who is accountable to whom and for what. Such accountability relationships are created along with the agents' operations and interactions in a shared environment. In order to guarantee accountability as a design property of the system, a specific interaction protocol is suggested. Properties of this protocol are verified, and a case study is provided consisting of an actual implementation. Finally, we discuss the impact on real-world application domains and trace possible evolutions of the proposal.

show abstract

“…Here, speech acts are defined in terms of their effects; a request, for example, is any sequence of actions that achieves the specified effect in the mental state of the hearer. Rao [25], despite the title, is more nearly a Prolog implementation of BDI than a logical theory; in particular, his theory does not have an explicit representation of time. A major problem in developing a logic of planning based on BDI is that it is extremely difficult to formulate universally valid rules that relate the desires or goals of an agent to its actions.…”

Section: Related Workmentioning

confidence: 99%

A First-order Theory of Communication and Multi-agent Plans

Davis

Morgenstern

2005

Journal of Logic and Computation

View full text Add to dashboard Cite

This paper presents a theory expressed in first-order logic for describing and supporting inference about action, knowledge, planning, and communication, in an egalitarian multi-agent setting. The underlying ontology of the theory uses a situation-based temporal model and a possible-worlds model of knowledge. It supports plans and communications of a very general kind, both informative communications and requests. Communications may refer to states of the world or states of knowledge in the past, present, or future. We demonstrate that the theory is powerful enough to represent several interesting multi-agent planning problems and to justify their solutions. We have proven that the theory of knowledge, communication, and planning is consistent with a broad range of physical theories, despite the existence of a number of potential paradoxes.

show abstract

AgentSpeak(L): BDI agents speak out in a logical computable language

Cited by 848 publications

References 7 publications

BDI Agent Programming in AgentSpeak Using Jason

BDI Agent Programming in AgentSpeak Using Jason

Computational Accountability in MAS Organizations with ADOPT

A First-order Theory of Communication and Multi-agent Plans

Contact Info

Product

Resources

About