Computer supported argumentation and collaborative decision making: the HERMES system

Abstract Collaborative decision making problems can be addressed through argumentative discourse and collaboration among the users involved. Consensus is achieved through the process of collaboratively considering alternative understandings of the problem, competing interests, priorities and constraints. The application of formal modeling and analysis tools to solve the related processes is impossible before the problem can be articulated in a concise and agreed upon manner. This paper describes H ermes , a system that augments classical decision making approaches by supporting argumentative discourse among decision makers. It is fully implemented in Java and runs on the Web, thus providing relatively inexpensive access to a broad public. Using an illustrative example, we present the argumentation elements, discourse acts and reasoning mechanisms involved in H ermes . We also describe the integration of advanced features to the system; these enable users to retrieve data stored in remote databases in order to further warrant their arguments, and stimulate them to perform acts that best reflect their interests and intentions.

[1]  J. Conklin Designing Organizational Memory: Preserving Intellectual Assets in a Knowledge Economy 1 , 2001 .

[2]  William N. Robinson,et al.  Supporting multi-perspective requirements engineering , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[3]  Gadi Pinkas,et al.  Propositional Non-Monotonic Reasoning and Inconsistency in Symmetric Neural Networks , 1991, IJCAI.

[4]  Roger Hurwitz,et al.  The Open Meeting: A Web-Based System for Conferencing and Collaboration , 1996, World Wide Web J..

[5]  Thomas P. Moran,et al.  Questions, Options, and Criteria: Elements of Design Space Analysis , 1991, Hum. Comput. Interact..

[6]  Henry Prakken,et al.  From logic to dialectics in legal argument , 1995, ICAIL '95.

[7]  Giorgio De Michelis,et al.  Situating conversations within the language/action perspective: the Milan conversation model , 1994, CSCW '94.

[8]  Carl H. Heidrich Montague-Grammars for Argumentative Dialogues , 1982 .

[9]  Vasant Dhar,et al.  Supporting Systems Development by Capturing Deliberations During Requirements Engineering , 1992, IEEE Trans. Software Eng..

[10]  Nicholas Rescher,et al.  Dialectics: A Controversy-Oriented Approach to the Theory of Knowledge , 1977 .

[11]  Raymond McCall,et al.  JANUS: integrating hypertext with a knowledge-based design environment , 1989, Hypertext.

[12]  Richard M. Young,et al.  Options and Criteria: Elements of design space analysis , 1991 .

[13]  Omar Abou Khaled,et al.  MEDIT: A Web-based environment for advanced pedagogical issues , 1998 .

[14]  T. Gonen,et al.  Questions , 1927, Journal of Family Planning and Reproductive Health Care.

[15]  Dimitris Papadias,et al.  Using Case-Based Reasoning for Argumentation with Multiple Viewpoints , 1997, ICCBR.

[16]  Douglas Walton,et al.  Fundamentals Of Argumentation Theory , 1996 .

[17]  Donald Ervin Knuth,et al.  The Art of Computer Programming , 1968 .

[18]  David W. Green,et al.  Arguments and Mental Models: A Position Paper , 1996, FAPR.

[19]  Eugene C. Freuder,et al.  The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems , 1985, Artif. Intell..

[20]  T. Gordon The Pleadings Game , 1993, ICAIL '93.

[21]  Norbert A. Streitz,et al.  From ideas and arguments to hyperdocuments: travelling through activity spaces , 1989, Hypertext.

[22]  Ekaterini P. Sycara Resolving adversarial conflicts: an approach integration case-based and analytic methods , 1987 .

[23]  Johanna D. Moore,et al.  Reconstructed Intentions in Collaborative Problem Solving Dialogues , 1997 .

[24]  Roger King,et al.  Computer-Aided Reasoned Discourse or, How to Argue with a Computer ; CU-CS-358-87 , 2013 .

[25]  Donald E. Knuth,et al.  fundamental algorithms , 1969 .

[26]  Nick Hammond,et al.  Summarising the evolution of design concepts within a design rationale framework , 1993, INTERCHI Adjunct Proceedings.

[27]  Michael L. Begeman,et al.  gIBIS: a hypertext tool for team design deliberation , 1987, Hypertext.

[28]  T. Saaty,et al.  The Analytic Hierarchy Process , 1985 .

[29]  H. Rittel,et al.  Dilemmas in a general theory of planning , 1973 .

[30]  Judea Pearl,et al.  Qualitative Decision Theory , 1994, AAAI.

[31]  P MoranThomas,et al.  Questions, options, and criteria , 1991 .

[32]  Dimitris Papadias,et al.  A Computational Approach for Argumentative Discourse in Multi-Agent Decision Making Environments , 1998, AI Commun..

[33]  Arthur M. Farley,et al.  Burden of proof in legal argumentation , 1995, ICAIL '95.

[34]  Hector Geffner,et al.  Conditional Entailment: Bridging two Approaches to Default Reasoning , 1992, Artif. Intell..

[35]  Guillermo Ricardo Simari,et al.  A Mathematical Treatment of Defeasible Reasoning and its Implementation , 1992, Artif. Intell..

[36]  Paolo Valesio Novantiqua: Rhetorics as a Contemporary Theory , 1980 .

[37]  F. H. van Eemeren Proceedings of the second international conference on argumentation , 1991 .

[38]  Janet L. Kolodner,et al.  Case-Based Reasoning , 1989, IJCAI 1989.

[39]  D. Suthers,et al.  Belvedere: Engaging students in critical discussion of science and public policy issues. , 1995 .

[40]  William N. Robinson,et al.  A Meta-Model for Restructuring Stakeholder Requirements , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[41]  E. M. Barth,et al.  Argumentation. Approaches to Theory Formation , 1984 .

[42]  Agnar Aamodt,et al.  Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches , 1994, AI Commun..

[43]  Nikos I. Karacapilidis,et al.  The Zeno argumentation framework , 1997, ICAIL '97.

[44]  Dimitris Papadias,et al.  Hermes: Supporting Argumentative Discourse in Multi-Agent Decision Making , 1998, AAAI/IAAI.

[45]  Judea Pearl,et al.  Qualitative Probabilities for Default Reasoning, Belief Revision, and Causal Modeling , 1996, Artif. Intell..

[46]  Matthias Jarke,et al.  Telos: representing knowledge about information systems , 1990, TOIS.

[47]  Gerhard Brewka,et al.  A Reconstruction of Rescher' s Theory of Formal Disputation Based on Default Logic , 1994, ECAI.

[48]  Raymonde Guindon,et al.  Cognitive science and its applications for human-computer interaction , 1988 .

[49]  Kenneth L. Kraemer,et al.  Computer-based systems for cooperative work and group decision making , 1988, CSUR.

[50]  Kuntz Werner,et al.  Issues as Elements of Information Systems , 1970 .

[51]  D. Suthers,et al.  Providing Expert Advice in the Domain of Collaborative Scientific Inquiry. , 1997 .