Real-time conditional commitment logic

Warda El Kholy, Mohamed El Menshawy, Amine Laarej, Jamal Bentahar, Faisal Al-Saqqar, Rachida Dssouli

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

6 Scopus citations

Abstract

A considerably large class of multi-agent systems (MASs) employed in real-time environments requires the possibility to express time-critical properties. In this paper, we develop a system of temporal logic RTCTLcc, an extension of CTL modalities and interval bound until modalities with conditional commitment and their fulfillment modalities. This logic allows us to formally model the interaction among autonomous agents using conditional commitments and to combine qualitative temporal aspects together with real-time constraints (time instants or intervals) in order to permit reasoning about qualitative and quantitative requirements and their specifications. We point out that useful properties of MASs, which are required to express temporal constraints as a fundamental part of functional requirements can be expressed in RTCTLcc. We also argue that time-critical properties expressed in executable action languages in other contributed approaches can be expressed in RTCTLcc.

Original languageBritish English
Title of host publicationPRIMA 2015
Subtitle of host publicationPrinciples and Practice of Multi-Agent Systems - 18th International Conference, Proceedings
EditorsPaolo Torroni, Andrea Omicini, Jane Hsu, Qingliang Chen, Paolo Torroni, Andrea Omicini, Jane Hsu, Qingliang Chen, Serena Villata, Serena Villata
PublisherSpringer Verlag
Pages547-556
Number of pages10
ISBN (Print)9783319255231, 9783319255231
DOIs
StatePublished - 2015
Event18th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2015 - Bertinoro, Italy
Duration: 26 Oct 201530 Oct 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9387
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference18th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2015
Country/TerritoryItaly
CityBertinoro
Period26/10/1530/10/15

Keywords

  • Conditional commitments
  • Multi-agent systems
  • Qualitative and quantitative requirements
  • Real-time

Fingerprint

Dive into the research topics of 'Real-time conditional commitment logic'. Together they form a unique fingerprint.

Cite this