Abstract
We propose a real-time conditional and unconditional commitment logic (RTCTLC) with semantics defined over the duration communication interpreted system – a system with arbitrary integer durations on transitions. The transitions with durations allow us to model different levels of temporal deadlines and to reduce extra verification work resulting from the use of unit measure steps. The whole framework allows us to formally model the behaviour of agents using (conditional, unconditional, and group) commitments and real-time constraints in order to permit reasoning about qualitative and quantitative requirements.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
What is escrow? How does escrow work? https://www.escrow.com/
Bentahar, J., Moulin, B., Meyer, J., Lespérance, Y.: A new logical semantics for agent communication. In: Proceedings of the CLIMA VII. LNAI, vol. 4371, pp. 151–170. Springer-Verlag (2007)
El-Menshawy, M., Bentahar, J., Kholy, W.E., Dssouli, R.: Reducing model checking commitments for agent communication to model checking ARCTL and GCTL\(^*\). Auton. Agent. Multi-agent Syst. 27(3), 375–418 (2013)
Emerson, E.A., Mok, A., Sistla, A.P., Srinivasan, J.: Quantitative temporal reasoning. Real-Time Syst. 4(4), 331–352 (1992)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)
Kholy, W.E., Menshawy, M.E., Laarej, A., Bentahar, J., Al-Saqqar, F., Dssouli, R.: Real-time conditional commitment logic. In: Proceedings of the PRIMA 2015. LNCS, vol. 9387, pp. 547–556. Springer (2015)
Weiss, G.: Multi-agent Systems: A Modern Approach to Distributed Artificial Intelligence. MIT Press, Cambridge (1999)
Woźna-Szcześniak, B.: Trends in contemporary computer science. In: Formal Methods and Data Mining. On the SAT-based Verification of Communicative Commitments, pp. 175–186. Białystok University of Technology Publishing Office (2014)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Woźna-Szcześniak, B., Szcześniak, I. (2019). Real-Time Conditional Commitment Logic and Duration Communication Interpreted Systems. In: De La Prieta, F., Omatu, S., Fernández-Caballero, A. (eds) Distributed Computing and Artificial Intelligence, 15th International Conference. DCAI 2018. Advances in Intelligent Systems and Computing, vol 800. Springer, Cham. https://doi.org/10.1007/978-3-319-94649-8_13
Download citation
DOI: https://doi.org/10.1007/978-3-319-94649-8_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-94648-1
Online ISBN: 978-3-319-94649-8
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)