Output details
11 - Computer Science and Informatics
University of Dundee
Proving Propositional Tautologies in a Natural Dialogue
<11> The paper proposes a first formal dialogue system LND which allows communicating agents not only to attack and persuade each other about the facts (i.e. premises and a conclusion of argumentation), but also about an inference scheme used in the argument to prove the conclusion. Presented at invited lectures in Canada and Spain, this research laid the foundations for the Exploring Rhetorical Strategies in a Dialogue project (Polish Science Centre; 2011/03/B/HS1/04559; L34k; rating 2nd out of 17 projects and the highest funds in the philosophical subpanel); and for Yaskorska's 12-month scholarship at Lugano (Swiss Sciex Programme; SCIEX-NMS12.257; L43k).