Formal Specification and Automatic Verification of Conditional Commitments

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.

Authors

• Warda El Kholy
• Mohamed El Menshawy
• Jamal Bentahar Concordia University
• Hongyang Qu
• Rachida Dssouli

Keywords

• Semantics
• Formal verification
• Model checking
• Intelligent systems
• Conditional logic
• Mental State
• Strong Commitment
• Social Commitment
• Formal Commitment
• Agent Communication
• Confidence In The System
• Formal Semantics
• Health-related Quality Of Life
• Local Actors
• Multi-agent Systems
• Shared Variance
• Environmental Agents
• Temporal Modulation
• Safety Properties
• First-order Logic
• Boolean Function
• Temporal Logic
• strong (classical) commitments
• model-checker
• compliance