Skip to main content
SpringerLink
Log in

Dialogue Systems: Modeling and Prediction of their Dynamics

  • Conference paper
  • First Online:
Book cover Proceedings of the Second International Afro-European Conference for Industrial Advancement AECIA 2015

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 427))

Abstract

The aim of this paper is to propose a new model for dialogue games. This model applies interpreted systems which are commonly used to define the language semantics in epistemic and temporal logics. Such an approach allows to apply modern model checking techniques for verification properties of dialogue systems. In this way, we obtain a new method for analyzing these systems and predicting of their dynamics during the process of communication.

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 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.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. Budzynska, K.: Circularity in ethotic structures. Synthese 190(15), 3185–3207 (2013)

    Article  Google Scholar 

  2. Budzynska, K., Kacprzak, M., Sawicka, A., Yaskorska, O.: Dialogue Dynamics: Formal Approach, IFS PAS (2015)

    Google Scholar 

  3. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge (1995)

    MATH  Google Scholar 

  4. Hamblin, C.: Fallacies. Methuen, London (1970)

    Google Scholar 

  5. Hoek, W.V., Wooldridge, M.: Model checking knowledge and time. In: Proceedings of the 9th International SPIN Workshop on Model Checking of Software (SPIN’2002). Lecture Notes in Computer Science, vol. 2318, pp. 95–111. Springer, Heidelberg (2002)

    Google Scholar 

  6. Jones, A.V., Lomuscio, A.: Distributed BDD-based BMC for the verification of multi-agent systems. In: Proceedings of the 9th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS’2010), pp. 675–682 (2010)

    Google Scholar 

  7. Kacprzak, M., Dziubinski, M., Budzynska, K.: Strategies in dialogues: a game-theoretic approach. In: Proceedings of COMMA (2014)

    Google Scholar 

  8. Kacprzak, M., Sawicka, A.: Identification of formal fallacies in a natural dialogue. Fundamenta Informaticae 135(4), 403–417 (2014)

    MathSciNet  MATH  Google Scholar 

  9. Kacprzak, M., Starosta, B., Wȩgrzyn-Wolska, K.: New approach to decision making. In: Proceedings of AECIA, Nostradamus 2015, this issue (2015)

    Google Scholar 

  10. Kacprzak, M., Yaskorska, O.: Dialogue protocols for formal fallacies. Argumentation, 3 (2014)

    Google Scholar 

  11. Keiff, L.: Dialogical logic. The Stanford Encyclopedia of Philosophy (2011)

    Google Scholar 

  12. Lomuscio, A., Penczek, W., Qu, H.: Partial order reduction for model checking interleaved multi-agent systems. In: Proceedings of the 9th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS’2010), pp. 659–666 (2010)

    Google Scholar 

  13. Lorenz, K., Lorenzen, P.: Dialogische logik. WBG, Darmstadt (1978)

    MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  15. Meski, A., Penczek, W., Szreter, M., Wozna-Szczesniak, B., Zbrzezny, A.: BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance. Auton. Agent Multi-Agent Syst. 28, 558–604 (2014)

    Article  Google Scholar 

  16. Parsons, S., Wooldridge, M., Amgoud, L.: Properties and complexity of some formal inter-agent dialogues. J. Log. Comput. 13, 347–376 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  17. Penczek, W., Lomuscio, A.: Verifying epistemic properties of multi-agent systems via bounded model checking. Fundamenta Informaticae 55(2), 167–185 (2003)

    MathSciNet  MATH  Google Scholar 

  18. Prakken, H.: Coherence and flexibility in dialogue games for argumentation. J. Log. Comput. 15, 1009–1040 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  19. Rahman, S., Tulenheimo, T.: From games to dialogues and back: towards a general frame for validity. Games Unifying Logic, Language, and Philosophy. Springer, Netherlands (2006)

    Google Scholar 

  20. Raimondi, F., Lomuscio, A.: Automatic verification of multi-agent systems by model checking via OBDDs. J. Appl. Log. 5(2), 235–251 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  21. Visser, J., Bex, F., Reed, C., Garssen, B.: Correspondence between the pragma-dialectical discussion model and the argument interchange format. Stud. Log. Gramm. Rhetor. 23(36), 189–224 (2011)

    Google Scholar 

  22. Walton, D.: Begging the Question: Circular Reasoning as a Tactic of Argumentation. Greenwood Press, New York (1991)

    Google Scholar 

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

    Google Scholar 

  24. Wells, S., Reed, C.: A domain specific language for describing diverse systems of dialogue. J. Appl. Log. 10(4), 309–329 (2012)

    Article  Google Scholar 

  25. Yaskorska, O., Budzynska, K., Kacprzak, M.: Proving propositional tautologies in a natural dialogue. Fundamenta Informaticae 128(1–2), 239–253 (2013)

    MathSciNet  MATH  Google Scholar 

Download references

Acknowledgments

Kacprzak’s contribution was supported by the Bialystok University of Technology grant S/W/1/2014.

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, Czestochowa, 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 Magdalena Kacprzak .

Editor information

Editors and Affiliations

  1. Sci. Network for Innovation & Rec. Exell, Machine Intelligence Research Labs (MIR, Auburn, Washington, USA

    Ajith Abraham

  2. Membre du Groupe Efrei, ESIGETEL, Villejuif, France

    Katarzyna Wegrzyn-Wolska

  3. Faculty of Computers & Information, Cairo University, Giza, Egypt

    Aboul Ella Hassanien

  4. VSB-Technical University of Ostrava, Ostrava, Czech Republic

    Vaclav Snasel

  5. ENIS, University of Sfax, Sfax, Tunisia

    Adel M. Alimi

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Kacprzak, M., Sawicka, A., Zbrzezny, A. (2016). Dialogue Systems: Modeling and Prediction of their Dynamics. In: Abraham, A., Wegrzyn-Wolska, K., Hassanien, A., Snasel, V., Alimi, A. (eds) Proceedings of the Second International Afro-European Conference for Industrial Advancement AECIA 2015. Advances in Intelligent Systems and Computing, vol 427. Springer, Cham. https://doi.org/10.1007/978-3-319-29504-6_40

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-29504-6_40

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-29503-9

  • Online ISBN: 978-3-319-29504-6

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation