Abstract
We investigate an extension of the formalism of interpreted systems by Halpern and colleagues to model 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, KD45 sui −jinn , is a stronger version of KD, the system often referred to as Standard Deontic Logic. We discuss these issues and present some simple examples.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
B. Chellas. Modal Logic. Cambridge University Press, Cambridge, 1980.
R. Fagin, J. Y. Halpern, Y. Moses, and M. Y Vardi. Reasoning about Knowledge. MIT Press, Cambridge, 1995.
R. Fagin, 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.
FIPA: Foundation for intelligent physical agents. http://www.fipa.org.
J. Halpern 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.
J. Halpern and M. Vardi. Model checking vs. theorem proving: a manifesto, pages 151–176. Artificial Intelligence and Mathematical Theory of Computation. Academic Press, Inc, 1991.
G. E. Hughes and M. J. Cresswell. A New Introduction to Modal Logic. Routledge, New York, 1996.
S. A. Kripke. Semantic analysis of modal logic (abstract). Journal of Symbolic Logic, 24:323–324, 1959.
A. Lomuscio, 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.
A. Lomuscio and M. Ryan. On the relation between interpreted systems and Kripke models. In M. Pagnucco, W. R. Wobcke, and C. Zhang, editors, 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.
A. Lomuscio and M. Sergot. Investigations in grounded semantics for multi-agent systems specifications via deontic logic. Technical report, Imperial College, London, UK, 2000.
A. Lomuscio and M. Sergot. Extending interpreting systems with some deontic concepts. In J. van Benthem, editor, Proceedings of TARK2001, pages 207–218, San Francisco, CA, July 2001. Morgan Kauffman.
J.-J. Ch. Meyer and W. van der Hoek. Epistemic Logic for AI and Computer Science, volume 41 of Cambridge Tracts in Theoretical Computer Science. Cambdridge University Press, 1995.
J.-J. Ch. Meyer and R. J. Wieringa. Deontic Logic: A Concise Overview, chapter 1, pages 3–16. Wiley Professional Computing Series. John Wiley and Sons, Chichester, UK, 1993.
S. Popkorn. First Steps in Modal Logic. Cambridge University Press: Cambridge, England, 1994.
H. Prakken and M. Sergot. Contrary-to-duty obligations. Studia Logica, 57(1):91–115, 1996.
M. Wooldridge. Computationally grounded theories of agency. In E. Durfee, editor, Proceedings of ICMAS, International Conference of Multi-Agent Systems. IEEE Press, 2000.
M. Wooldridge. Reasoning about rational agents. MIT Press, July 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lomuscio, A., Sergot, M. (2002). On Multi-agent Systems Specification via Deontic Logic. In: Meyer, JJ.C., Tambe, M. (eds) Intelligent Agents VIII. ATAL 2001. Lecture Notes in Computer Science(), vol 2333. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45448-9_7
Download citation
DOI: https://doi.org/10.1007/3-540-45448-9_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43858-8
Online ISBN: 978-3-540-45448-9
eBook Packages: Springer Book Archive