TY - GEN
T1 - Computational dialectics for argument-based agent systems
AU - Swaamura, H.
AU - Umeda, Y.
AU - Meyer, R. K.
N1 - Publisher Copyright:
© 2000 IEEE.
PY - 2000
Y1 - 2000
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84962121969&partnerID=8YFLogxK
U2 - 10.1109/ICMAS.2000.858463
DO - 10.1109/ICMAS.2000.858463
M3 - Conference contribution
T3 - Proceedings - 4th International Conference on MultiAgent Systems, ICMAS 2000
SP - 271
EP - 278
BT - Proceedings - 4th International Conference on MultiAgent Systems, ICMAS 2000
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 4th International Conference on MultiAgent Systems, ICMAS 2000
Y2 - 10 July 2000 through 12 July 2000
ER -