Showing 1–3 of 3 results for author: Chesñevar, C I

A Framework for Combining Defeasible Argumentation with Labeled Deduction

Authors: Carlos Iván Chesñevar, Guillermo Ricardo Simari

Abstract: In the last years, there has been an increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI and other related areas. Labeled Deductive Systems (LDS) were developed as a flexible methodology to formalize such a kind of complex logical systems. Defeasible argumentation has proven to be a successful approach to formalizing commonsense reasoning, encompassi… ▽ More In the last years, there has been an increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI and other related areas. Labeled Deductive Systems (LDS) were developed as a flexible methodology to formalize such a kind of complex logical systems. Defeasible argumentation has proven to be a successful approach to formalizing commonsense reasoning, encompassing many other alternative formalisms for defeasible reasoning. Argument-based frameworks share some common notions (such as the concept of argument, defeater, etc.) along with a number of particular features which make it difficult to compare them with each other from a logical viewpoint. This paper introduces LDSar, a LDS for defeasible argumentation in which many important issues concerning defeasible argumentation are captured within a unified logical framework. We also discuss some logical properties and extensions that emerge from the proposed framework. △ Less

Submitted 27 May, 2004; originally announced May 2004.

Comments: 15 pages, presented at CMSRA Workshop 2003. Buenos Aires, Argentina

Journal ref: In "Computer Modeling of Scientific Reasoning" (C.Delrieux, J.Legris, Eds.). Pp. 43-56, Ed. Ediuns, Argentina, 2003. ISBN 987-89281-89-6

Pruning Search Space in Defeasible Argumentation

Authors: Carlos Iván Chesñevar, Guillermo Ricardo Simari, Alejandro Javier García

Abstract: Defeasible argumentation has experienced a considerable growth in AI in the last decade. Theoretical results have been combined with development of practical applications in AI & Law, Case-Based Reasoning and various knowledge-based systems. However, the dialectical process associated with inference is computationally expensive. This paper focuses on speeding up this inference process by pruning… ▽ More Defeasible argumentation has experienced a considerable growth in AI in the last decade. Theoretical results have been combined with development of practical applications in AI & Law, Case-Based Reasoning and various knowledge-based systems. However, the dialectical process associated with inference is computationally expensive. This paper focuses on speeding up this inference process by pruning the involved search space. Our approach is twofold. On one hand, we identify distinguished literals for computing defeat. On the other hand, we restrict ourselves to a subset of all possible conflicting arguments by introducing dialectical constraints. △ Less

Submitted 27 May, 2004; originally announced May 2004.

Comments: 11 pages

Journal ref: Proc. of the Workshop on Advances and Trends in Search in Artificial Intelligence, pp.40-47. International Conf. of the Chilean Society in Computer Science, Santiago, Chile, 2000

Integrating Defeasible Argumentation and Machine Learning Techniques

Authors: Sergio Alejandro Gomez, Carlos Ivan Chesñevar

Abstract: The field of machine learning (ML) is concerned with the question of how to construct algorithms that automatically improve with experience. In recent years many successful ML applications have been developed, such as datamining programs, information-filtering systems, etc. Although ML algorithms allow the detection and extraction of interesting patterns of data for several kinds of problems, mo… ▽ More The field of machine learning (ML) is concerned with the question of how to construct algorithms that automatically improve with experience. In recent years many successful ML applications have been developed, such as datamining programs, information-filtering systems, etc. Although ML algorithms allow the detection and extraction of interesting patterns of data for several kinds of problems, most of these algorithms are based on quantitative reasoning, as they rely on training data in order to infer so-called target functions. In the last years defeasible argumentation has proven to be a sound setting to formalize common-sense qualitative reasoning. This approach can be combined with other inference techniques, such as those provided by machine learning theory. In this paper we outline different alternatives for combining defeasible argumentation and machine learning techniques. We suggest how different aspects of a generic argument-based framework can be integrated with other ML-based approaches. △ Less

Submitted 28 May, 2004; v1 submitted 25 February, 2004; originally announced February 2004.

Comments: 5 pages

ACM Class: I.2.0

Journal ref: Procs. WICC 2003 . Pp. 787-791. Tandil, Argentina, Mayo 2003