Preservation of obligations in a temporal and deontic framework

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Preservation of obligations in a temporal and deontic framework

Full text

Pdf (151 KB)

Source

International Conference on Autonomous Agents archive
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems table of contents

Honolulu, Hawaii

SESSION: Trust and reputation: poster papers table of contents

Article No. 177

Year of Publication: 2007

ISBN:978-81-904262-7-5

Authors

Jan Broersen	Utrecht University, Utrecht, The Netherlands
Julien Brunel	Institut de Recherche en Informatique de Toulouse, Toulouse, France

Sponsor

: IFAAMAS

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 8, Downloads (12 Months): 25, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1329125.1329339 What is a DOI?

ABSTRACT

We study logical properties that concern the preservation of future-directed obligations that have not been fulfilled yet. Our starting point is a product of temporal and deontic logics. We investigate some modifications of the semantics of the product in order to satisfy preservation properties, without loosing 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 a characterization of the states in which the obligations propagate. These are the states where any obligation of a formula that concerns the present moment is not violated. When there are such violations, the deontic realm switches to a lower level of ideality.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	J. Broersen. Strategic deontic temporal logic as a reduction to ATL, with an application to Chisholm's scenario. In L. Goble and J.-J. C. Meyer, editors, Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science (DEON'06), volume 4048 of Lecture Notes in Computer Science, pages 53--68. Springer, 2006.
	2	J. Brunel, J.-P. Bodeveix, and M. Filali. A state/event temporal deontic logic. In L. Goble and J.-J. C. Meyer, editors, Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science (DEON'06), volume 4048 of Lecture Notes in Computer Science, pages 85--100. Springer, 2006.
	3	Frederic Cuppens , Nora Cuppens-Boulahia , Thierry Sans, Nomad: A Security Model with Non Atomic Actions and Deadlines, Proceedings of the 18th IEEE workshop on Computer Security Foundations, p.186-196, June 20-22, 2005 [doi>10.1109/CSFW.2005.20]
	4	R. Demolombe, P. Bretier, and V. Louis. Formalisation de l'obligation de faire avec délais. In Proc. Journées Francophones sur la modélisation Formelle de l'Interaction, Caen, 2005.
	5	Ronald Fagin , Joseph Y. Halpern , Moshe Y. Vardi , Yoram Moses, Reasoning about knowledge, MIT Press, Cambridge, MA, 1995
	6	D. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyachev. Many-Dimensional Modal Logics: Theory and Applications. Elsevier, 2003.
	7	R. Hilpinen. New studies in deontic logic. Reidel, 1981.
	8	J. Horty. Agency and Deontic Logic. Oxford University Press, 2001.
	9	A. Pnueli. The temporal semantics of concurrent programs. Theoretical Computer Science, 13:45--60, 1981.
	10	A. Ross. Imperatives and logic. Theoria, 7:53--71, 1941.
	11	G. v. Wright. Deontic logic. Mind, 60:1--15, 1951.