Displaying similar documents to “FSP and FLTL framework for specification and verification of middle-agents”

A belief revision approach for argumentation-based negotiation agents

Pablo Pilotti, Ana Casali, Carlos Chesñevar (2015)

International Journal of Applied Mathematics and Computer Science

Similarity:

Negotiation is an interaction that happens in multi-agent systems when agents have conflicting objectives and must look for an acceptable agreement. A typical negotiating situation involves two agents that cannot reach their goals by themselves because they do not have some resources they need or they do not know how to use them to reach their goals. Therefore, they must start a negotiation dialogue, taking also into account that they might have incomplete or wrong beliefs about the...

Usage of Agents in Document Management

Dragoslav Pešović, Milan Vidaković, Mirjana Ivanović, Zoran Budimac, Jovana Vidaković (2011)

Computer Science and Information Systems

Similarity:

Agent-oriented abstraction.

Jacques Calmet, Pierre Maret, Regine Endsuleit (2004)

RACSAM

Similarity:

We define an agent-oriented abstraction formalism devoted to generalized theories of abstraction that have been proposed in Artificial Intelligence. The model we propose extends the abstraction capabilities of the existing Agent-Oriented Programming paradigm. This short note reviews first the existing attempts to define abstraction in AI and in agent systems. Then, our model is introduced in terms of six definitions covering the concepts of agents, annotated knowledge, utility and society...

Self-adaptive air-sea simulation based on multi-sensors agentification

S. Peyruqueou, D. Capera, T. Médina, C. De Murcia (2010)

RAIRO - Operations Research

Similarity:

Combat Management System training uses simulation of an overall tactical situation. This involves the real-time management of numerous and diverse entities to keep the simulation scenario consistent in a highly dynamic environment. To address this difficult problem, we propose an adaptive multi-agent system in which each entity is considered as a smart sensor/effector mobile. The autonomy and the dynamic behaviour offered to each entity leads the simulation to self-adapt to inevitable...