G5)) :buy_agents (c4, 100, Nil, (g5), Nil) :sell_bids Nil :buy_bids Nil :contract Nil))))
- Sell_Agents ( S, Nil
- G5)) :BUY_AGENTS (C4, 100, NIL, (G5), NIL…
The design of punishment policies applied to specific domains linking agents actions to material penalties is an open research issue. The proposed framework applies principles of contract law to set penalties: expectation damages, opportunity cost, reliance damages, and party design remedies. In order to decide which remedy provides maximum welfare within an electronic market, a simulation environment called DEMCA (Designing Electronic Markets for Contractual Agents) was developed. Knowledge representation and the reasoning capabilities of the agents are based on an extended version of temporal defeasible logic.