Conference Paper

Resource allocation with answer-set programming.

DOI: 10.1145/1558013.1558103 In proceeding of: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1
Source: DBLP

ABSTRACT Multi-agent resource allocation is a growing area of research at the frontier between Economics and Computer Science. Despite the extensive theoretical work and raising number of practical appli- cations, many fundamental problems in multi-agent resource allo- cation still require adequate attention to its computational aspects. This paper addresses computational aspects of multi-agent resource allocation through the use of a fully declarative and highly expres- sive logic programming paradigm - Answer Set Programming - to provide uniform, general and flexible solutions to many multi-agent resource allocation problems in a compact and declarative manner.

0 Bookmarks
 · 
61 Views
  • Conference Paper: Playing by the rules.
    Proceedings of the Extreme Markup Languages® 2003 Conference, 4-8 August 2003, Montréal, Quebec, Canada; 01/2003
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: We show how to embed a framework for multilateral negotiation, in which a group of agents implement a sequence of deals concerning the exchange of a number of resources, into linear logic. In this model, multisets of goods, allocations of resources, preferences of agents, and deals are all modelled as formulas of linear logic. Whether or not a proposed deal is rational, given the preferences of the agents concerned, reduces to a question of provability, as does the question of whether there exists a sequence of deals leading to an allocation with certain desirable properties, such as maximising social welfare. Thus, linear logic provides a formal basis for modelling convergence properties in distributed resource allocation.
    ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings; 01/2010
  • Source
    Conference Paper: Playing with Rules.
    [Show abstract] [Hide abstract]
    ABSTRACT: In this paper we revisit Logic Programming under the answer-set semantics - or Answer-Set Programming - and its extension Evolving Logic Programming, two languages that use logic rules and rule updates and exhibit characteristics that make them suitable to be used for knowledge representation and reasoning within Agent Oriented Programming Languages. We illustrate the power of these rule based languages by means of examples showing how several of its features can be used to model situations faced by Agents.
    Declarative Agent Languages and Technologies VII, 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers; 01/2009

Full-text (2 Sources)

View
16 Downloads
Available from
May 31, 2014