Temporalised normative positions in defeasible logic

ABSTRACT

We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of temporalised agency and temporalised normative positions. We argue about the defeasible nature of these notions and then we show how to represent and reason with them in the setting of Defeasible Logic.

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: G. Antoniou, D. Billington, G. Governatori, M. Maher, and A. Rock. A family of defeasible reasoning logics and its implementation. In W. Horn, editor, Proc. ECAI 2000, Amsterdam, 2000. IOS.
• 3: Alexander Artikis , Jeremy Pitt , Marek Sergot, Animated specifications of computational societies, Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3, July 15-19, 2002, Bologna, Italy [doi>10.1145/545056.545070]
• 4: N. Bassiliades, G. Antoniou, and I. Vlahavas. DR-DEVICE: A defeasible logic system for the Semantic Web. In H. J. Ohlbach and S. Schaffert, editors, 2nd Workshop on Principles and Practice of Semantic Web Reasoning. Springer, 2004.
• 5: Rosaria Conte , Chrysanthos Dellarocas, Social Order in Multiagent Systems, Kluwer Academic Publishers, Norwell, MA, 2001
• 6: D. Elgesem. The modal logic of agency. Nordic Journal of Philosophical Logic, 2:1--48, 1997.
• 7: Jonathan Gelati , Antonino Rotolo , Giovanni Sartor , Guido Governatori, Normative autonomy and normative co-ordination: declarative power, representation, and mandate, Artificial Intelligence and Law, v.12 n.1, p.53-81, January 2004 [doi>10.1007/s10506-004-1922-2]
• 8: G. Governatori. Representing business contracts in RuleML. Int. Journal of Coop. Inf. Syst., 14(2-3), 2005.
• 9: 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]
• 10: G. Governatori and A. Rotolo. Defeasible logic: Agency, intention and obligation. In A. Lomuscio and D. Nute, editors, Proc. DEON 2004, Berlin, 2004. Springer.
• 11: G. Governatori and A. Rotolo. Modelling contracts in RuleML. In T. Gordon, editor, Proc. Jurix 2004, Amsterdam, 2004. IOS.
• 12: Joseph Y. Halpern , Yoram Moses, A guide to completeness and complexity for modal logics of knowledge and belief, Artificial Intelligence, v.54 n.3, p.319-379, April 1992 [doi>10.1016/0004-3702(92)90049-4]
• 13: A. J. I. Jones and M. Sergot. A formal characterisation of institutionalised power. Journal of IGPL, 3:427--443, 1996.
• 14: Ch. Krogh and H. Herrestad. Getting personal: Some notes on the relationship between personal and impersonal obligation. In M. Brown and J. Carmo, editors, Proc. DEON 1996, Berlin, 1996. Springer.
• 15: A. Lomuscio and D. Nute, editors. Proc. DEON 2004, Berlin, 2004. Springer.
• 16: 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]
• 17: M. J. Maher, A. Rock, G. Antoniou, D. Billignton, and T. Miller. Efficient defeasible reasoning systems. International Journal of Artificial Intelligence Tools, 10(4):483--501, 2001.
• 18: D. Nute. Defeasible logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, volume 3. OUP, 1987.
• 19: D. Nute. Norms, priorities, and defeasible logic. In P. McNamara and H. Prakken, editors, Proc. DEON 1998. IOS, Amsterdam, 1998.
• 20: Jeremy Pitt, Open Agent Societies: Normative Specifications in Multi-Agent Systems, John Wiley & Sons, 2004
• 21: H. Prakken and G. Sartor. A dialectical model of assessing conflicting arguments in legal reasoning. Al and Law, 4:331--368, 1996.
• 22: Action Concepts for Describing Organised Interaction, Proceedings of the 30th Hawaii International Conference on System Sciences: Advanced Technology Track, p.373, January 03-06, 1997
• 23: G. Sartor. Legal Reasoning. Springer, Dordrecht, 2005.
• 24: J. R. Searle. The Construction of Social Reality. Penguin, Harmondsworth, 1995.
• 25: Guillermo R. Simari , Ronald P. Loui, A mathematical treatment of defeasible reasoning and its implementation, Artificial Intelligence, v.53 n.2-3, p.125-157, Feb. 1992 [doi>10.1016/0004-3702(92)90069-A]