Real-Time Conditional Commitment Logic and Duration Communication Interpreted Systems

  • Bożena Woźna-SzcześniakEmail author
  • Ireneusz Szcześniak
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 800)


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.


Real-time conditional commitment logic Duration communication interpreted system The Escrow protocol 


  1. 1.
    What is escrow? How does escrow work?
  2. 2.
    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)Google Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    Emerson, E.A., Mok, A., Sistla, A.P., Srinivasan, J.: Quantitative temporal reasoning. Real-Time Syst. 4(4), 331–352 (1992)CrossRefGoogle Scholar
  5. 5.
    Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)zbMATHGoogle Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    Weiss, G.: Multi-agent Systems: A Modern Approach to Distributed Artificial Intelligence. MIT Press, Cambridge (1999)Google Scholar
  8. 8.
    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)Google Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2019

Authors and Affiliations

  • Bożena Woźna-Szcześniak
    • 1
    Email author
  • Ireneusz Szcześniak
    • 2
  1. 1.IMCSJan Długosz University in CzęstochowaCzęstochowaPoland
  2. 2.ICISCzęstochowa University of TechnologyCzęstochowaPoland

Personalised recommendations