Computational dialectics for argument-based agent systems

We introduce the static dialectical logics by Routley and Meyer (1976), and examine some dialectical inference rules to give them a breath of dialectical dynaminism of reasoning. Then we attempt to define Aufheben, compromise, reconciliation, etc., formally on top of the dialectical logics. Based on these results, we propose an argument-based agent system where several agents communicate, argue with each other and finally make a decision through argumentation, from knowledge bases distributed or dispersed on the network. If the agent system fails in attaining a consensus, then the Aufheben process attempts to make a dialectical agreement