A A model of dialogue using arguments for the process of common-knowledge formation
Keywords:
Common knowledge, formal logic, consensusAbstract
This paper presents a model of dialogue to support the common-knowledge formation in a group of agents which is based on the exchange of arguments supporting or rejecting an issue under discussion and other arguments during the dialogue. In the model, the agents play two roles: argumentative and mediator. Argumentative agents are responsible for building arguments that are based on their belief base using formulas representing facts and rules, while the mediator agent is responsible for conducting and synchronizing the dialogue. Our model proposes the calculation of the group consensus level on each formula of the arguments, and the acceptance of the formulas (formulas are consented) when they are supported by the majority in the group. A practical example explains how the proposal model can be implemented in a real scenario.