Skip to main content
SpringerLink
Log in
Book cover

International Conference on Artificial Intelligence and Soft Computing

ICAISC 2019: Artificial Intelligence and Soft Computing pp 564–574Cite as

SMT-Based Encoding of Argumentation Dialogue Games

  • Conference paper
  • First Online:

  • 1129 Accesses

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

Abstract

The aim of this work is to explore possibilities of performing semantic verification of dialogue game argumentation protocols. To this end, we analyse a chosen dialogue system which allows for the simulation of a parent-child discourse. The system under analysis is enriched by the addition of elements of emotional reasoning. In this paper, we show only the first stage of applying the verification technique. It consists of encoding a mathematical game model as an SMT formula. Then, we compute the satisfiability of the conjunction of this formula with another formula that encodes a feature of the model. This technique can be used to verify the correctness of the protocol in the sense of it satisfying the expected properties.

This is a preview of subscription content, 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   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.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

Learn about institutional subscriptions

References

  1. Bentahar, J., Meyer, J.J.C., Wan, W.: Model checking agent communication. In: Dastani, M., Hindriks, K., Meyer, J.J. (eds.) Specification and Verification of Multi-agent Systems, pp. 67–102. Springer, Boston (2010). https://doi.org/10.1007/978-1-4419-6984-2_3

    Chapter  MATH  Google Scholar 

  2. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite state concurrent systems using temporal logic specifications: a practical approach. In: Wright, J.R., Landweber, L., Demers, A.J., Teitelbaum, T. (eds.) Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 1983, pp. 117–126. ACM Press (1983)

    Google Scholar 

  3. Dunin-Kȩplicz, B., Strachocka, A.: Paraconsistent multi-party persuasion in TalkLOG. In: Chen, Q., Torroni, P., Villata, S., Hsu, J., Omicini, A. (eds.) PRIMA 2015. LNCS (LNAI), vol. 9387, pp. 265–283. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-25524-8_17

    Chapter  Google Scholar 

  4. Ekman, P.: An argument for basic emotions. Cogn. Emot. 6, 169–200 (1992)

    Article  Google Scholar 

  5. Kacprzak, M., Dziubiński, M., Budzyńska, K.: Strategies in dialogues: a game-theoretic approach. In: Computational Models of Argument - Proceedings of COMMA 2014, pp. 333–344 (2014)

    Google Scholar 

  6. Kacprzak, M.: Persuasive strategies in dialogue games with emotional reasoning. In: Polkowski, L., et al. (eds.) IJCRS 2017. LNCS (LNAI), vol. 10314, pp. 435–453. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-60840-2_32

    Chapter  Google Scholar 

  7. Kacprzak, M., Sawicka, A., Zbrzezny, A.: Towards verification of dialogue protocols: a mathematical model. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2016. LNCS (LNAI), vol. 9693, pp. 329–339. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-39384-1_28

    Chapter  Google Scholar 

  8. Kacprzak, M., Sawicka, A., Zbrzezny, A., Rzeńca, K., Żukowska, K.: A formal model of an argumentative dialogue in the management of emotions. Logic Log. Philos. 27(4), 471–490 (2017). http://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2017.024

    MathSciNet  Google Scholar 

  9. Mackenzie, J.D.: Question-begging in non-cumulative systems. J. of Philos. Logic 8, 117–133 (1979)

    Article  MathSciNet  Google Scholar 

  10. Prakken, H.: Formal systems for persuasion dialogue. Knowl. Eng. Rev. 21, 163–188 (2006)

    Article  Google Scholar 

  11. Sawicka, A., Kacprzak, M., Zbrzezny, A.: A novel description language for two-agent dialogue games. In: Polkowski, L., et al. (eds.) IJCRS 2017. LNCS (LNAI), vol. 10314, pp. 466–486. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-60840-2_34

    Chapter  Google Scholar 

  12. Walton, D.N., Krabbe, E.C.W.: Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. State University of New York Press, New York (1995)

    Google Scholar 

  13. Zbrzezny, A.M., Zbrzezny, A., Raimondi, F.: Efficient model checking timed and weighted interpreted systems using SMT and SAT solvers. In: Jezic, G., Chen-Burger, Y.-H.J., Howlett, R.J., Jain, L.C. (eds.) Agent and Multi-Agent Systems: Technology and Applications. SIST, vol. 58, pp. 45–55. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-39883-9_4

    Chapter  MATH  Google Scholar 

Download references

Acknowledgment

The work of M. Kacprzak was supported by the Bialystok University of Technology, Poland, as part of the research grant of the Faculty of Computer Science and funded by the resources for research by Ministry of Science and Higher Education, Poland (research subsidy of the Faculty of Computer Science, Bialystok University of Technology).

Author information

Authors and Affiliations

  1. Bialystok University of Technology, Bialystok, Poland

    Magdalena Kacprzak

  2. Polish-Japanese Academy of Information Technology, Warsaw, Poland

    Anna Sawicka

  3. Jan Długosz University in Częstochowa, Częstochowa, Poland

    Andrzej Zbrzezny

Authors
  1. Magdalena Kacprzak
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Anna Sawicka
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Andrzej Zbrzezny
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Anna Sawicka .

Editor information

Editors and Affiliations

  1. Częstochowa University of Technology, Częstochowa, Poland

    Leszek Rutkowski

  2. Częstochowa University of Technology, Częstochowa, Poland

    Rafał Scherer

  3. Częstochowa University of Technology, Częstochowa, Poland

    Marcin Korytkowski

  4. University of Alberta, Edmonton, AB, Canada

    Witold Pedrycz

  5. AGH University of Science and Technology, Kraków, Poland

    Ryszard Tadeusiewicz

  6. University of Louisville, Louisville, KY, USA

    Jacek M. Zurada

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Kacprzak, M., Sawicka, A., Zbrzezny, A. (2019). SMT-Based Encoding of Argumentation Dialogue Games. In: Rutkowski, L., Scherer, R., Korytkowski, M., Pedrycz, W., Tadeusiewicz, R., Zurada, J. (eds) Artificial Intelligence and Soft Computing. ICAISC 2019. Lecture Notes in Computer Science(), vol 11509. Springer, Cham. https://doi.org/10.1007/978-3-030-20915-5_50

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-20915-5_50

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-20914-8

  • Online ISBN: 978-3-030-20915-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation