Filters








2 Hits in 3.7 sec

ProMoca: Probabilistic Modeling and Analysis of Agents in Commitment Protocols

Akın Günay, Yang Liu, Jie Zhang
2016 The Journal of Artificial Intelligence Research  
Social commitment protocols regulate interactions of agents in multiagent systems. Several methods have been developed to analyze properties of commitment protocols.  ...  Secondly, we identify two essential properties of an agent with respect to a commitment protocol, namely compliance and goal satisfaction.  ...  This work is supported by "Formal Verification on Cloud" project under Grant No: M4081155.020 and "Bring the Advanced Model Checking Techniques to Real-world Problems" project under Grant No: M4011178.020  ... 
doi:10.1613/jair.5135 fatcat:o5ki76vqazefhlusnbcvedm2pe

Cupid: Commitments in Relational Algebra

Amit Chopra, Munindar Singh
2015 PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE  
We propose Cupid, a language for specifying commitments that supports their information-centric aspects, and offers crucial benefits.  ...  Three, Cupid maps to relational database queries and thus provides a set-based semantics for retrieving commitment instances in states such as being violated, discharged, and so on.  ...  Acknowledgments Munindar Singh was partially supported by U.S. Department of Defense under the Science of Security Lablet grant.  ... 
doi:10.1609/aaai.v29i1.9443 fatcat:hfp7tn2cmbegtlmfnx4qohxa2y