Meaning and Dialogue Coherence: A Proof-theoretic Investigation

This paper presents a novel proof-theoretic account of dialogue coherence. It focuses on an abstract class of cooperative information-oriented dialogues and describes how their structure can be accounted for in terms of a multi-agent hybrid inference system that combines natural deduction with information transfer and observation. We show how certain dialogue structures arise out of the interplay between the inferential roles of logical connectives (i.e., sentence semantics), a rule for transferring information between agents, and a rule for information flow between agents and their environment. The order of explanation is opposite in direction to that adopted in game-theoretic semantics, where sentence semantics (or a notion of valid inference) is derived from winning dialogue strategies. That approach and the current one may, however, be reconcilable, since we focus on cooperative dialogue, whereas the game-theoretic tradition concentrates on adversarial dialogue.

[1]  E. Tiryakian,et al.  Studies in social interaction , 1972 .

[2]  M. Merritt.  On questions following questions in service encounters , 1976, Language in Society.

[3]  E. Schegloff.  Sequencing in Conversational Openings , 1968 .

[4]  Vaj Tijn Borghuis,et al.  Belief revision with explicit justifications : an exploration in type theory , 2000 .

[5]  Peter Schroeder-Heister,et al.  Validity Concepts in Proof-theoretic Semantics , 2006, Synthese.

[6]  G. Jonathan,et al.  Dynamics and the Semantics of Dialogue , 1996 .

[7]  R. Power.  The organisation of purposeful dialogues , 1979 .

[8]  Anna-Brita Stenström,et al.  An Introduction To Spoken Interaction , 1994 .

[9]  Erik Stenius,et al.  Mood and language-game , 1967, Synthese.

[10]  P. Menzies,et al.  Game-Theoretical Semantics. , 1980 .

[11]  Pla Paul Piwek,et al.  Logic, information and conversation , 1998 .

[12]  Antonis C. Kakas,et al.  Hypothetico-deductive Reasoning , 1992, FGCS.

[13]  Steven Davis,et al.  Principles of Linguistic Philosophy , 1968, Dialogue.

[14]  Robert T. Craig,et al.  Conversational coherence : form, structure, and strategy , 1983 .

[15]  Harry Bunt,et al.  Designing an Open, Multidimensional Dialogue Act Taxonomy , 2006 .

[16]  G. Sundholm.  Proof Theory and Meaning , 1986 .

[17]  Marcos Cavalcanti,et al.  Formal Aspects of Context , 2010 .

[18]  Stephen G. Pulman,et al.  Relating dialogue games to information state , 2002, Speech Commun..

[19]  Philip R. Cohen,et al.  Intentions in Communication , 1992, Language.

[20]  O. Oha.  Fallacies , 2005 .

[21]  Harry Bunt,et al.  A Multidimensional Approach to Multimodal Dialogue Act Annotation , 2006 .

[22]  Kees van Deemter,et al.  Towards Automated Generation of Scripted Dialogue: Some Time-Honoured Strategies , 2003, ArXiv.

[23]  G. Gentzen.  Untersuchungen über das logische Schließen. I , 1935 .

[24]  Jean Carletta,et al.  Requirements for belief models in cooperative dialogue , 1996, User Modeling and User-Adapted Interaction.

[25]  Paul Piwek,et al.  The Alligator theorem prover for dependent type systems: Description and proof samples , 2006 .

[26]  I. Rumfitt,et al.  Making it Explicit: Reasoning, Representing, and Discursive Commitment. , 1997 .

[27]  Shalom Lappin,et al.  Current and New Directions in Discourse and Dialogue , 2003 .

[28]  Luigi Portinale,et al.  On the role of abduction , 1995, CSUR.

[29]  D. Walton,et al.  Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning , 1995 .

[30]  Paul Piwek,et al.  Presuppositions in context : constructing bridges , 2000 .

[31]  Erik C. W. Krabbe,et al.  From axiom to dialogue , 1982 .

[32]  H. Grice.  Logic and conversation , 1975 .

[33]  David Traum,et al.  The Information State Approach to Dialogue Management , 2003 .

[34]  Philip R. Cohen,et al.  Intentions in Communication , 1992, Language.

[35]  Robbert-Jan Beun,et al.  On the Generation of Coherent Dialogue: A Computational Approach , 2001 .

[36]  E. Schegloff,et al.  Opening up Closings , 1973 .

[37]  Philip T. Cox,et al.  Causes for Events: Their Computation and Applications , 1986, CADE.

[38]  P. Piwek.  Meaning and Dialogue Coherence: A Proof-theoretic Investigation , 2008 .

[39]  J. Hintikka,et al.  Game-Theoretical Semantics , 1997 .

[40]  C. L. Hamblin.  Mathematical models of dialogue1 , 2008 .

[41]  E. Tiryakian,et al.  Studies in social interaction , 1972 .