Formalizing processes in defeasible argumentation using labeled deductive systems

• Autores: Carlos Iván Chesñevar
• Localización: Journal of Computer Science and Technology, ISSN-e 1666-6038, Vol. 1, Nº. 5, 2001 (Ejemplar dedicado a: Fifth Issue; 15 p.)
• Idioma: inglés
• Enlaces
  • Texto completo
• Resumen

  • This paper summarizes the main results developed in the author's PhD Thesis. The main goal of the Thesis is to provide a formalization of defeasible argumentation oriented towards its computational treatment. In order to do this, an LDS-based logical framework for defeasible argumentation called LDSar has been developed. The object language is that of logic programming, complemented with labels that identify distinguished elements for representing knowledge and performing inference.