Dynamic Argument Systems: A Formal Model of a Argumentation Processes Based On Situation Calculus

摘要

We present a formal model of argumentation base don situation calculus which captures both the logical and the procedural aspects of argumentation processes. The logic is used to determine what is accepted by each agent partic- ipating in the discussion and by the group as a whole, on the basis of the speech acts performed during argumentation.