52,223 Hits in 3.3 sec

Desire: Modelling Multi-Agent Systems in a Compositional Formal Framework

Frances M. T. Brazier, Barbara M. Dunin-Keplicz, Nick R. Jennings, Jan Treur
1997 International Journal of Cooperative Information Systems  
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]

Sanjay Modgil, Michael Luck
2009 Lecture Notes in Computer Science  
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

Jan Broersen, Mehdi Dastani, Leendert van der Torre
2005 International Journal of Intelligent Systems  
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]

David Mguni, Joel Jennings, Sergio Valcarcel Macua, Emilio Sison, Sofia Ceppi, Enrique Munoz de Cote
2019 arXiv   pre-print
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]

Dejanira Araiza-Illan, Tony Pipe, Kerstin Eder
2016 arXiv   pre-print
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

M. Ripa, J.J. Cadillo-Benalcazar, M. Giampietro
2021 Energy Strategy Reviews  
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*

Daniel Francisco
2009 RCCS Annual Review  
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

Velibor Marinković
2021 FME Transaction  
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

Raheel Ahmad, Shahram Rahimi, Bidyut Gupta
2007 2007 International Conference on Integration of Knowledge Intensive Multi-Agent Systems  
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

Michael Fisher, Munindar Singh, Diana Spears, Mike Wooldridge
2007 Journal of Applied Logic  
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

Arash Shaban-Nejad, Volker Haarslev
2011 2011 IEEE Congress of Evolutionary Computation (CEC)  
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  
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

R. Ahmad, S. Rahimi
2009 International Journal of Agent-Oriented Software Engineering  
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]

Vincent Hilaire, Abder Koukam, Pablo Gruer, Jean-Pierre Müller
2000 Lecture Notes in Computer Science  
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

Zhongzhi Shi, Jianhua Zhang, Jinpeng Yue, Xi Yang
2014 International Journal of Intelligence Science  
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