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 defensible logic [15]. Our prototype ABS implements a modification of an algorithm for reasoning with these graphs first reported in [17]. We also report improved soundness and completeness results of the sort founding[17].
Citation:
Donald Nute, Christopher Henderson, Zachary Hunter, "d-Graph: An Argument-Based System Incorporating Defensible Graphs," hicss, vol. 5, pp.354, 30th Hawaii International Conference on System Sciences (HICSS) Volume 5: Advanced Technology Track, 1997