La tecnología de argumentos es un subcampo de la inteligencia artificial que se enfoca en aplicar técnicas computacionales a la creación, identificación, análisis, navegación, evaluación y visualización de argumentos y debates. Inteligencia artificial En las décadas de 1980 y 1990, las teorías filosóficas de los argumentos se aprovecharon para manejar desafíos computacionales clave, como el modelado de razonamientos no monótonos y derrotables y el diseño de protocolos de coordinación robustos para sistemas multiagente . Al mismo tiempo, los mecanismos para calcular la semántica de los marcos de argumentaciónse introdujeron como una forma de proporcionar un cálculo de oposición [1] para calcular lo que es razonable creer en el contexto de argumentos en conflicto.
Con estos cimientos en su lugar, el área se puso en marcha con un taller celebrado en las Tierras Altas de Escocia en 2000, cuyo resultado fue un libro en coautoría con filósofos de la argumentación, retóricos, juristas e investigadores de inteligencia artificial. [2] Desde entonces, el área ha sido apoyada por varios eventos específicos como el Taller Internacional sobre Modelos Computacionales de Argumentos Naturales (CMNA) [3] que se lleva a cabo anualmente desde 2001; el Taller Internacional sobre Argumento en Sistemas de Agentes Múltiples (ArgMAS) anualmente desde 2004; el Workshop on Argument Mining, [4] anualmente desde 2014, y la Conference on Computational Models of Argument (COMMA), [5] cada dos años desde 2006. Desde 2010, el campo también ha tenido su propia revista, Argument & Computation , que fue publicado por Taylor & Francis hasta 2016 [6] y desde entonces por IOS Press. [7]
Uno de los desafíos que enfrentó la tecnología de argumentos fue la falta de estandarización en la representación y la concepción subyacente del argumento en términos legibles por máquina. Muchas herramientas de software diferentes para el análisis manual de argumentos , en particular, desarrollaron formas idiosincrásicas y ad hoc de representar argumentos que reflejaban diferentes formas subyacentes de concebir la estructura argumentativa. [8] Esta falta de estandarización también significó que no hubo intercambio entre herramientas o entre proyectos de investigación, y poca reutilización de recursos de datos que a menudo eran costosos de crear. Para abordar este problema, el formato de intercambio de argumentos se propuso establecer un estándar común que capturara las características comunes mínimas de la argumentación que luego podrían extenderse en diferentes entornos.
La tecnología Argment tiene aplicaciones en una variedad de dominios, incluida la educación , la atención médica , la formulación de políticas y la gestión de riesgos, y tiene una variedad de subcampos, metodologías y tecnologías. [9]
Tecnologias
Asistente de argumentos
Un asistente de argumentos es una herramienta de software que ayuda a los usuarios a escribir argumentos . Los asistentes de discusión pueden ayudar a los usuarios a redactar contenido, revisar el contenido entre sí, incluso en contextos dialógicos. Además de los servicios web, estas funcionalidades se pueden proporcionar a través de arquitecturas de complementos de software de procesador de texto o de navegadores web. Los foros de Internet , por ejemplo, pueden mejorarse enormemente con estos servicios y herramientas de software.
Blogs de argumentos
ArguBlogging es un software que permite a sus usuarios seleccionar porciones de hipertexto en páginas web en sus navegadores web y estar de acuerdo o en desacuerdo con el contenido seleccionado, publicando sus argumentos en sus blogs con datos de argumentos vinculados . [10] Se implementa como un bookmarklet , agregando funcionalidad a los navegadores web e interoperando con plataformas de blogs como Blogger y Tumblr . [10]
Mapeo de argumentos
Los mapas de argumentos son representaciones esquemáticas de argumentos . Dichos diagramas visuales facilitan el razonamiento esquemático y promueven la capacidad de uno para captar y dar sentido a la información rápida y fácilmente. Los mapas de argumentos pueden proporcionar marcos semiformales estructurados para representar argumentos utilizando un lenguaje visual interactivo .
Minería de argumentos
La minería de argumentos , o minería de argumentos, es un área de investigación dentro del campo del procesamiento del lenguaje natural . El objetivo de la minería de argumentos es la extracción e identificación automática de estructuras argumentativas del texto en lenguaje natural con la ayuda de programas de computadora.
Búsqueda de argumentos
Un motor de búsqueda de argumentos es un motor de búsqueda que recibe un tema como una consulta de usuario y devuelve una lista de argumentos a favor y en contra del tema. [11] Estos motores podrían utilizarse para apoyar la toma de decisiones informada o para ayudar a los participantes en la discusión a prepararse para los debates .
Calificación automática de ensayos argumentativos
El objetivo de los sistemas automatizados de puntuación de ensayos argumentativos es ayudar a los estudiantes a mejorar sus habilidades de escritura midiendo la calidad de su contenido argumentativo. [12] [13]
Tecnología de debate
La tecnología de debate se centra en la interacción hombre-máquina y, en particular, proporciona sistemas que apoyan, supervisan y participan en el debate. Uno de los ejemplos más destacados de tecnología de debate es el Project Debater de IBM, que combina la comunicación por guión con el procesamiento a gran escala de artículos de noticias para identificar y construir argumentos sobre la marcha en un entorno de debate competitivo . La tecnología de debate también incluye herramientas destinadas a proporcionar información sobre los debates, normalmente utilizando técnicas de la ciencia de datos . Estos análisis se han desarrollado tanto en entornos académicos [14] como comerciales [15] .
Sistema de soporte de decisiones
La tecnología de argumentos puede mejorar los sistemas de apoyo a las decisiones y los sistemas inteligentes de apoyo a las decisiones .
Sistema de apoyo a la toma de decisiones éticas
Un sistema de soporte de decisiones éticas es un sistema de soporte de decisiones que apoya a los usuarios en el razonamiento moral y la toma de decisiones . [16] [17]
Sistema de apoyo a las decisiones legales
Un sistema de apoyo a las decisiones legales es un sistema de apoyo a las decisiones que ayuda a los usuarios en el razonamiento legal y la toma de decisiones .
Inteligencia artificial explicable
Un sistema de inteligencia artificial explicable o transparente es un sistema de inteligencia artificial cuyas acciones pueden ser entendidas fácilmente por los humanos.
Sistema de tutoría inteligente
Un sistema de tutoría inteligente es un sistema informático que tiene como objetivo proporcionar instrucción o retroalimentación inmediata y personalizada a los alumnos, generalmente sin requerir la intervención de un maestro humano. La intersección de la tecnología de argumentos y los sistemas de tutoría inteligente incluye sistemas informáticos que tienen como objetivo proporcionar instrucción en: pensamiento crítico, argumentación, [18] ética, [19] derecho, [20] matemáticas, [21] y filosofía.
Sistema de expertos legales
Un sistema experto legal es un dominio específico de sistema experto que utiliza inteligencia artificial para emular las de toma de decisiones habilidades de un experto humano en el campo de la ley .
Ética de la máquina
La ética de la máquina es parte de la ética de la inteligencia artificial relacionada con el comportamiento moral de los seres con inteligencia artificial. A medida que los humanos discuten con respecto a la moralidad y el comportamiento moral, el argumento puede concebirse como un componente de los sistemas de ética de las máquinas y los componentes del razonamiento moral .
Asistente de pruebas
En ciencias de la computación y lógica matemática , un asistente de prueba o demostrador de teoremas interactivo es una herramienta de software para ayudar con el desarrollo de pruebas formales mediante la colaboración entre humanos y máquinas. Esto implica algún tipo de editor de pruebas interactivo, u otra interfaz , con la que un humano puede guiar la búsqueda de pruebas , cuyos detalles se almacenan en una computadora y algunos pasos los proporciona .
Referencias
- ^ Prakken, Henry (2014). "El marco ASPIC + para la argumentación estructurada: un tutorial" . Argumento y Computación . 5 (1): 31–62. doi : 10.1080 / 19462166.2013.869766 .
- ^ Reed, C. y Norman, TJ (eds) Argumentation Machines. Kluwer, 2003.
- ^ "Modelos computacionales de argumento natural" . www.cmna.info .
- ^ Por ejemplo: "Actas del VI Taller de Minería de Argumentos - Antología ACL" . www.aclweb.org . Asociación de Lingüística Computacional . Agosto de 2019 . Consultado el 7 de diciembre de 2020 .
- ^ "Serie de conferencias de modelos computacionales de argumento" . www.comma-conf.org .
- ^ "Revista de Argumento y Computación" . www.tandf.co.uk . Archivado desde el original el 21 de febrero de 2012.
- ^ "Revista de Argumento y Computación" . www.iospress.nl .
- ^ Scheuer, O .; Loll, F .; Pinkwart, N .; McLaren, BM (2010). "Argumentación asistida por computadora: una revisión del estado del arte" . Aprendizaje colaborativo asistido por computadora . 5 (1): 43–102. doi : 10.1007 / s11412-009-9080-x . S2CID 4473082 .
- ^ Bex, Floris J .; Grasso, Floriana; Green, Nancy L .; Paglieri, Fabio; Reed, Chris, eds. (2017). Tecnologías de argumentos: teoría, análisis y aplicaciones . Estudios de lógica y argumentación. 68 . Londres: Publicaciones universitarias. ISBN 9781848902183. OCLC 1012498399 .
- ^ a b Bex, Floris J .; Snaith, Mark; Lawrence, John; Reed, Chris (marzo de 2014). "ArguBlogging: una aplicación para el argumento web" (PDF) . Semántica web: ciencia, servicios y agentes en la World Wide Web . 25 : 9-15. doi : 10.1016 / j.websem.2014.02.002 .
- ^ Aharoni, Ehud; et al. (2014). "Reclamaciones bajo demanda: una demostración inicial de un sistema para la detección automática y la identificación de polaridad de reclamaciones dependientes del contexto en corpora masivos" . Actas de COLING 2014 : 6–9.
- ^ Puñalada, Christian; Gurevych, Iryna (2014). "Identificación de estructuras discursivas argumentativas en ensayos persuasivos" . Actas de EMNLP 2014 : 46–56. doi : 10.3115 / v1 / D14-1006 . S2CID 71907 .
- ^ Green, Nancy L. (2013). "Hacia el análisis automatizado de los argumentos de los estudiantes". En Lane, H. Chad; Yacef, Kalina; Mostow, Jack; Pavlik, Philip (eds.). Inteligencia artificial en la educación: 16ª conferencia internacional, AIED 2013, Memphis, TN, EE. UU., 9 al 13 de julio de 2013: actas . Apuntes de conferencias en informática. 7926 . Berlina; Nueva York: Springer-Verlag . págs. 591–594. doi : 10.1007 / 978-3-642-39112-5_66 . ISBN 9783642391118.
- ^ Por ejemplo: "Análisis de argumentos" . analytics.arg.tech . Consultado el 11 de agosto de 2020 .
- ^ Por ejemplo: "Kialo" . www.kialo.com . Consultado el 11 de agosto de 2020 .
- ^ Mancherjee, Kevin; Sodan, Angela C. (septiembre de 2004). "¿Pueden las herramientas informáticas apoyar la toma de decisiones éticas?". ACM SIGCAS Informática y Sociedad . 34 (2): 1. CiteSeerX 10.1.1.61.7160 . doi : 10.1145 / 1052791.1052792 . S2CID 5503640 .
- ^ Mathieson, Kieran (diciembre de 2007). "Hacia una ciencia del diseño de soporte de decisiones éticas" . Revista de Ética Empresarial . 76 (3): 269-292. doi : 10.1007 / s10551-006-9281-4 . JSTOR 25075516 . S2CID 143999917 .
- ^ Loll, Frank; Pinkwart, Niels; Scheuer, Oliver; McLaren, Bruce M. (julio de 2009). "Hacia un sistema de tutoría inteligente y flexible para la argumentación" . 2009 Novena Conferencia Internacional IEEE sobre Tecnologías Avanzadas de Aprendizaje, 15-17 de julio de 2009 . IEEE. págs. 647–648. CiteSeerX 10.1.1.329.6574 . doi : 10.1109 / ICALT.2009.138 . S2CID 1026429 .
- ^ Goldin, Ilya M .; Ashley, Kevin D .; Pinkus, Rosa L. (mayo de 2001). "Presentación de PETE: soporte informático para la enseñanza de la ética" . ICAIL '01: Actas de la 8ª Conferencia Internacional sobre Inteligencia Artificial y Derecho . Nueva York: Association for Computing Machinery . págs. 94–98. CiteSeerX 10.1.1.19.6676 . doi : 10.1145 / 383535.383546 . ISBN 978-1-58113-368-4. S2CID 979724 .
- ^ Ashley, Kevin D .; Aleven, Vincent (mayo de 1991). "Hacia un sistema de tutoría inteligente para enseñar a los estudiantes de derecho a argumentar casos". ICAIL '91: Actas de la III Conferencia Internacional sobre Inteligencia Artificial y Derecho . Nueva York: Association for Computing Machinery . págs. 42–52. doi : 10.1145 / 112646.112651 . ISBN 978-0-89791-399-7. S2CID 6814858 .
- ^ Ritter, Steven; Anderson, John R .; Koedinger, Kenneth R .; Corbett, Albert (abril de 2007). "Tutor cognitivo: investigación aplicada en educación matemática" (PDF) . Boletín y revisión psiconómica . 14 (2): 249-255. CiteSeerX 10.1.1.158.4283 . doi : 10.3758 / bf03194060 . PMID 17694909 . S2CID 9547046 .