Corruption and Audit in Strategic Argumentation
This work incrementally improves the detection of corruption in multi-agent systems, relevant for AI and game theory applications.
The paper addresses undetected corrupt behaviors in strategic argumentation by strengthening an existing model, proving that all strategic aims become resistant to corruption under the new formulation.
Strategic argumentation provides a simple model of disputation and negotiation among agents. Although agents might be expected to act in our best interests, there is little that enforces such behaviour. (Maher, 2016) introduced a model of corruption and resistance to corruption within strategic argumentation. In this paper we identify corrupt behaviours that are not detected in that formulation. We strengthen the model to detect such behaviours, and show that, under the strengthened model, all the strategic aims in (Maher, 2016) are resistant to corruption.