Repositorio Institucional
Repositorio Institucional
CONICET Digital
  • Inicio
  • EXPLORAR
    • AUTORES
    • DISCIPLINAS
    • COMUNIDADES
  • Estadísticas
  • Novedades
    • Noticias
    • Boletines
  • Ayuda
    • General
    • Datos de investigación
  • Acerca de
    • CONICET Digital
    • Equipo
    • Red Federal
  • Contacto
JavaScript is disabled for your browser. Some features of this site may not work without it.
  • INFORMACIÓN GENERAL
  • RESUMEN
  • ESTADISTICAS
 
Artículo

Formalization of argument accrual: acceptability semantics and dialectical proof procedure

Gomez Lucero, Mauro JavierIcon
Fecha de publicación: 09/2013
Editorial: IOS Press
Revista: AI Communications
ISSN: 0921-7126
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:
Ciencias de la Computación

Resumen

Argumentation is a powerful paradigm able to formalize commonsense reasoning, finding application in different domains such as automated reasoning, decision making, legal dispute, automated negotiation, etc. However, most of these argumentation-based formalizations do not model the notion of argument accrual, which has been recently gaining importance. This thesis defines a novel formalization of argument accrual, including a declarative characterization of this notion and an associated operational characterization addressing computation. The proposed formalization makes contributions to the existing accrual approaches, mainly concerning the answers obtained, answer explanation, accrual evaluation and comparison, and efficiency of computation.
Palabras clave: Argumentation , Commonsense Reasoning , Argument Accrual
Ver el registro completo
 
Archivos asociados
Thumbnail
 
Tamaño: 52.55Kb
Formato: PDF
.
Descargar
Licencia
info:eu-repo/semantics/openAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)
Identificadores
URI: http://hdl.handle.net/11336/21561
DOI: http://dx.doi.org/10.3233/AIC-130569
URL: http://content.iospress.com/articles/ai-communications/aic569
Colecciones
Articulos(CCT - BAHIA BLANCA)
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - BAHIA BLANCA
Citación
Gomez Lucero, Mauro Javier; Formalization of argument accrual: acceptability semantics and dialectical proof procedure; IOS Press; AI Communications; 26; 4; 9-2013; 413-415
Compartir
Altmétricas
 

Enviar por e-mail
Separar cada destinatario (hasta 5) con punto y coma.
  • Facebook
  • X Conicet Digital
  • Instagram
  • YouTube
  • Sound Cloud
  • LinkedIn

Los contenidos del CONICET están licenciados bajo Creative Commons Reconocimiento 2.5 Argentina License

https://www.conicet.gov.ar/ - CONICET

Inicio

Explorar

  • Autores
  • Disciplinas
  • Comunidades

Estadísticas

Novedades

  • Noticias
  • Boletines

Ayuda

Acerca de

  • CONICET Digital
  • Equipo
  • Red Federal

Contacto

Godoy Cruz 2290 (C1425FQB) CABA – República Argentina – Tel: +5411 4899-5400 repositorio@conicet.gov.ar
TÉRMINOS Y CONDICIONES