Title :
A distributed self-stabilizing algorithm for argumentation
Author :
Baroni, P. ; Giacomin, M.
Author_Institution :
Dipt. di Elettronica per l´´Autom., Brescia Univ., Italy
Abstract :
We propose a distributed approach to argumentation in which arguments are constructed by asynchronous processes which compute their own defeat status on the basis of local information. We present a self-stabilizing algorithm for the computation of defeat status, along with a proof of its correctness. The proposed approach introduces a remarkable flexibility in the management of argumentation activity with respect to a centralized approach. Moreover it is in line with the evolution of autonomous agents architectures, one of the main application fields of argumentation systems
Keywords :
distributed algorithms; inference mechanisms; software agents; argumentation; argumentation activity; argumentation systems; asynchronous processes; autonomous agents architectures; defeat status; distributed self-stabilizing algorithm; self-stabilizing algorithm; Autonomous agents; Computer architecture; Distributed computing; Distributed control; Inference algorithms; Multiagent systems;
Conference_Titel :
Parallel and Distributed Processing Symposium., Proceedings 15th International
Conference_Location :
San Francisco, CA
Print_ISBN :
0-7695-0990-8
DOI :
10.1109/IPDPS.2001.925027