Deontic Interpreted Systems

Studia Logica - Tập 75 - Trang 63-92 - 2003
Alessio Lomuscio1, Marek Sergot2
1Department of Computer Science, King’s College London, Strand, London, UK
2Department of Computing, Imperial College, London, UK

Tóm tắt

We investigate an extension of the formalism of interpreted systems by Halpern and colleagues to model the correct behaviour of agents. The semantical model allows for the representation and reasoning about states of correct and incorrect functioning behaviour of the agents, and of the system as a whole. We axiomatise this semantic class by mapping it into a suitable class of Kripke models. The resulting logic, KD45n i-j, is a stronger version of KD, the system often referred to as Standard Deontic Logic. We extend this formal framework to include the standard epistemic notions defined on interpreted systems, and introduce a new doubly-indexed operator representing the knowledge that an agent would have if it operates under the assumption that a group of agents is functioning correctly. We discuss these issues both theoretically and in terms of applications, and present further directions of work.

Tài liệu tham khảo

Anderson, A. R., ‘A reduction of deontic logic to alethic modal logic’, Mind, 58:100-103, 1958.

Åqvist, L., ‘Good samaritans, contrary-to-duty imperatives, and epistemic obligations’, NOUS, 1:361-379, 1967.

Blackburn, P., M. De Rijke, and Y. Venema, Modal Logic, volume 53 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 2001.

Chellas, B., Modal Logic: An Introduction, Cambridge University Press, Cambridge, 1980.

Fagin, R., J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning about Knowledge, MIT Press, Cambridge, 1995.

Fagin, R., J. Y. Halpern, and M. Y. Vardi, ‘What can machines know? On the properties of knowledge in distributed systems’, Journal of the ACM, 39(2):328-376, April 1992.

Gabbay, D., Fibring Logics, Oxford University Press, 1998.

Glasgow, J., G. MacEwen, and P. Panangaden, ‘A logic for reasoning about security’, ACM Transactions on Computer Systems, 10(3):226-264, August 1992.

Goldblatt, R., Logics of Time and Computation, Second Edition, Revised and Expanded, volume 7 of CSLI Lecture Notes, CSLI, Stanford, 1992. Distributed by University of Chicago Press.

Gabbay, D., and V. Shehtman, ‘Products of modal logics, part 1’, Logic Journal of the IGPL, 6(1):73-146, 1998.

Hughes, G. E., and M. J. Cresswell, A New Introduction to Modal Logic. Routledge, New York, 1996.

Halpern, J., and Y. Moses, ‘Knowledge and common knowledge in a distributed environment’, Journal of the ACM, 37(3):549-587, 1990. A preliminary version appeared in Proc. 3rd ACM Symposium on Principles of Distributed Computing, 1984.

Van Der Hoek, W., and J.-J. Ch. Meyer, ‘Making some issues of implicit knowledge explicit’, International Journal of Foundations of Computer Science, 3(2):193-223, 1992.

Jones, A. J. I. and M. J. Sergot, Deontic Logic in Computer Science: Normative System Specification, chapter 12: On the Characterisation of Law and Computer Systems: The Normative Systems Perspective. Wiley, 1993.

Kripke, S. A., ‘Semantic analysis of modal logic (abstract)’, Journal of Symbolic Logic, 24:323-324, 1959.

Kracht, M. and F. Wolter, ‘Properties of independently axiomatizable bimodal logics’, Journal of Symbolic Logic, 56(4):1469-1485, 1991.

Lomuscio, A., R. Van Der Meyden, and M. Ryan, ‘Knowledge in multi-agent systems: Initial configurations and broadcast’, ACM Transactions of Computational Logic, 1(2), October 2000.

Lomuscio, A., and M. Ryan, ‘On the relation between interpreted systems and Kripke models’, in M. Pagnucco, W. R. Wobcke, and C. Zhang, (eds.), Agent and Multi-Agent Systems — Proceedings of the AI97 Workshop on the theoretical and practical foundations of intelligent agents and agent-oriented systems, volume 1441 of Lecture Notes in Artificial Intelligence. Springer Verlag, Berlin, May 1998.

Lomuscio, A., F. Raimondi, and M. Sergot, ‘Towards model checking interpreted systems’, in Proceedings of Mochart — First International Workshop on Model Checking and Artificial Intelligence, 2002.

Lomuscio, A., and M. Sergot, ‘Violation, error recovery, and enforcement in the bit transmission problem’, in Proceedings of DEON'02 — Sixth International Workshop on Deontic Logic in Computer Science, London, May 2002.

Wooldridge, M., ‘Computationally grounded theories of agency’, in E. Durfee, (ed.), Proceedings of ICMAS, International Conference of Multi-Agent Systems, IEEE Press, 2000.

Thông tin
Thông tin xuất bản

Studia Logica

Tập 75

63-92

Thông tin tác giả