@InProceedings{foca2006-formal, x-todo = {pages,publisher,conference,x-country}, author = {Morge, Maxime and Routier, Jean-Christophe and Secq, Yann and Dujardin, Tony}, title = {A formal framework for inter-agents dialogue to reach an agreement about a representation}, booktitle = {Proceedings of the Workshop on Formal Ontologies for Communicating Agents (FOCA'2006)}, year = {2006}, editor = {Ferrario, Roberta and Guarino, Nicola and Prevot, Laurent}, pages = {}, month = {August}, publisher = {}, abstract = {We propose in this paper DIALOCR, i.e. a framework for inter-agents dialogue to reach an ontological agreement, which formalize a debate in which the divergent representations are discussed. For this purpose, we propose an argumentation-based representation framework which manages the conflicts between representations with different relevances for different audiences to compute their acceptance. Moreover, we propose a model for the reasoning of agents where they justify the definition to which they commit and take into account the definitions of their interlocutors. This framework bounds a dialectics system in which two agents play a dialogue to reach an agreement about a conflict of representation.}, genre = {workshopNational}, pdf = {http://www.lifl.fr/SMAC/publications/pdf/foca2006-formal.pdf}, x-language = {EN}, x-international-audience = {Yes}, x-country = {} }