Proving Propositional Tautologies in a Natural Dialogue

Olena Yaskorska-Shah , Katarzyna Budzyńska , Magdalena Kacprzak

Abstract

The paper proposes a dialogue system LND which brings together and unifies two traditions in studying dialogue as a game: the dialogical logic introduced by Lorenzen; and persuasion dialogue games as specified by Prakken. The first approach allows the representation of formal dialogues in which the validity of argument is the topic discussed. The second tradition has focused on natural dialogues examining, e.g., informal fallacies typical in real-life communication. Our goal is to unite these two approaches in order to allow communicating agents to benefit from the advantages of both, i.e., to equip them with the ability not only to persuade each other about facts, but also to prove that a formula used in an argument is a classical propositional tautology. To this end, we propose a new description of the dialogical logic which meets the requirements of Prakken's generic specification for natural dialogues, and we introduce rules allowing to embed a formal dialogue in a natural one. We also show the correspondence result between the original and the new version of the dialogical logic, i.e., we show that a winning strategy for a proponent in the original version of the dialogical logic means a winning strategy for a proponent in the new version, and conversely.
Author Olena Yaskorska-Shah (FASS / DPEA)
Olena Yaskorska-Shah,,
- Department of Philosophy and Ethics in Administration
, Katarzyna Budzyńska
Katarzyna Budzyńska,,
-
, Magdalena Kacprzak
Magdalena Kacprzak,,
-
Journal seriesFundamenta Informaticae, ISSN 0169-2968, e-ISSN 1875-8681
Issue year2013
Vol128
No1-2
Pages239-253
Publication size in sheets0.7
ASJC Classification1703 Computational Theory and Mathematics; 1710 Information Systems; 2602 Algebra and Number Theory; 2614 Theoretical Computer Science
DOIDOI:10.3233/FI-2013-944
Languageen angielski
Not used for evaluationyes
Score (nominal)0
Score sourcejournalList
Publication indicators Scopus SNIP (Source Normalised Impact per Paper): 2013 = 1.091; WoS Impact Factor: 2013 = 0.479 (2) - 2013=0.508 (5)
Citation count*
Cite
Share Share

Get link to the record


* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.
Back
Confirmation
Are you sure?