Site Map:
Announcements:

DRVgraph is a defeasible logic rule base visualization framework, based on Nute's defeasible logic graphs (d-graphs). However, DRVgraph adopts a variety of extra features that enhance the expressive power of the graph.

DRVgraph is based on directed graphs (digraphs) for visually representing defeasible logic rules. In an attempt to leverage the inability of (directed) graphs to associate data of a variety of types with the nodes and edges in the graph, the use of distinct node and connection types is proposed. Thus, the digraphs in DRVgraph contain two kinds of nodes and three primary connection types, one for each of the three rule types of defeasible reasoning (strict rules, defeasible rules, defeaters). This results in rules of different types being represented more distinctively.

The framework was developed by Efstratios Kontopoulos, PhD student at the Dept. of Informatics, Aristotle University of Thessaloniki, Greece, under the supervision of assistant professor Nick Bassiliades.


DRVgraph is based on Nute's work:

- Nute, D. and Erk, K. 1998. Defeasible logic graphs: I. Theory. Decis. Support Syst. 22, 3 (Mar. 1998), 277-293.

- Nute, D., Hunter, Z., and Henderson, C. 1998. Defeasible logic graphs: II. Implementation. Decis. Support Syst. 22, 3 (Mar. 1998), 295-306.