Speech Acts, Epistemic Planning and Grice's Maxims

Work on speech acts has generally involved the introduction of sets of different actions such as informing, reminding, bluffing and lying. These actions have different preconditions and effects, and hence can be used to achieve a wide variety of different real-world goals. The problem is that they tend to have indistinguishable surface forms. As such, it is extremely difficult for the hearer to decide which action she thinks has been performed, and it is therefore also extremely difficult for the speaker to be confident about how the hearer will respond. We will show how to achieve complex goals on the basis of a very simple set of linguistic actions. These actions have clearly marked surface forms, and hence can easily be distinguishable by a hearer. In order to do this, we have developed an epistemic planner with a number of interesting features, and with a number of optimisations that relate directly to aspects of the task at hand.

[1]  C. Raymond Perrault,et al.  Elements of a Plan-Based Theory of Speech Acts , 1979, Cogn. Sci..

[2]  M. Walker,et al.  Centering Theory in Discourse , 1998 .

[3]  D. Michie “Memo” Functions and Machine Learning , 1968, Nature.

[4]  C. Raymond Perrault,et al.  Analyzing Intention in Utterances , 1986, Artif. Intell..

[5]  John R. Searle,et al.  Speech Acts: An Essay in the Philosophy of Language , 1970 .

[6]  Earl D. Sacerdott Planning in a hierarchy of abstraction spaces , 1973, IJCAI 1973.

[7]  James Pustejovsky,et al.  The Semantics of Lexical Underspecification , 1998 .

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

[9]  Harry Bunt,et al.  Dialogue pragmatics and context specification , 2000, Abduction, Belief and Context in Dialogue.

[10]  Jürgen Wedekind On Inference-Based Procedures for Lexical Disambiguation , 1996, COLING.

[11]  Deborafield,et al.  Sarcasm, Deception, and Stating the Obvious: Planning Dialogue without Speech Acts , 2004, Artificial Intelligence Review.

[12]  Allan Ramsay,et al.  Theorem proving for untyped constructive λ-calculus : implementation and application , 2001 .

[13]  Michael Kohlhase,et al.  Inference and Computational Semantics , 2004, J. Log. Lang. Inf..

[14]  J. M. Dunn,et al.  Modern Uses of Multiple-Valued Logic , 1977 .

[15]  Allan Ramsay,et al.  Planning ramifications: when ramifications are the norm, not the problem , 2006 .

[16]  Ken Turner,et al.  The semantics/pragmatics interface from different points of view , 1999 .

[17]  Thomas H. Briggs Sarcasm , 1928, The School Review.

[18]  Allan Ramsay,et al.  Relevant Answers to WH-Questions , 2004, J. Log. Lang. Inf..

[19]  Csr Young,et al.  How to Do Things With Words , 2009 .

[20]  Allan Ramsay,et al.  Models and Discourse Models , 2008 .

[21]  Frans Voorbraak,et al.  On the Justification of Dempster's Rule of Combination , 1988, Artif. Intell..

[22]  Robert S. Boyer,et al.  A Theorem Prover for a Computational Logic , 1990, CADE.

[23]  François Bry,et al.  SATCHMO: A Theorem Prover Implemented in Prolog , 1988, CADE.

[24]  Allan Ramsay Speech Act Therory and Epistemic Planning , 1990, AIMSA.

[25]  Avrim Blum,et al.  Fast Planning Through Planning Graph Analysis , 1995, IJCAI.

[26]  David R. Dowty,et al.  Word Meaning and Montague Grammar , 1979 .

[27]  Jonathan Ginzburg,et al.  Resolving questions, I , 1995 .

[28]  Gerald J. Sussman,et al.  A Computational Model of Skill Acquisition , 1973 .

[29]  Allan Ramsay,et al.  Reference-based Discourse Structure for Reference Resolution , 1999 .

[30]  Mark Stefik,et al.  Planning and Meta-Planning (MOLGEN: Part 2) , 1981, Artif. Intell..

[31]  Staffan Larsson,et al.  Questions Under Discussion and Dialogue Moves , 1998 .

[32]  Austin Tate,et al.  Generating Project Networks , 1977, IJCAI.

[33]  Scott Weinstein,et al.  Centering: A Framework for Modeling the Local Coherence of Discourse , 1995, CL.

[34]  Susan Bonzi,et al.  Semantic interpretation and the resolution of ambiguity , 1989, JASIS.

[35]  Alex Lascarides,et al.  Lexical Disambiguation in a Discourse Context , 1995, J. Semant..

[36]  K. Konolige A deduction model of belief , 1986 .

[37]  Philip R. Cohen,et al.  Intentions in Communication , 1991, CL.

[38]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[40]  P. T. Geach,et al.  KNOWLEDGE AND BELIEF: An Introduction to the Logic of the Two Notions , 1963 .

[41]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .

[42]  Allan Ramsay Generating relevant models , 2004, Journal of Automated Reasoning.

[43]  Carl Pollard,et al.  A Centering Approach to Pronouns , 1987, ACL.

[44]  Helen Seville Experiments with Discourse Structure , 1999 .

[45]  Jaime G. Carbonell,et al.  Derivational Analogy and Its Role in Problem Solving , 1983, AAAI.

[46]  Donald W. Loveland,et al.  Near-Horn Prolog and beyond , 1991, Journal of Automated Reasoning.

[47]  Debora Field 'How to build towers of arbitrary heights, and other hard problems' , 2004 .

[48]  Hilary Putnam,et al.  A Computing Procedure for Quantification Theory , 1960, JACM.

[49]  K. Colby Artificial paranoia; a computer simulation of paranoid processes , 1975 .

[50]  Robert A. Kowalski,et al.  A Proof Procedure Using Connection Graphs , 1975, JACM.