论文信息 - Formal Specification and Automatic Verification of Conditional Commitments - 字舞流文

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.

Jamal Bentahar | Rachida Dssouli | Hongyang Qu | Mohamed El-Menshawy | Warda El Kholy

[1] Michael Wooldridge,et al. Model checking rational agents , 2004, IEEE Intelligent Systems.

[2] Jamal Bentahar,et al. Reducing model checking commitments for agent communication to model checking ARCTL and GCTL* , 2013, Autonomous Agents and Multi-Agent Systems.

[3] Jamal Bentahar,et al. Communicative commitments: Model checking and complexity analysis , 2012, Knowl. Based Syst..

[4] Marco Colombetti,et al. Research directions in agent communication , 2013, TIST.

[5] Alessio Lomuscio,et al. MCMAS: A Model Checker for the Verification of Multi-Agent Systems , 2009, CAV.

[6] Paola Mello,et al. Representing and monitoring social commitments using the event calculus , 2013, Autonomous Agents and Multi-Agent Systems.

[7] Munindar P. Singh,et al. Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols , 2004, Annals of Mathematics and Artificial Intelligence.

[8] Jamal Bentahar,et al. Representing and reasoning about communicative conditional commitments , 2013, AAMAS.

[9] Munindar P. Singh. A Social Semantics for Agent Communication Languages , 2000, Issues in Agent Communication.

[10] Munindar P. Singh. Semantical Considerations on Dialectical and Practical Commitments , 2008, AAAI.

[11] Philippe Schnoebelen,et al. The Complexity of Temporal Logic Model Checking , 2002, Advances in Modal Logic.