Skip to main content
SpringerLink
Log in

On Commitments Creation, Compliance and Violation

  • Conference paper
  • First Online:
Recent Trends and Future Technology in Applied Intelligence (IEA/AIE 2018)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 10868))

Abstract

The importance of specifying a standard framework for agent communication languages (ACL) with a clear semantics has been widely recognized. The semantics should be verifiable, clear and practical. We aim, in this paper, to present a clear way of detecting whether or not a commitment is violated. We will define a violation/compliance criterion based on the existence of arguments/proofs for the induced commitment(s). The logic which we shall employ is temporal modal defeasible logic which formalizes commitments that agents undertake as a consequence of communicative actions. A clear meaning in terms of the commitments it induces is associated with each speech. Commitments are represented as modal sentences.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 89.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 119.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Al-Shaikh, A., Khattab, H., Moubaiddin, A., Obeid, N.: A defeasible description logic for representing bibliographic data. In: Taha, N., Al-Sayyed, R., Alqatawna, J., Rodan, A. (eds.) Social Media Shaping e-Publishing and Academia, pp. 95–105. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-55354-2_8

    Chapter  Google Scholar 

  2. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Embedding defeasible logic into logic programming. Theor. Pract. Log. Program. 6(6), 703–735 (2006)

    Article  MathSciNet  Google Scholar 

  3. Antoniou, G., Dimaresis, N., Governatori, G.: A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems. Expert Syst. Appl. 36(2), 4125–4134 (2009)

    Article  Google Scholar 

  4. Bassiliades, N., Antoniou, G., Vlahavas, I.: A defeasible logic reasoner for the semantic web. Int. J. Semant. Web Inf. Syst. (IJSWIS) 2(1), 1–41 (2006)

    Article  Google Scholar 

  5. Bentahar, J., Moulin, B., Meyer, John-Jules Ch., Lespérance, Y.: A New Logical Semantics for Agent Communication. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol. 4371, pp. 151–170. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-69619-3_9

    Chapter  MATH  Google Scholar 

  6. Bentahar, J., El-Menshawy, M., Qu, H., Dssouli, R.: Communicative commitments: model checking and complexity analysis. Knowl. Based Syst. 35, 21–34 (2012)

    Article  Google Scholar 

  7. Cohen, P., Levesque, H.: Communicative actions for artificial agents. In: Proceedings of the International Conference on Multi-Agent Systems. AAAI Press, San Francisco (1995)

    Google Scholar 

  8. Guerin, F., Pitt, J.: Denotational semantics for agent communication language. In: Proceedings of the Fifth International Conference on Autonomous Agents, pp. 497–504. ACM (2001)

    Google Scholar 

  9. Hijazi, S., Jabri, R., Obeid, N.: On drug dosage control using description defeasible logic. In: International Conference on Computational Science and Computational Intelligence (CSCI). IEEE (2017)

    Google Scholar 

  10. Kontopoulos, E., Bassiliades, N., Governatori, G., Antoniou, G.: Extending a defeasible reasoner with modal and deontic logic operators. In: IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, vol. 3, pp. 626–629 (2008)

    Google Scholar 

  11. Lam, H.-P., Governatori, G.: What are the necessity rules in defeasible reasoning? In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS (LNAI), vol. 6645, pp. 187–192. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-20895-9_17

    Chapter  MATH  Google Scholar 

  12. Maher, M.J., Rock, A., Antoniou, G., Billington, D., Miller, T.: Efficient defeasible reasoning systems. Int. J. Artif. Intell. Tools 10(4), 483–501 (2001)

    Article  Google Scholar 

  13. Maudet, N., Chaib-Draa, B.: Commitment-based and dialogue-game-based protocols: new trends in agent communication languages. Knowl. Eng. Rev. 17(02), 157–179 (2002)

    Article  Google Scholar 

  14. Moubaiddin, A., Obeid, N.: Towards a formal model of knowledge acquisition via cooperative dialogue. ICEIS 5, 182–189 (2007)

    Google Scholar 

  15. Moubaiddin, A., Obeid, N.: The role of dialogue in remote diagnostics. In: Proceedings of the 20th International Conference on Condition Monitoring & Diagnostic Engineering Management, pp. 677–686 (2007)

    Google Scholar 

  16. Moubaiddin, A., Obeid, N.: Dialogue and argumentation in multi-agent diagnosis. In: Nguyen, N.T., Katarzyniak, R. (eds.) New Challenges in Applied Intelligence Technologies, Studies in Computational Intelligence, vol. 134, pp. 13–22. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-79355-7_2

    Chapter  Google Scholar 

  17. Moubaiddin, A., Obeid, N.: Partial information basis for agent-based collaborative dialogue. Appl. Intell. 30(2), 142–167 (2009)

    Article  Google Scholar 

  18. Moubaiddin, A., Obeid, N.: On formalizing social commitments in dialogue and argumentation models using temporal defeasible logic. Knowl. Inf. Syst. 37(2), 417–452 (2013)

    Article  Google Scholar 

  19. Moubaiddin, A., Salah, I., Obeid, N.: A temporal modal defeasible logic for formalizing social commitments in dialogue and argumentation models. Appl. Intell. 48, 1–20 (2017)

    Google Scholar 

  20. Obeid, N.: Towards a model of learning through communication. Knowl. Inf. Syst. 2(4), 498–508 (2000)

    Article  Google Scholar 

  21. Obeid, N.: A formalism for representing and reasoning with temporal information, event and change. Appl. Intell. 23(2), 109–119 (2005)

    Article  MathSciNet  Google Scholar 

  22. Obeid, N., Moubaiddin, A.: Towards a formal model of knowledge sharing in complex systems. In: Szczerbicki, E., Nguyen, N.T. (eds.) Smart Information and Knowledge Management, Studies in Computational Intelligence Series, pp. 53–82. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  23. Obeid, N., Rao, R.B.: On integrating event definition and event detection. Knowl. Inf. Syst. 22(2), 129–158 (2010)

    Article  Google Scholar 

  24. Obeid, N., Rawashdeh, E., Alduweib, E., Moubaiddin, A.: On ontology-based diagnosis and defeasibility. In: International Conference on Computational Science and Computational Intelligence (CSCI), pp. 57–62. IEEE (2016)

    Google Scholar 

  25. Sabri, K.E., Obeid, N.: A temporal defeasible logic for handling access control policies. Appl. Intell. 44(1), 30–42 (2016)

    Article  Google Scholar 

  26. Singh, M.: Synthesizing coordination requirements for heterogeneous autonomous agents. Auton. Agent. Multi-Agent Syst. 3(2), 107–132 (2000)

    Article  Google Scholar 

  27. Wooldridge, M.: Semantic issues in the verification of agent communication languages. Auton. Agent. Multi-Agent Syst. 3(1), 9–31 (2000)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Foreign Languages, The University of Jordan, Amman, Jordan

    Asma Mobaiddin

  2. King Hussein School of Computing Sciences, Princess Sumaya University for Technology, Amman, Jordan

    Nadim Obeid

  3. King Abdullah II School for Information Technology, The University of Jordan, Amman, Jordan

    Nadim Obeid

Authors
  1. Asma Mobaiddin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nadim Obeid
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Nadim Obeid .

Editor information

Editors and Affiliations

  1. University of Regina, Regina, SK, Canada

    Malek Mouhoub

  2. University of Regina, Regina, SK, Canada

    Samira Sadaoui

  3. Concordia University, Montreal, QC, Canada

    Otmane Ait Mohamed

  4. Texas State University, San Marcos, TX, USA

    Moonis Ali

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Mobaiddin, A., Obeid, N. (2018). On Commitments Creation, Compliance and Violation. In: Mouhoub, M., Sadaoui, S., Ait Mohamed, O., Ali, M. (eds) Recent Trends and Future Technology in Applied Intelligence. IEA/AIE 2018. Lecture Notes in Computer Science(), vol 10868. Springer, Cham. https://doi.org/10.1007/978-3-319-92058-0_45

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-92058-0_45

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-92057-3

  • Online ISBN: 978-3-319-92058-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation