In this paper we report on a Java implementation of a variant of Temporal Defeasible Logic, an extension of Defeasible Logic developed to capture the concept of temporal persistence. The system consists of three elements: a graphical user interface for selecting defeasible theories, and for visualizing conclusions; a parser, which translates sets of rules in TXT or XML formats; and the inference engine to compute conclusions.
A Java Implementation opf Temporal Defeasible Logic / R. Rubino; A. Rotolo. - STAMPA. - (2009), pp. 297-304. (Intervento presentato al convegno International Symposium, RuleML 2009 tenutosi a Las Vegas, Nevada, USA nel November 5-7, 2009).
A Java Implementation opf Temporal Defeasible Logic
RUBINO, ROSSELLA;ROTOLO, ANTONINO
2009
Abstract
In this paper we report on a Java implementation of a variant of Temporal Defeasible Logic, an extension of Defeasible Logic developed to capture the concept of temporal persistence. The system consists of three elements: a graphical user interface for selecting defeasible theories, and for visualizing conclusions; a parser, which translates sets of rules in TXT or XML formats; and the inference engine to compute conclusions.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.