Title :
Formal Specification and Automatic Verification of Conditional Commitments
Author :
El Kholy, Warda ; El Menshawy, Mohamed ; Bentahar, Jamal ; Hongyang Qu ; Dssouli, Rachida
Abstract :
Developing and implementing a model checker dedicated to conditional logic with the user interface are urgent requirements for determining whether agents comply with their commitment protocols.
Keywords :
formal logic; formal specification; formal verification; multi-agent systems; protocols; user interfaces; agents; commitment protocols; conditional commitment automatic verification; conditional logic; formal specification; model checker; user interface; Conditional logic; Formal verification; Intelligent systems; Model checking; Semantics; compliance; intelligent systems; model-checker; strong (classical) commitments;
Journal_Title :
Intelligent Systems, IEEE
