the development of multi-agent programs requires debugging tools and techniques to find and resolve possible defects in such programs. this paper focuses on BDI-based multi-agent programs, discusses some existing debu...
详细信息
ISBN:
(纸本)9783642148422
the development of multi-agent programs requires debugging tools and techniques to find and resolve possible defects in such programs. this paper focuses on BDI-based multi-agent programs, discusses some existing debugging approaches that are developed for specific BDI-based multi-agentprogramming languages, and proposes a generic and systematic approach for debugging BDI-based multi-agent programs. the proposal consists of an assertion language to specify cognitive and temporal behavior of multi-agent programs and a set of debugging tools. the assertions can be assigned to the debugging tools which will be activated as soon as the execution of a multi-agent program satisfies the assertion.
We present a novel execution environment for multi-agentsystems building on concepts from cloud computing and peer-to-peer networks. the novel environment can provide the computing power of a cloud for multi-agent sy...
详细信息
agent-oriented programming languages have gone a long way in the level of sophistication offered to programmers, and there has also been much progress in tools to support multi-agentsystems development using such lan...
详细信息
ISBN:
(纸本)9783540775638
agent-oriented programming languages have gone a long way in the level of sophistication offered to programmers, and there has also been much progress in tools to support multi-agentsystems development using such languages. However, much work is still required in mechanisms that can reduce the burden, typically placed on programmers, of ensuring that agents behave rationally, hence being effective and as efficient as possible. One such mechanisms is reasoning about declarative goals, which is increasingly appearing in the agents literature;it allows agents to make better use of resources, to avoid plans hindering the execution of other plans, and to be able to take advantage of opportunities for reducing the number of plans that have to be executed to achieve certain combinations of goals. In this paper, we introduce a Petri-net based approach to such reasoning, and we report on experimental results showing that this technique can obtain comparable improvements on an agent's behaviour to other existing approaches (our experiments do not yet cover reasoning about resource usage). Our long-term goal is to provide a number of alternative approaches for such reasoning, evaluate and compare their performances under different configurations, and incorporate them into interpreters for agent-oriented programming languages in such a way that the most appropriate approach is used at given circumstances.
Modal logic programming is one of appropriate approaches to deal with reasoning about epistemic states of agents. We specify here the least model semantics, the fixpoint semantics, and an SLD-resolution calculus for m...
详细信息
ISBN:
(纸本)3540339965
Modal logic programming is one of appropriate approaches to deal with reasoning about epistemic states of agents. We specify here the least model semantics, the fixpoint semantics, and an SLD-resolution calculus for modal logic programs in the multimodal logic KD4I(g)5(a), which is intended for reasoning about belief and common belief of agents. We prove that the presented SLD-resolution calculus is sound and complete. We also present a formalization of the wise men puzzle using a modal logic program in KD4I(g)5(a). this shows that it is worth to study modal logic programming for multi-agentsystems.
the proceedings contain 13 papers from the Computational Logic in multi-agentsystems - 4thinternationalworkshop, CLIMA IV. the topics discussed include: distributed algorithms for dynamic survivability of multiagen...
详细信息
the proceedings contain 13 papers from the Computational Logic in multi-agentsystems - 4thinternationalworkshop, CLIMA IV. the topics discussed include: distributed algorithms for dynamic survivability of multiagentsystems;programming groups of rational agents;an abductive framework for information exchange in multi-agentsystems;fault tolerant and fixed scalable structure of middle-agents;symbolic negotiation with linear logic;planning experiments in the DALI logic programming language;revising knowledge in multi-agentsystems using revision programming with preferences;and a new framework for knowledge revision of abductive agents through their interaction.
In the paper we study the dynamics of roles played by agents in multiagentsystems. We capture role dynamics in terms of four operations performed by agents: 'enactment', 'deactment', 'activate'...
详细信息
OpenMP has been designed as a programming model for taking advantage of multi-core architecture to do parallel programming, in this paper we present a new platform for multi-core hard real time system, by getting the ...
详细信息
OpenMP has been designed as a programming model for taking advantage of multi-core architecture to do parallel programming, in this paper we present a new platform for multi-core hard real time system, by getting the advantage of OpenMP parallel programming to design OpenMP unit in hard real time system to be alternative for the GPU in free GPU systems;where this platform divided into three parts;first: clustering the multi-core-shared resources, second;constructing the OpenMP unit from the available cores, and third;designing the mechanism which govern the OpenMP unit with whole cores and shared resources. the performance of this platform compared it with classical multi-cores platform with MPCP locking protocol to support this protocol by the new design.
A multitude of agent-oriented software engineering frameworks exist, most of which are developed by the academic multi-agentsystems community. However, these frameworks often impose programming paradigms on their use...
详细信息
ISBN:
(纸本)9783030514174;9783030514167
A multitude of agent-oriented software engineering frameworks exist, most of which are developed by the academic multi-agentsystems community. However, these frameworks often impose programming paradigms on their users that are challenging to learn for engineers who are used to modern high-level programming languages such as JavaScript and Python. To show how the adoption of agent-oriented programming by the software engineering mainstream can be facilitated, we provide a lean JavaScript library prototype for implementing reasoning-loop agents. the library focuses on core agentprogramming concepts and refrains from imposing further restrictions on the programming approach. To illustrate its usefulness, we show how the library can be applied to multi-agentsystems simulations on the web, deployed to cloud-hosted function-as-a-service environments, and embedded in Python-based data science tools.
Although the role of environment in designing and engineering multi-agentsystems (MAS) has been largely acknowledged and explored in literature, no formal model has been developed so far to rigorously define the main...
详细信息
ISBN:
(纸本)9783642148422
Although the role of environment in designing and engineering multi-agentsystems (MAS) has been largely acknowledged and explored in literature, no formal model has been developed so far to rigorously define the main features of environment in the context of MAS programming, in particular to be integrated and exploited with existing agentprogramming languages/frameworks and related formalisations. Accordingly, in this paper we present a formalisation of a general-purpose model for environment programming, based on the notion of artifact as introduced in the A&A meta-model and implemented by the CArtAgO framework. Although based on the A&A meta-model, we argue that the model can be useful to understand and analyse aspects that are important for environment programming in general.
this paper describes AbIMA, an agent-based intelligent mobile assistant for supporting users prior to and during the execution of their tasks. the agent is based on the well-known agentSpeak(L) agent architecture and ...
详细信息
ISBN:
(纸本)3540221271
this paper describes AbIMA, an agent-based intelligent mobile assistant for supporting users prior to and during the execution of their tasks. the agent is based on the well-known agentSpeak(L) agent architecture and programming language, which provides explicit representations of agents' beliefs, desires and intentions (BDI). AbIMA is implemented using Java 2 Mobile Edition and is tested on a hand-held computer. We also provide conceptual foundations and discuss various challenges relating to the use of cognitive agent architectures for intelligent mobile user support.
暂无评论