Cooperation Model of Multi-agent System Based on the Situation Calculus

Abstract

In multi-agent system, the Requirement/Service is a cooperation way that is simple, efficient, and wildly applied. Under the framework of Situation Calculus, the agents' belief and intention are formalized, and some new communication actions are introduced into the earlier ConGolog. Consequently, we propose a Requirement/Service cooperative model and semantics for multi-agent System based on the extended ConGolog. What's more, in terms of the model and semantics, we specify a case of the multi-agent system in the dynamic and incompletely known environment for achieving the cooperation based on reason about action.

Collective Operations as Building Blocks for Agent Cooperation

“…Still, ECM does not support the realization of cooperation from [7]. For instance, the requirement/service [6] model allows an agent to send request to another agent (service agent) and the service agent will serve the request. However, it is difficult to describe cooperation schemes with complex actions to synthesize the solution from sub-problem solutions since the cooperation here is restricted in the request and response actions.…”

Requirement analysis for autonomous systems and intelligent agents in future Danish electric power systems

“…• Different resources in a microgrid may be owned by different owners, thus making environments where the components have competing goals, while still serving the common goal of ensuring "security of supply" • Resources in a microgrid are of a heterogeneous nature • In a grid connected mode, all the resources in microgrid participate in the market, whereas in islanded mode microgrid have its own market managed by local microgrid controller • A microgrid has to be able to shift to (and from) islanded mode to grid-connected mode Considering this characterization, intelligent software agents have a very obvious case for application in microgrid control and operation. Intelligent agents have sophisticated cooperation mechanism (Jennings 1995;Liu et al 2006) which could help implement the required cooperation between different DGs in a microgrid. The adaptive nature of intelligent agents (Bernon et al 2003) can help to implement dynamic adaptability in microgrids e.g., from grid-connected to islanding mode.…”

A New Multiple Intelligent Agents Reasoning Model Based on Fluent Calculus

“…The request/server cooperation semantics will be described as the follow (The detail of the axiom described in reference [4]): SF(Request(Joe, Jane, Wait(Joe),s))≡ ∃ s1,s*.Do(Joe, Jane, Walk-toward(Jane),,s1) ∧s1<s*∧ SF(Promises(Jane, Joe, Wait(Joe)),s*) (…”