Argument technology

Argument technology is a sub-field of artificial intelligence that focuses on applying computational techniques to the creation, identification, analysis, navigation, evaluation and visualisation of arguments and debates. Artificial intelligence In the 1980s and 1990s, philosophical theories of arguments were leveraged to handle key computational challenges, such as modeling non-monotonic and defeasible reasoning and designing robust coordination protocols for multi-agent systems. At the same time, mechanisms for computing semantics of Argumentation frameworks were introduced as a way of providing a calculus of opposition[1] for computing what it is reasonable to believe in the context of conflicting arguments.

With these foundations in place, the area was kick-started by a workshop held in the Scottish Highlands in 2000, the result of which was a book coauthored by philosophers of argument, rhetoricians, legal scholars and AI researchers.[2] Since then, the area has been supported by various dedicated events such as the International Workshop on Computational Models of Natural Argument (CMNA)[3] which has run annually since 2001; the International Workshop on Argument in Multi Agent Systems (ArgMAS) annually since 2004; the Workshop on Argument Mining,[4] annually since 2014, and the Conference on Computational Models of Argument (COMMA),[5] biennially since 2006. Since 2010, the field has also had its own journal, Argument & Computation, which was published by Taylor & Francis until 2016[6] and since then by IOS Press.[7]

One of the challenges that argument technology faced was a lack of standardisation in the representation and underlying conception of argument in machine readable terms. Many different software tools for manual argument analysis, in particular, developed idiosyncratic and ad hoc ways of representing arguments which reflected differing underlying ways of conceiving of argumentative structure.[8] This lack of standardisation also meant that there was no interchange between tools or between research projects, and little re-use of data resources that were often expensive to create. To tackle this problem, the Argument Interchange Format set out to establish a common standard that captured the minimal common features of argumentation which could then be extended in different settings.

Argment technology has applications in a variety of domains, including education, healthcare, policy making, and risk management and has a variety of sub-fields, methodologies and technologies.[9]

Technologies

Argument assistant
See also: Proof assistant and Computer-assisted proof

An argument assistant is a software tool which support users when writing arguments. Argument assistants can help users compose content, review content from one other, including in dialogical contexts. In addition to Web services, such functionalities can be provided through the plugin architectures of word processor software or those of Web browsers. Internet forums, for instance, can be greatly enhanced by such software tools and services.

Argument blogging
See also: Argument Web

ArguBlogging is software which allows its users to select portions of hypertext on webpages in their Web browsers and to agree or disagree with the selected content, posting their arguments to their blogs with linked argument data.[10] It is implemented as a bookmarklet, adding functionality to Web browsers and interoperating with blogging platforms such as Blogger and Tumblr.[10]

Argument mapping
Main article: Argument map

Argument maps are visual, diagrammatic representations of arguments. Such visual diagrams facilitate diagrammatic reasoning and promote one's ability to grasp and to make sense of information rapidly and readily. Argument maps can provide structured, semi-formal frameworks for representing arguments using interactive visual language.

Argument mining
Main article: Argument mining

Argument mining, or argumentation mining, is a research area within the natural language processing field. The goal of argument mining is the automatic extraction and identification of argumentative structures from natural language text with the aid of computer programs.

Main article: Search engine (computing)

An argument search engine is a search engine that is given a topic as a user query and returns a list of arguments for and against the topic.[11] Such engines could be used to support informed decision-making or to help debaters prepare for debates.

Automated argumentative essay scoring
Main article: Automated essay scoring

The goal of automated argumentative essay scoring systems is to assist students in improving their writing skills by measuring the quality of their argumentative content.[12][13]

Debate technology

Debate technology focuses on human-machine interaction and in particular providing systems that support, monitor and engage in debate. One of the most high-profile examples of debating technology is IBM's Project Debater which combines scripted communication with very large-scale processing of news articles to identify and construct arguments on the fly in a competitive debating setting. Debating technology also encompasses tools aimed at providing insight into debates, typically using techniques from data science. These analytics have been developed in both academic[14] and commercial[15] settings.

Decision support system
Main articles: Decision support system and Intelligent decision support system

Argument technology can enhance decision support systems and intelligent decision support systems.

Ethical decision support system
See also: Moral reasoning

An ethical decision support system is a decision support system which supports users in moral reasoning and decision-making.[16][17]

Main articles: Legal expert system and Applications of artificial intelligence to legal informatics

A legal decision support system is a decision support system which supports users in legal reasoning and decision-making.

Explainable artificial intelligence
Main articles: Explainable artificial intelligence, Argument § Explanations, and Explanation

An explainable or transparent artificial intelligence system is an artificial intelligence system whose actions can be easily understood by humans.

Intelligent tutoring system
Main article: Intelligent tutoring system

An intelligent tutoring system is a computer system that aims to provide immediate and customized instruction or feedback to learners, usually without requiring intervention from a human teacher. The intersection of argument technology and intelligent tutoring systems includes computer systems which aim to provide instruction in: critical thinking, argumentation,[18] ethics,[19] law,[20] mathematics,[21] and philosophy.

Main article: Legal expert system

A legal expert system is a domain-specific expert system that uses artificial intelligence to emulate the decision-making abilities of a human expert in the field of law.

Machine ethics
Main article: Machine ethics
See also: Moral reasoning

Machine ethics is a part of the ethics of artificial intelligence concerned with the moral behavior of artificially intelligent beings. As humans argue with respect to morality and moral behavior, argument can be envisioned as a component of machine ethics systems and moral reasoning components.

Proof assistant
Main articles: Proof assistant and Computer-assisted proof

In computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human-machine collaboration. This involves some sort of interactive proof editor, or other interface, with which a human can guide the search for proofs, the details of which are stored in, and some steps provided by, a computer.

References
  1. Prakken, Henry (2014). "The ASPIC+ framework for structured argumentation: a tutorial". Argument & Computation. 5 (1): 31–62.
  2. Reed, C. & Norman, T.J. (eds) Argumentation Machines. Kluwer, 2003.
  3. "Computational Models of Natural Argument". www.cmna.info.
  4. For example: "Proceedings of the 6th Workshop on Argument Mining – ACL Anthology". www.aclweb.org. Association for Computational Linguistics. August 2019. Retrieved 7 December 2020.
  5. "Computational Models of Argument conference series". www.comma-conf.org.
  6. "Journal of Argument & Computation". www.tandf.co.uk. Archived from the original on 2012-02-21.
  7. "Journal of Argument & Computation". www.iospress.nl.
  8. Scheuer, O.; Loll, F.; Pinkwart, N.; McLaren, B.M. "Computer-supported argumentation: A review of the state of the art". Computer-Supported Collaborative Learning. 5 (1): 43–102.
  9. Bex, Floris J.; Grasso, Floriana; Green, Nancy L.; Paglieri, Fabio; Reed, Chris, eds. (2017). Argument Technologies: Theory, Analysis, and Applications. Studies in logic and argumentation. 68. London: College Publications. ISBN 9781848902183. OCLC 1012498399.
  10. Bex, Floris J.; Snaith, Mark; Lawrence, John; Reed, Chris (March 2014). "ArguBlogging: an application for the argument web" (PDF). Web Semantics: Science, Services and Agents on the World Wide Web. 25: 9–15. doi:10.1016/j.websem.2014.02.002.
  11. Aharoni, Ehud; et al. (2014). "Claims on demand–an initial demonstration of a system for automatic detection and polarity identification of context dependent claims in massive corpora". Proceedings of COLING 2014: 6–9.
  12. Stab, Christian; Gurevych, Iryna (2014). "Identifying argumentative discourse structures in persuasive essays". Proceedings of EMNLP 2014: 46–56. doi:10.3115/v1/D14-1006.
  13. Green, Nancy L. (2013). "Towards automated analysis of student arguments". In Lane, H. Chad; Yacef, Kalina; Mostow, Jack; Pavlik, Philip (eds.). Artificial intelligence in education: 16th international conference, AIED 2013, Memphis, TN, USA, July 9–13, 2013: proceedings. Lecture notes in computer science. 7926. Berlin; New York: Springer-Verlag. pp. 591–594. doi:10.1007/978-3-642-39112-5_66. ISBN 9783642391118.
  14. For example: "Argument Analytics". analytics.arg.tech. Retrieved 11 August 2020.
  15. For example: "Kialo". www.kialo.com. Retrieved 11 August 2020.
  16. Mancherjee, Kevin; Sodan, Angela C. (September 2004). "Can computer tools support ethical decision making?". ACM SIGCAS Computers and Society. 34 (2): 1. CiteSeerX 10.1.1.61.7160. doi:10.1145/1052791.1052792.
  17. Mathieson, Kieran (December 2007). "Towards a design science of ethical decision support". Journal of Business Ethics. 76 (3): 269–292. doi:10.1007/s10551-006-9281-4. JSTOR 25075516.
  18. Loll, Frank; Pinkwart, Niels; Scheuer, Oliver; McLaren, Bruce M. (July 2009). "Towards a flexible intelligent tutoring system for argumentation". 2009 Ninth IEEE International Conference on Advanced Learning Technologies, 15–17 July 2009. IEEE. pp. 647–648. CiteSeerX 10.1.1.329.6574. doi:10.1109/ICALT.2009.138.
  19. Goldin, Ilya M.; Ashley, Kevin D.; Pinkus, Rosa L. (May 2001). "Introducing PETE: computer support for teaching ethics". ICAIL '01: Proceedings of the 8th International Conference on Artificial Intelligence and Law. New York: Association for Computing Machinery. pp. 94–98. CiteSeerX 10.1.1.19.6676. doi:10.1145/383535.383546. ISBN 978-1-58113-368-4.
  20. Ashley, Kevin D.; Aleven, Vincent (May 1991). "Toward an intelligent tutoring system for teaching law students to argue with cases". ICAIL '91: Proceedings of the 3rd International Conference on Artificial Intelligence and Law. New York: Association for Computing Machinery. pp. 42–52. doi:10.1145/112646.112651. ISBN 978-0-89791-399-7.
  21. Ritter, Steven; Anderson, John R.; Koedinger, Kenneth R.; Corbett, Albert (April 2007). "Cognitive tutor: applied research in mathematics education" (PDF). Psychonomic Bulletin & Review. 14 (2): 249–255. CiteSeerX 10.1.1.158.4283. doi:10.3758/bf03194060. PMID 17694909.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.