|
|
|
|
| Bachelorprojekt - Softwareteknologi | Project No. 0097: Declarative specification of a fault tolerant clock-proxy auction protocol |
| Aktuelle | Tidligere |
Auction mechanisms are nowadays widely used in electronic commerce Web sites for buying and selling items among different users. The increasing importance of auction protocols in the negotiation phase is not limited to online marketplaces. In fact, the wide applicability of auctions as resource-allocation and negotiation mechanisms have also led to a great deal of interest in auctions within the agent community.
A challenging issue for agents operating in open Multi-Agent Systems (such as the emerging semantic Web infrastructure) concerns the specification of declarative communication rules which could be published and shared allowing agents to dynamically engage well-known and trusted negotiation protocols. To cope with real-world applications, these rules should also specify fault tolerant patterns of interaction, enabling negotiating agents to interact with each other tolerating failures, for instance terminating an auction process even if some bidding agents dynamically crash.
This project aims at providing an agent-based specification of a fault tolerant clock-proxy auction protocol. The specification will be based on a recently developed framework following a declarative approach based on declarative rules and a fault tolerant agent communication language.
| Prerequisites: | Knowledge of logic programming languages (such as Prolog) is an advantage |
Supervisor(s) Nicola Dragoni
| Sidst opdateret: Oct 31, 2011 af Hans Henrik Løvengreen |