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.
R. Rubino, A. Rotolo (2009). A Java Implementation opf Temporal Defeasible Logic. BERLIN : Springer.
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.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
