×

‘What I fail to do today, I have to do tomorrow’: A logical study of the propagation of obligations. (English) Zbl 1175.03010

Sadri, Fariba (ed.) et al., Computational logic in multi-agent systems. 8th international workshop, CLIMA VIII, Porto, Portugal, September 10–11, 2007. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-88832-1/pbk). Lecture Notes in Computer Science 5056. Lecture Notes in Artificial Intelligence, 82-99 (2009).
Summary: We study a logical property that concerns the preservation of future directed obligations that have not been fulfilled yet. We call this property ‘propagation property’. The goal is to define a combination of temporal and deontic logics which satisfies this property. Our starting point is the product of temporal and deontic logics. We investigate some modifications of the semantics of the product in order to satisfy the propagation property, without losing too much of the basic properties of the product. We arrive at a semantics in which we only consider ideal histories that share the same past as the current one, and that enables an interesting characterization of the states in which obligations propagate: these are the states where there are no violations of present directed obligations.
For the entire collection see [Zbl 1155.68010].

MSC:

03B45 Modal logic (including the logic of norms)
03B44 Temporal logic
03B62 Combined logics

Software:

AgentSpeak; 3APL
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Åqvist, L.: Combinations of tense and deontic logic. Journal of Applied Logic 3, 421–460 (2005) · Zbl 1081.03016 · doi:10.1016/j.jal.2005.04.002
[2] Bailhache, P.: Canonical models for temporal deontic logic. Logique et Analyse, 3–21 (1995) · Zbl 0973.03023
[3] Bratman, M.: Intention, plans, and practical reason. Harvard University Press, Cambridge (1987)
[4] Bratman, M.: Planning and the stability of intentions. Minds and Machines 2, 1–16 (1992)
[5] Broersen, J.: Strategic deontic temporal logic as a reduction to ATL, with an application to Chisholm’s scenario. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 53–68. Springer, Heidelberg (2006) · Zbl 1148.68480 · doi:10.1007/11786849_7
[6] Brunel, J., Bodeveix, J.-P., Filali, M.: A state/event temporal deontic logic. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 85–100. Springer, Heidelberg (2006) · Zbl 1148.03310 · doi:10.1007/11786849_9
[7] Cuppens, F., Cuppens-Boulahia, N., Sans, T.: Nomad: a security model with non atomic actions and deadlines. In: Proceedings of the 18th IEEE Computer Security Foundations Workshop (June 2005) · doi:10.1109/CSFW.2005.20
[8] Dastani, M., van Riemsdijk, B., Dignum, F., Meyer, J.: A programming language for cognitive agents: Goal directed 3APL. In: PROMAS 2003. ACM Press, New York (2003)
[9] Demolombe, R., Bretier, P., Louis, V.: Formalisation de l’obligation de faire avec délais. In: Proc. Journées Francophones sur la Modélisation Formelle de l’Interaction, Caen (2005)
[10] Gabbay, D., Kurucz, A., Wolter, F., Zakharyachev, M.: Many-Dimensional Modal Logics: Theory and Applications. Elsevier, Amsterdam (2003) · Zbl 1051.03001
[11] Hilpinen, R.: New studies in deontic logic. Reidel (1981) · Zbl 0515.03005 · doi:10.1007/978-94-009-8484-4
[12] Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Agent programming in 3apl. International Journal of Autonomous Agents and Multi-Agent Systems 2(4), 357–401 (1999) · Zbl 05387414 · doi:10.1023/A:1010084620690
[13] Horty, J.: Agency and Deontic Logic. Oxford University Press, Oxford (2001) · Zbl 1119.03313 · doi:10.1093/0195134613.001.0001
[14] Pnueli, A.: The temporal semantics of concurrent programs. Theoretical Computer Science 13, 45–60 (1981) · Zbl 0441.68010 · doi:10.1016/0304-3975(81)90110-9
[15] Rao, A., Georgeff, M.: Modeling rational agents within a BDI-architecture. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR 1991), pp. 473–484. Morgan Kaufmann Publishers, San Francisco (1991) · Zbl 0765.68194
[16] Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: van Hoe, R. (ed.) Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Eindhoven, The Netherlands (1996) · doi:10.1007/BFb0031845
[17] Ross, A.: Imperatives and logic. Theoria 7, 53–71 (1941)
[18] Wright, G.v.: Deontic logic. Mind 60, 1–15 (1951) · doi:10.1093/mind/LX.237.1
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.