Logic-based specification languages for intelligent software agents

Mascardi, Viviana; Martelli, Maurizio; Sterling, Leon

doi:10.1017/s1471068404002029

Cited by 25 publications

(12 citation statements)

References 85 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this case, the used language is of declarative type and the system specification will be expressed by a whole of properties using logic formulas. Temporal logics are examples of languages used by this approach for the expression of properties [47,50,54].…”

Section: Logic Approachmentioning

confidence: 99%

Rewriting Logic based Approach for the Formalization of Critical Systems based on Multi Agent System

Boucherit¹,

Khebaba²,

Belala³

2011

IJCA

View full text Add to dashboard Cite

The agent-oriented paradigm is an emerging technology, which has significant and growing interest, particularly through its ability to be used in the modeling of all types of systems and representation of knowledge. However, this potentiality should not hide the difficulties associated with them in the design and verification, which may cause the scientific credibility of multi-agent modeling field, especially for the case of embedded and critical systems. In this paper, we propose a new formal approach based on rewriting logic, in which we attempt to bridge the gap between agent based system analysis and its specification In addition, our approach includes a well-known and effective verification technique, model checking, and allows independent of the used formalism to verify an important number of properties deemed relevant on critical system based on agent paradigm. General TermsSoftware Engineering, Agent-Based System.

show abstract

Section: Logic Approachmentioning

confidence: 99%

Rewriting Logic based Approach for the Formalization of Critical Systems based on Multi Agent System

Boucherit¹,

Khebaba²,

Belala³

2011

IJCA

View full text Add to dashboard Cite

show abstract

“…Agent-oriented software engineers can choose from a substantial number of agent platforms [18,11,16,5]. Tools like JADE [8], TuCSoN [20], DESIRE [12], JaCaMo [10], all provide coordination mechanisms and communication infrastructures [11] but, in our opinion, they lack of abstractions that allow a clear and explicit modeling of interaction.…”

Section: Introductionmentioning

confidence: 99%

Programming JADE and Jason Agents Based on Social Relationships Using a Uniform Approach

Baldoni

Baroglio

Capuzzimati

2015

Communications in Computer and Information Science

View full text Add to dashboard Cite

Abstract. Interaction is an essential feature in multiagent systems. Design primitives are needed to explicitly model desired patterns. This work presents 2COMM as a framework for defining social relations among parties, represented by social commitments. Starting from the definition of interaction protocols, 2COMM allows to decouple interaction design from agent design. Currently, adapters were developed for allowing the use of 2COMM with the JADE and the JaCaMo platforms. We show how agents for the two platforms can be implemented by relying on a common programming schema.

show abstract

“…Agents represent stakeholders and act on their behalf, they are autonomous as far as the system allows them, always respecting the criteria and the preferences of the stakeholders they represent. Agentoriented software engineers can choose from a substantial number of agent platforms [Mascardi et al 2004;Bordini et al 2006;Fisher et al 2007;Baldoni et al 2010]. The choice is related to very different and heterogeneous factors, like: scope and purpose of the system; formal model the platform is based on; richness of the agent programming language, if devised; platform support, maintenance and update; (graphical) tools for supporting design and development; simplicity of integration with other (agent) programming languages.…”

Section: Introductionmentioning

confidence: 99%

A Commitment-Based Infrastructure for Programming Socio-Technical Systems

Baldoni

Baroglio

Capuzzimati

2014

ACM Trans. Internet Technol.

View full text Add to dashboard Cite

Socio-Technical Systems demand an evolution of computing into social computing, with a transition from an individualistic to a societal view. As such, they seem particularly suitable to realize multi-party, crossorganizational systems. Multi-Agent Systems are a natural candidate to realize Socio-Technical Systems. However, while Socio-Technical Systems envisage an explicit layer that contains the regulations that all parties must respect in their interaction, and thus preserve the agents' autonomy, current frameworks and platforms require to hard-code the coordination requirements inside the agents. We propose to explicitly represent the missing layer of Socio-Technical Systems in terms of social relationships among the involved parties, i.e. in terms of a set of normatively defined relationships among two or more parties, subject to social control by monitoring the observable behaviour. In our proposal, social relationships are resources, available to agents, who use them in their practical reasoning. Both agents and social relationships are first-class entities of the model. The work also describes 2COMM4JADE, a framework that realizes the proposal by extending the well-known JADE and CArtAgO. The impact of the approach on programming is explained both conceptually and with the help of an example.

show abstract

Logic-based specification languages for intelligent software agents

Cited by 25 publications

References 85 publications

Rewriting Logic based Approach for the Formalization of Critical Systems based on Multi Agent System

Rewriting Logic based Approach for the Formalization of Critical Systems based on Multi Agent System

Programming JADE and Jason Agents Based on Social Relationships Using a Uniform Approach

A Commitment-Based Infrastructure for Programming Socio-Technical Systems

Contact Info

Product

Resources

About