Hostname: page-component-74656f9884-8r8nv Total loading time: 0 Render date: 2026-11-08T14:35:15.842Z 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)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

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.

Information

Type
Regular Papers
Copyright
© 2004 Cambridge University Press