Skip to main content
Journal cover image

Combining practical and dialectical commitments for service engagements

Publication ,  Conference
Telang, PR; Kalia, AK; Madden, JF; Singh, MP
Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
January 1, 2015

We understand a service engagement as a form of collaboration arising in a sociotechnical system (STS). Although STSs are fruitfully modeled using normative abstractions such as commitments, a conventional (practical) commitment can capture only part of the story, namely, a debtor’s promise to the creditor to bring about the consequent if the antecedent holds. In contrast, in a dialectical commitment, which we highlight, a debtor asserts to the creditor that the consequent is true if the antecedent is. For example, a customer may dialectically commit to a seller that the product she received is damaged but may not practically commit to damaging the product. We introduce a novel bipartite operationalization of dialectical commitments that separates their objective and subjective aspects and thus avoids the problems arising if we merely treat dialectical like practical commitments. We express that operationalization in temporal logic, developing a verification tool based on NuSMV, a well-known model-checker, to verify if the participants’ interactions comply with the participants’ dialectical commitments. We present a set of modeling patterns that incorporate both practical and dialectical commitments. We validate our proposal using a real-world scenario of contradictory medical diagnoses by different specialists.

Duke Scholars

Published In

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

DOI

EISSN

1611-3349

ISSN

0302-9743

ISBN

9783662486153

Publication Date

January 1, 2015

Volume

9435

Start / End Page

3 / 18

Related Subject Headings

  • Artificial Intelligence & Image Processing
  • 46 Information and computing sciences
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Telang, P. R., Kalia, A. K., Madden, J. F., & Singh, M. P. (2015). Combining practical and dialectical commitments for service engagements. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9435, pp. 3–18). https://doi.org/10.1007/978-3-662-48616-0_1
Telang, P. R., A. K. Kalia, J. F. Madden, and M. P. Singh. “Combining practical and dialectical commitments for service engagements.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9435:3–18, 2015. https://doi.org/10.1007/978-3-662-48616-0_1.
Telang PR, Kalia AK, Madden JF, Singh MP. Combining practical and dialectical commitments for service engagements. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2015. p. 3–18.
Telang, P. R., et al. “Combining practical and dialectical commitments for service engagements.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9435, 2015, pp. 3–18. Scopus, doi:10.1007/978-3-662-48616-0_1.
Telang PR, Kalia AK, Madden JF, Singh MP. Combining practical and dialectical commitments for service engagements. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2015. p. 3–18.
Journal cover image

Published In

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

DOI

EISSN

1611-3349

ISSN

0302-9743

ISBN

9783662486153

Publication Date

January 1, 2015

Volume

9435

Start / End Page

3 / 18

Related Subject Headings

  • Artificial Intelligence & Image Processing
  • 46 Information and computing sciences