Hostname: page-component-8448b6f56d-tj2md Total loading time: 0 Render date: 2024-04-24T18:59:23.736Z Has data issue: false hasContentIssue false

Defeasible logic programming: an argumentative approach

Published online by Cambridge University Press:  06 January 2004

ALEJANDRO J. GARCÍA
Affiliation:
Department of Computer Science & Engineering, Universidad Nacional del Sur, Bahía Blanca, Argentina (e-mail: agarcia@cs.uns.edu.ar)
GUILLERMO R. SIMARI
Affiliation:
Department of Computer Science & Engineering, Universidad Nacional del Sur, Bahía Blanca, Argentina (e-mail: grs@cs.uns.edu.ar)

Abstract

The work reported here introduces Defeasible Logic Programming (DeLP), a formalism that combines results of Logic Programming and Defeasible Argumentation. DeLP provides the possibility of representing information in the form of weak rules in a declarative manner, and a defeasible argumentation inference mechanism for warranting the entailed conclusions. In DeLP an argumentation formalism will be used for deciding between contradictory goals. Queries will be supported by arguments that could be defeated by other arguments. A query $q$ will succeed when there is an argument ${\mathcal A}$ for $q$ that is warranted, i.e. the argument ${\mathcal A}$ that supports $q$ is found undefeated by a warrant procedure that implements a dialectical analysis. The defeasible argumentation basis of DeLP allows to build applications that deal with incomplete and contradictory information in dynamic domains. Thus, the resulting approach is suitable for representing agent's knowledge and for providing an argumentation based reasoning mechanism to agents.

Type
Regular Papers
Copyright
© 2004 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)