Conference Paper

Resource allocation with answer-set programming

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


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.

Download full-text


Available from: José Alferes
  • Conference Paper: Playing by the rules.

    No preview · Conference Paper · Jan 2003
  • 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.
    Full-text · Conference Paper · May 2009
  • 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.
    Full-text · Conference Paper · Jun 2010