Skip to main content
SpringerLink
Log in

Paraconsistent Multi-party Persuasion in \(\mathrm{Talk}\mathtt{LOG}\)

  • Conference paper
  • First Online:
PRIMA 2015: Principles and Practice of Multi-Agent Systems (PRIMA 2015)

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

Abstract

Some conflicts appearing in multi-agent settings may be resolved via communication. In this paper, besides conflicts of opinions, paradigmatically resolved by persuasion, we study resolution of conflicting justifications of opinions. To cope with agents’ ignorance and inconsistencies, often arising from perception and interactions, our formal framework \(\mathrm{Talk}\mathtt{LOG}\) employs a 4-valued logic with two additional logical values: unknown and inconsistent. Within \(\mathrm{Talk}\mathtt{LOG}\) we study such properties of persuasion as: termination, soundness and completeness. Another critical issue is complexity of agents’ communication, typically interleaved with reasoning. In \(\mathrm{Talk}\mathtt{LOG}\) tractability of both aspects is obtained thanks to the implementation tool: rule-based 4-valued language 4QL.

Supported by the Polish National Science Centre grants 2011/01/B/ST6/02769 and CORE 6505/B/T02/2011/40.

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 39.99
Price excludes VAT (USA)
  • Available as 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Walton, D., Krabbe, E.: Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. State University of New York Press, Albany (1995)

    Google Scholar 

  2. Prakken, H.: Formal systems for persuasion dialogue. The Knowledge Engineering Review 21(2), 163–188 (2006)

    Article  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  4. Bonzon, E., Maudet, N.: On the outcomes of multiparty persuasion. In: McBurney, P., Parsons, S., Rahwan, I. (eds.) ArgMAS 2011. LNCS, vol. 7543, pp. 86–101. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  5. Kontarinis, D., Bonzon, E., Maudet, N., Moraitis, P.: Regulating multiparty persuasion with bipolar arguments: discussion and examples. In: Modles Formels de l’interaction (MFI 2011) (2011)

    Google Scholar 

  6. Prakken, H.: An abstract framework for argumentation with structured arguments. Argument and Computation 1(2), 93–124 (2010)

    Article  Google Scholar 

  7. Takahashi, T., Sawamura, H.: A logic of multiple-valued argumentation. In: AAMAS, pp. 800–807. IEEE Computer Society (2004)

    Google Scholar 

  8. Vitória, A., Małuszyński, J., Szałas, A.: Modeling and reasoning with paraconsistent rough sets. Fundamenta Informaticae 97(4), 405–438 (2009)

    MathSciNet  MATH  Google Scholar 

  9. Dunin-Kȩplicz, B., Strachocka, A.: Tractable inquiry in information-rich environments. In: Proceedings of the IJCAI 2015. AAAI Press (2015, to appear)

    Google Scholar 

  10. Prakken, H.: Models of persuasion dialogue. In: Simari, G., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 281–300. Springer, NewYork (2009)

    Chapter  Google Scholar 

  11. Coste-Marquis, S., Devred, C., Konieczny, S., Lagasquie-Schiex, M., Marquis, P.: On the merging of Dung’s argumentation systems. Artif. Intell. 171(10–15), 730–753 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  12. Małuszyński, J., Szałas, A.: Partiality and inconsistency in agents’ belief bases. In: KES-AMSTA of Frontiers in Artificial Intelligence and Applications, vol. 252, pp. 3–17. IOS Press (2013)

    Google Scholar 

  13. Szałas, A.: How an agent might think. Logic J. IGPL 21(3), 515–535 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  14. Małuszyński, J., Szałas, A.: Living with inconsistency and taming nonmonotonicity. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A. (eds.) Datalog 2010. LNCS, vol. 6702, pp. 384–398. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  15. Brandt, F., Conitzer, V., Endriss, U.: Computational social choice. Multiagent systems, pp. 213–283 (2012)

    Google Scholar 

  16. FIPA: (2002). http://www.fipa.org/

  17. Cohen, P.R., Levesque, H.J.: Performatives in a rationally based speech act theory. In: Meeting of the Association for Computational Linguistics, pp. 79–88 (1990)

    Google Scholar 

  18. Fisher, M.: Representing and executing agent-based systems. In: Proceedings of the ECAI-1994 Workshop on Agent Theories, Architectures, and Languages, pp. 307–324 (1994)

    Google Scholar 

  19. Dunin-Kȩplicz, B., Strachocka, A., Szałas, A., Verbrugge, R.: Paraconsistent semantics of speech acts. Neurocomputing 151, 943–952 (2015)

    Article  Google Scholar 

  20. Chopra, A.K., Artikis, A., Bentahar, J., Colombetti, M., Dignum, F., Fornara, N., Jones, A.J.I., Singh, M.P., Yolum, P.: Research directions in agent communication. ACM TIST 4(2), 20 (2013)

    Google Scholar 

  21. Dunin-Kȩplicz, B., Szałas, A., Verbrugge, R.: Tractable reasoning about group beliefs. In: Dalpiaz, F., Dix, J., van Riemsdijk, M.B. (eds.) EMAS 2014. LNAI. Springer, Heidelberg (2014)

    Google Scholar 

  22. Alferes, J.J., Brogi, A., Leite, J., Moniz Pereira, L.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, p. 50. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  23. Prakken, H.: Coherence and flexibility in dialogue games for argumentation. Journal of Logic and Computation 15, 1009–1040 (2005)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Informatics, University of Warsaw, Banacha 2, 02-097, Warsaw, Poland

    Barbara Dunin-Kȩplicz & Alina Strachocka

Authors
  1. Barbara Dunin-Kȩplicz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alina Strachocka
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alina Strachocka .

Editor information

Editors and Affiliations

  1. Jinan University, Guangzhou, China

    Qingliang Chen

  2. Università di Bologna, Bologna, Italy

    Paolo Torroni

  3. Inria - Sophia Antipolis-Méditerran, Sophia Antipolis, France

    Serena Villata

  4. National Taiwan University, Taipei, Taiwan

    Jane Hsu

  5. Università di Bologna, Bologna, Italy

    Andrea Omicini

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Dunin-Kȩplicz, B., Strachocka, A. (2015). Paraconsistent Multi-party Persuasion in \(\mathrm{Talk}\mathtt{LOG}\) . In: Chen, Q., Torroni, P., Villata, S., Hsu, J., Omicini, A. (eds) PRIMA 2015: Principles and Practice of Multi-Agent Systems. PRIMA 2015. Lecture Notes in Computer Science(), vol 9387. Springer, Cham. https://doi.org/10.1007/978-3-319-25524-8_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-25524-8_17

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-25523-1

  • Online ISBN: 978-3-319-25524-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation