@article{telang_singh_yorke-smith_2019, title={A Coupled Operational Semantics for Goals and Commitments}, volume={65}, ISSN={["1943-5037"]}, url={https://doi.org/10.1613/jair.1.11494}, DOI={10.1613/jair.1.11494}, abstractNote={Commitments capture how an agent relates to another agent, whereas goals describe states of the world that an agent is motivated to bring about.  Commitments are elements of the social state of a set of agents whereas goals are elements of the private states of individual agents.  It makes intuitive sense that goals and commitments are understood as being complementary to each other. More importantly, an agent's goals and commitments ought to be coherent, in the sense that an agent's goals would lead it to adopt or modify relevant commitments and an agent's commitments would lead it to adopt or modify relevant goals.  However, despite the intuitive naturalness of the above connections, they have not been adequately studied in a formal framework. This article provides a combined operational semantics for goals and commitments by relating their respective life cycles as a basis for how these concepts (1) cohere for an individual agent and (2) engender cooperation among agents.  Our semantics yields important desirable properties of convergence of the configurations of cooperating agents, thereby delineating some theoretically well-founded yet practical modes of cooperation in a multiagent system.}, journal={JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH}, publisher={AI Access Foundation}, author={Telang, Pankaj R. and Singh, Munindar P. and Yorke-Smith, Neil}, year={2019}, pages={31–85} } @article{telang_kalia_singh_2014, title={Engineering Service Engagements via Commitments}, volume={18}, ISSN={["1941-0131"]}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-84901307448&partnerID=MN8TOARS}, DOI={10.1109/mic.2013.86}, abstractNote={A service engagement describes how two or more independent parties interact with each other. Traditional approaches specify these interactions as message sequence charts (MSCs), hiding underlying business relationships and, consequently, complicating modification. Comma is a commitment-based approach that produces a business model drawn from an extensible pattern library and yields flexible MSCs. An empirical study shows that models produced via Comma yield superior flexibility, are comprehensible to others, and take less time and effort to produce. The Web extra presents the claims regarding Comma's effectiveness as a set of alternative hypotheses, as well as the complete list of MSCs developed via both traditional and Comma approaches.}, number={3}, journal={IEEE INTERNET COMPUTING}, author={Telang, Pankaj R. and Kalia, Anup K. and Singh, Munindar P.}, year={2014}, pages={46–54} } @inproceedings{telang_singh_2009, title={Business modeling via commitments}, volume={5907}, booktitle={Service-oriented computing: agents, semantics, and engineering, proceedings}, author={Telang, P. R. and Singh, M. P.}, year={2009}, pages={111–125} }