Integrating artificial intelligence, argumentation and game theory to develop an online dispute resolution environment