DocumentCode
322273
Title
d-Graph: an argument-based system incorporating defeasible graphs
Author
Nute, Donald ; Henderson, Christopher ; Hunter, Zachary
Author_Institution
Artificial Intelligence Center, Georgia Univ., Athens, GA, USA
Volume
5
fYear
1997
fDate
7-10 Jan 1997
Firstpage
354
Abstract
We describe a tool to help users construct and explore graphs representing possibly incomplete or uncertain relations between propositions in a domain of interest selected by the user. The inference engine for this argument-based system (ABS) is derived from defeasible logic. Our prototype ABS implements a modification of an algorithm for reasoning with these graphs first reported in (Nute and Erk, 1996). We also report improved soundness and completeness results of the sort found in (Nute and Erk, 1996)
Keywords
formal logic; graph theory; knowledge based systems; knowledge representation; nonmonotonic reasoning; uncertainty handling; argument-based system; completeness; d-Graph; defeasible graphs; defeasible logic; incomplete relations; inference engine; prototype; reasoning; soundness; uncertain relations; Birds; Hoses; Logic; Prototypes;
fLanguage
English
Publisher
ieee
Conference_Titel
System Sciences, 1997, Proceedings of the Thirtieth Hawaii International Conference on
Conference_Location
Wailea, HI
ISSN
1060-3425
Print_ISBN
0-8186-7743-0
Type
conf
DOI
10.1109/HICSS.1997.663193
Filename
663193
Link To Document