A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Desire: Modelling Multi-Agent Systems in a Compositional Formal Framework
1997
International Journal of Cooperative Information Systems
Preserved Fulltext
in agent systems. ...
For the application domain addressed in this paper, an operational multi-agent system which manages an electricity transportation network for a Spanish electricity utility, a comprehensible specification ...
Below a formal compositional framework for modelling multi-agent tasks is introduced, in which (1) a task (de)composition, (2) information exchange, (3) sequencing of (sub)tasks, (4) subtask delegation ...
doi:10.1142/s0218843097000069
fatcat:oyrpvbu5njg3hhsgh5j5ryaibi
Argumentation Based Resolution of Conflicts between Desires and Normative Goals
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
However, individual agent goals (desire) may conflict with system norms. ...
We provide an example instantiation of the framework based on a logic programming formalism. ...
Acknowledgements The research described in this paper is partly supported by the European Commission Framework 6 funded project CONTRACT (INFSO-IST-034418). ...
doi:10.1007/978-3-642-00207-6_2
fatcat:2wx74a6oizdgzif2jdif3yp6z4
Beliefs, obligations, intentions, and desires as components in an agent architecture
2005
International Journal of Intelligent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
We study how to break down an agent specification into a specification of individual components and a specification of their coordination. ...
In this paper we discuss how cognitive attitudes like beliefs, obligations, intentions and desires can be represented as components with input/output functionality. ...
Acknowledgment Thanks to Zhisheng Huang, Joris Hulstijn and Jan Treur for discussions on the issues discussed in this paper. ...
doi:10.1002/int.20098
fatcat:i46oxrfip5eotdrskdazihoafa
Coordinating the Crowd: Inducing Desirable Equilibria in Non-Cooperative Systems
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We propose an incentive-design method which modifies agents' rewards in non-cooperative multi-agent systems that results in independent, self-interested agents choosing actions that produce optimal system ...
Our framework combines multi-agent reinforcement learning to simulate (real-world) agent behaviour and black-box optimisation to determine the optimal modifications to the agents' rewards or incentives ...
Multi-agent systems (MASs) in which agents act non-cooperatively to maximise their own interests are modelled by Markov game (MGs). ...
arXiv:1901.10923v1
fatcat:5pd7audsqjdr3efd5uvyvufksa
Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions
[article]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Also, BDI agents allow the coverage of combined behaviours of the HRI system with more ease than writing temporal logic properties for model checking. ...
An automated testbench was implemented for a simulation in Robot Operating System (ROS) and Gazebo, of a cooperative table assembly task between a humanoid robot and a person. ...
A multi-agent framework has been proposed in [12] for model-based test generation in software testing. ...
arXiv:1603.00656v1
fatcat:cumw2nl2prb45gx3fkhbjljtou
Cutting through the biofuel confusion: A conceptual framework to check the feasibility, viability and desirability of biofuels
2021
Energy Strategy Reviews
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
The proposed framework generates a biophysical characterization of the supply function of a biofuel system (which inputs are needed to generate the supply) contextualized against a biophysical characterization ...
This paper presents a novel conceptual framework that integrates four key aspects of the performance of biofuels: (1) the social factors determining the desirability of biofuel use on the demand sidewhy ...
Conclusions In this paper, we presented a conceptual framework to characterize and contextualize in quantitative terms the performance of biofuel systems in terms of feasibility, viability, desirability ...
doi:10.1016/j.esr.2021.100642
fatcat:paqbwhjkirbo7oxsfdrif4lz64
Territories Named Desire: From the Breadth of Concepts to the Containment of Experience*
2009
RCCS Annual Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This article addresses the way in which territorial contexts have actually embraced recent conceptions of power and the State, discussing the extent to which this expresses a new way of doing politics ...
reasons have contributed to focusing the attention of the social sciences on the dynamics linked to territories, given the relevance that the themes of power, development and social cohesion have taken on in ...
rules" (ibid.). the common good based on multi-participated frameworks. 32 Cooperation, "pertinent" mobilisation, structures of trust, "strategy" and local identity, in sum, the attributes of socalled ...
doi:10.4000/rccsar.138
fatcat:shadft2gwvhtnda57zo435ovxm
Some applications of a novel desirability function in simultaneous optimization of multiple responses
Neke primene nove funkcije poželjnosti u simultanoj višekriterijumskoj optimizaciji
2021
FME Transaction
Neke primene nove funkcije poželjnosti u simultanoj višekriterijumskoj optimizaciji
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
In the framework of multi-response optimization techniques, the optimization methodology based on the desirability function is one of the most popular and most frequently used methodologies by researchers ...
Recently, a novel desirability function for multi-response optimization is proposed, which is smooth, nonlinear, and differentiable, and thus more suitable for applying some of the more efficient gradient-based ...
In addition, an exact method was suggested (developed under the RSM framework) for determining the favorable shape parameters in desirability functions. ...
doi:10.5937/fme2103534m
fatcat:bseuw2h5vvaezj26qm3cgafktu
An Intelligence-Aware Process Calculus for Multi-Agent System Modeling
2007
2007 International Conference on Integration of Knowledge Intensive Multi-Agent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper we propose an agent modeling language named CAML that provides a comprehensive frameworkfor representing all relevant aspects of a multiagent system: specially, its configuration and the ...
The configuration modeling aspect of the language supports natural grouping and mobility, and the reasoning framework is inspired by an extension of the popular BDI theory of modeling cognitive skills ...
The proposed formalism, named Complete Agent Modeling Language (CAML), is a process algebra that promises a formal framework in which a comprehensive model of multi-agent systems may be represented, including ...
doi:10.1109/kimas.2007.369811
fatcat:epf4kiyl5fd6bdbp2iy7l72fg4
Logic-Based Agent Verification
2007
Journal of Applied Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Model checking consists of building a finite model of a (multi-agent) system and checking whether a desired property holds in that model [1]. ...
As an outgrowth of this early research, work on this topic has evolved into three main subtopics: formal agent modeling, formal verification of multi-agent systems, and applications research. ...
First, they provide a formal semantics for AUML, which is a composition of temporal logic and game theoretic semantics. ...
doi:10.1016/j.jal.2005.12.012
fatcat:kdmkpegsyjgwzcy5pyh6dbruo4
An abstract representation model for evolutionary analysis of multi-agent interactions
2011
2011 IEEE Congress of Evolutionary Computation (CEC)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The communication between different agents interacting in an integrated multi-agents system can be managed through a set of steering rules, which together form interaction protocols. ...
Intelligent agents are able to assist human in managing highly dynamic and complex systems in various knowledge intensive domains. ...
Thus, a communication for a protocol in the argumentation framework can be simply modeled by a sequence of morphisms and their compositions. ...
doi:10.1109/cec.2011.5949861
dblp:conf/cec/Shaban-NejadH11
fatcat:maw6tmxqbvgc5gnfixlfhtlfuq
Afrindian fictions: diaspora, race, and national desire in South Africa
2009
ChoiceReviews
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This desire for outside validation also raises further questions about self-empowerment. is it enough for a disaffected group to acquire composite citizenry in its own eyes or do claims to citizenry need ...
moment, a fluidity that refuses to situate indianness in absolutist models of being. ...
While most of the existing criticism on Kafka's Curse interprets the text as a commentary on transition, no work, however, studies the compositional complexities of the narrative in order to examine how ...
doi:10.5860/choice.46-4270
fatcat:cge5r6owlvc4blx5rimj54fbti
Motivation for a new formal framework for agent-oriented software engineering
2009
International Journal of Agent-Oriented Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We perform a survey of the available formal theories and tools for Multi-Agent Systems (MAS) and derive a strong motivation for a new formal framework to support AOSE. ...
Agent frameworks with formal foundations have an important role to play in this scenario by allowing analysis based on a mathematical model. ...
A new formal framework for multi-agent systems In the following we briefly present the new framework, named MAML (for Multi Agent Modeling Language), specially in contrast with the issues discussed in ...
doi:10.1504/ijaose.2009.023639
fatcat:rddv6ghxkfhxpm3m7ca3zv6hr4
Formal Specification and Prototyping of Multi-agent Systems
[chapter]
2000
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This model allows for a simple description of both individual and collective multi-agent system aspects. ...
The framework we use to give a formal description of this model is based on a multi-formalism approach. We illustrate this approach through a case study. ...
We have thus chosen to use a multi-formalism approach that results of the composition of Object-Z [3] and statecharts [11] . ...
doi:10.1007/3-540-44539-0_9
fatcat:kfehpx5mzjarniwtdzwdv2hcpa
A Cognitive Model for Multi-Agent Collaboration
2014
International Journal of Intelligence Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
In multi-agent system, agents work together for solving complex tasks and reaching common goals. In this paper, we propose a cognitive model for multi-agent collaboration. ...
These approaches are integrated in one agent that will make multi-agent collaboration more practical in the real world. ...
This unified framework also fits to multi-agent system. A multi-agent system at a time t in state s 0 , s 0 usually consists of a series of attributes and values to characterize. ...
doi:10.4236/ijis.2014.41001
fatcat:cmryynidtbcsfehin3rxkt2nnq
« Previous
Showing results 1 — 15 out of 52,223 results