Abstract
This paper presents an alternative to the ‘speech acts with STRIPS’ approach to implementing dialogue a fully implemented AI planner which generates and analyses the semantics of utterances using a single linguistic act for all contexts. Using this act, the planner can model problematic conversational situations, including felicitous and infelicitous instances of bluffing, lying, sarcasm, and stating the obvious. The act has negligible effects, and its precondition can always be proved. ‘Speaker maxims’ enable the speaker to plan to deceive, as well as to generate implicatures, while ‘hearer maxims’ enable the hearer to recognise deceptions, and interpret implicatures. The planner proceeds by achieving parts of the constructive proof of a goal. It incorporates an epistemic theorem prover, which embodies a deduction model of belief, and a constructive logic.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
J. F. Allen C. R. Perrault (1980) ArticleTitleAnalyzing Intention in Utterances Artificial Intelligence 15 143–178
D. E. Appelt (1985) ArticleTitlePlanning English Referring Expressions Artificial Intelligence 26 1–33
J. L. Austin (1962) How to Do Things with Words 2nd edn OUP Oxford
Blum, A. L. Furst, M. L. (1997). Fast Planning Through Planning Graph Analysis. Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI), 1995, 1636–1642. Also in Artificial Intelligence 90: 281–300.
Bonet, B. Geffner, H. (2000). HSP: Heuristic Search Planner. AI Magazine 21(2): Entry at the AIPS-98 Planning Competition, Pittsburgh 6/98.
B. C. Bruce (1975) Generation as a Social Action. B. L. Nash-Webber R. C. Schank (Eds) Theoretical Issues in Natural Language Processing Ass. for Computational Linguistics Cambridge, MA 74–77
Bunt H (2000) Dialogue and Context Specification In: Bunt H, Black W (eds) Abduction Belief and Context in Dialogue Studies in Computational Pragmatics Philadelphia PA, John Benjamins pp 81–150
P. R. Cohen H. J. Levesque (1990) Rational Interaction as the Basis for Communication P.R. Cohen J Morgan M. E. Pollack (Eds) Intentions in Communication MIT Cambridge, MA 221–255
P. R. Cohen C.R. Perrault (1979) ArticleTitleElements of a Plan-based Theory of Speech Acts Cognitive Science 3 177–212
R. E. Fikes N. J. Nilsson (1971) ArticleTitleSTRIPS: A New Approach to the Application of Theorem Proving to Problem Solving Artificial Intelligence 2 189–208
Gentzen G. (1935) Investigation into Logical Deduction In: Szabo ME (ed) The Collected Papers of Gerhard Gentzen 68–131. North-Holland, 1969. Originally published as Untersuchungen über das logische Schliessen, Mathematische Zeitschrift 39: 176–210 and 405–431.
C. Green (1969) ArticleTitleApplication of Theorem Proving to Problem Solving Proc 1st IJCAI 12 ␣ IssueID␣ 219–239
Grice, H. P. (1975). Logic and Conversation. In Cole, P. Morgan, J. (eds.) Syntax and Semantics, Vol. 3: Speech Acts, 41–58. New York: Academic Press.
B. J. Grosz C.L. Sidner (1990) Plans for Discourse P. R. Cohen J. Morgan M. E. Pollack (Eds) Intentions in Communication MIT Cambridge MA 416–444
A. Heyting (1956) Intuitionism: An Introduction Amsterdam North-Holland
A. Heyting (1975) Brouwer Collected Works (I) Amsterdam North-Holland
J. Hintikka (1962) Knowledge and Belief: An Introduction to the Two Notions Cornell University Press New York
J. Hoffmann B. Nebel (2001) ArticleTitleThe FF Planning System: Fast Plan Generation Through Heuristic Search Journal of Artificial Intelligence Research 14 253–302
K. Konolige (1986) A Deduction Model of Belief Pitman. London
S. Kripke (1963) ArticleTitleSemantical Considerations on Modal Logic Acta. Philosophica. Fennica. 16 83–94
D. Lewis (1979) ArticleTitleScorekeeping in a Language Game Journal of Philosophical Logic 8 339–359
J. McCarthy P. J. Hayes (1969) ArticleTitleSome Philosophical Problems From the Standpoint of Artificial Intelligence Machine Intelligence 4 463–502
R. C. Moore (1985) A Formal Theory of Knowledge and Action J. R. Hobbs R. C. Moore (Eds) Formal Theories of the Common Sense World Ablex Norwood, NJ 319–358
A. Newell H. A. Simon (1963) GPS, A Program that Simulates Human Thought E. A. Feigenbaum J. Feldman (Eds) Computers and Thought McGraw-Hill New York 279–293
A. Newell J. C. Shaw H. A. Simon (1957) ArticleTitleEmpirical Explorations with the Logic Theory Machine Proceedings of the Western Joint Computer Conference 15 218–239
X. Nguyen S. Kambhampati (2001) ArticleTitleReviving Partial Order Planning Proc. IJCAI ␣ 459–466
M. E. Pollack (1990) Plans as Complex Mental Attitudes P. R. Cohen J. Morgan M. E. Pollack (Eds) Intentions in Communication MIT Cambridge, MA 77–103
A. Ramsay (2000) Speech Act Theory and Epistemic Planning H. Bunt W. Black (Eds) Abduction, Belief and Context in Dialogue: Studies in Computational Pragmatics John Benjamins Philadelphia, PA 293–310
J. R. Searle (1965) What is a Speech Act? M. Black (Eds) Philosophy in America, Allen and Unwin ␣ 221–239
R. Stalnaker (1972) ArticleTitlePragmatics Proceedings of the Aristotelian Society 86 153–171
R. H. Thomason (1990) Accommodation, Meaning, and Implicature: Interdisciplinary Foundations for Pragmatics P. R. Cohen J. Morgan M. E. Pollack (Eds) Intentions in Communication MIT Cambridge, MA 325–363
Author information
Authors and Affiliations
Corresponding authors
Rights and permissions
About this article
Cite this article
Field, D., Ramsay, A. Sarcasm, Deception, and Stating the Obvious: Planning Dialogue without Speech Acts. Artif Intell Rev 22, 149–171 (2004). https://doi.org/10.1007/s10462-004-4307-8
Issue Date:
DOI: https://doi.org/10.1007/s10462-004-4307-8