A Hybrid Argumentation of Symbolic and Neural Net Argumentation (Part I)

A novel approach to argumentation has been started by A. Garcez et al. Inspired by their work, we further go on investigating it, but turn to a more syncretic direction such as the interplay between neural net argumentation and symbolic argumentation. This paper is a sequel to our former one (Part I) [1]. In this paper we address ourselves to the following basic questions that can not be overlooked. 1. Can the neural argumentation algorithm compute the fixpoint semantics for formal argumentation? 2. Can argumentative dialogues be extracted from the neural net argumentation? Consequently, we give the positive answers to them. They are beneficial for understanding or characterizing the computation power and outcome of the neural net argumentation from the perspective of the symbolic argumentation. We also exemplify these results.

[1]  Hajime Sawamura,et al.  An Integrated Argumentation Environment for Arguing Agents , 2006, 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings)(WI'06).

[2]  Trevor J. M. Bench-Capon.  Persuasion in Practical Argument Using Value-based Argumentation Frameworks , 2003, J. Log. Comput..

[3]  Henry Prakken,et al.  Logics for Defeasible Argumentation , 2001 .

[4]  Hajime Sawamura,et al.  An Integrated Argumentation Environment for Arguing Agents , 2008, KES-AMSTA.

[5]  Zenon W. Pylyshyn,et al.  Connectionism and cognitive architecture , 1993 .

[6]  Henry Prakken,et al.  Argument-Based Extended Logic Programming with Defeasible Priorities , 1997, J. Appl. Non Class. Logics.

[7]  Dov M. Gabbay,et al.  Value-based Argumentation Frameworks as Neural-symbolic Learning Systems , 2005, J. Log. Comput..

[8]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

[9]  Ana Gabriela Maguitman,et al.  Logical models of argument , 2000, CSUR.

[10]  J. Fodor,et al.  Connectionism and cognitive architecture: A critical analysis , 1988, Cognition.

[11]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[12]  Hajime Sawamura,et al.  A logic of multiple-valued argumentation , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..