Hostname: page-component-5b777bbd6c-7mr9c Total loading time: 0 Render date: 2025-06-17T16:26:50.494Z Has data issue: false hasContentIssue false

Defeasible logic programming: an argumentativeapproach

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 andDefeasible Argumentation. DeLP provides the possibility ofrepresenting information in the form of weak rulesin a declarative manner, and a defeasible argumentation inferencemechanism for warranting the entailed conclusions. In DeLP anargumentation formalism will be used for deciding betweencontradictory goals. Queries will be supported by arguments thatcould be defeated by other arguments. A query $q$ will succeed when there is anargument ${\mathcal A}$for $q$ that iswarranted, i.e. the argument ${\mathcalA}$ that supports $q$ is found undefeated by a warrant procedurethat implements a dialectical analysis. The defeasible argumentationbasis of DeLP allows to build applications that deal with incompleteand contradictory information in dynamic domains. Thus, theresulting approach is suitable for representing agent's knowledgeand for providing an argumentation based reasoning mechanism toagents.

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.)

Article purchase

Temporarily unavailable