Variants of temporal defeasible logics for modelling norm modifications

ABSTRACT

This paper proposes some variants of Temporal Defeasible Logic (TDL) to reason about normative modifications. These variants make it possible to differentiate cases in which, for example, modifications at some time change legal rules but their conclusions persist afterwards from cases where also their conclusions are blocked.

REFERENCES

• 1: Grigoris Antoniou , David Billington , Guido Governatori , Michael J. Maher, Representation results for defeasible logic, ACM Transactions on Computational Logic (TOCL), v.2 n.2, p.255-287, April 2001 [doi>10.1145/371316.371517]
• 2: N. Bassiliades, G. Antoniou, and I. Vlahavas. DR-DEVICE: A defeasible logic system for the Semantic Web. In 2nd PPSWR, Springer, 2004.
• 3: Guido Governatori , Michael J. Maher , Grigoris Antoniou , David Billington, Argumentation Semantics for Defeasible Logic, Journal of Logic and Computation, v.14 n.5, p.675-702, October 2004 [doi>10.1093/logcom/14.5.675]
• 4: G. Governatori, V. Padmanabhan, and A. Rotolo. Rule-based agents in temporalised defeasible logic. In 9th PRICAI, LNAI 4099, 31--40. Springer, 2006.
• 5: G. Governatori, M. Palmirani, R. Riveret, A. Rotolo, and G. Sartor. Norm modifications in defeasible logic. In JURIX 2005, 13--22. IOS Press, 2005.
• 6: Guido Governatori , Antonino Rotolo , Giovanni Sartor, Temporalised normative positions in defeasible logic, Proceedings of the 10th international conference on Artificial intelligence and law, June 06-11, 2005, Bologna, Italy [doi>10.1145/1165485.1165490]
• 7: R. Guastini. Teoria e dogmatica delle fonti. Giuffré, 1998.
• 8: Michael J. Maher, Propositional defeasible logic has linear complexity, Theory and Practice of Logic Programming, v.1 n.6, p.691-711, November 2001 [doi>10.1017/S1471068401001168]
• 9: D. Nute. Defeasible reasoning. In 20th HICSS, 470--477. IEEE press, 1987.
• 10: M. Palmirani and R. Brighi. Time model for managing the dynamic of normative system. In EGOV 2006, 207--218, Springer, 2006.