Access the full text.
Sign up today, get DeepDyve free for 14 days.
A. Newell, H. A. Simon (1963)
Computers and Thought
S. Kripke (1963)
Semantical Considerations on Modal LogicActa. Philosophica. Fennica., 16
J. McCarthy (1987)
SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCEMachine intelligence
木村 和夫 (1997)
PragmaticsLanguage Teaching, 30
David Lewis (1979)
Scorekeeping in a language gameJournal of Philosophical Logic, 8
Philip Cohen, J. Morgan, M. Pollack (1991)
Intentions in Communication
James Allen, C. Perrault (1986)
Analyzing Intention in UtterancesArtif. Intell., 15
Philip Cohen, C. Perrault (1979)
Elements of a Plan-Based Theory of Speech Acts
Philip Cohen, J. Morgan, M. Pollack (2003)
Accommodation, Meaning, and Implicature: Interdisciplinary Foundations for Pragmatics
B. C. Bruce (1975)
Theoretical Issues in Natural Language Processing
A. Heyting (1975)
Brouwer Collected Works (I)
D. Long, Henry Kautz, B. Selman, Blai Bonet, Hector Geffner, Jana Koehler, Michael Brenner, J. Hoffmann, F. Rittinger, Corin Anderson, Daniel Weld, David Smith, M. Fox (2000)
The AIPS-98 planning competition: competitors' perspectivesAi Magazine, 21
J. Hoffmann, B. Nebel (2011)
The FF Planning System: Fast Plan Generation Through Heuristic SearchJ. Artif. Intell. Res., 14
K. Konolige (1986)
A deduction model of belief
A. Heyting (1956)
Intuitionism: An introduction
J. R. Searle (1965)
Philosophy in America,
A. Ramsay (2000)
Abduction, Belief and Context in Dialogue: Studies in Computational Pragmatics
Avrim Blum, M. Furst (1995)
Fast Planning Through Planning Graph Analysis
Siobhan Chapman (2005)
Logic and Conversation
A. Newell, H. Simon (1995)
GPS, a program that simulates human thought
A. Taylor (1909)
Proceedings of the Aristotelian SocietyNature, 82
G. Gentzen, ME Szabo (1935)
Originally published as Untersuchungen über das logische SchliessenMathematische Zeitschrift, 39
Philip Cohen, J. Morgan, M. Pollack (2003)
Plans for Discourse
J. L. Austin (1962)
How to Do Things with Words 2nd edn
R. Stalnaker (1972)
PragmaticsProceedings of the Aristotelian Society, 86
D. Appelt (1985)
Planning English Referring ExpressionsArtif. Intell., 26
A. Ramsay (2000)
Speech act theory and epistemic planning
Robert Moore (1984)
A Formal Theory of Knowledge and Action
(1975)
A Heyting Brouwer collected works (I)
A. Newell, J. Shaw, H. Simon (1995)
Empirical explorations with the logic theory machine: a case study in heuristics
XuanLong Nguyen, S. Kambhampati (2001)
Reviving Partial Order Planning
Philip Cohen, J. Morgan, M. Pollack (2003)
Plans as Complex Mental Attitudes
A. Newell, J. C. Shaw, H. A. Simon (1957)
Empirical Explorations with the Logic Theory MachineProceedings of the Western Joint Computer Conference, 15
G. Gentzen (1935)
Untersuchungen über das logische Schließen. IMathematische Zeitschrift, 39
(1996)
What is a Speech Act
Philip Cohen, H. Levesque (2003)
Rational interaction as the basis for communication
(1962)
Knowledge and Belief: An Introduction to the Two Notions
R. C. Moore (1985)
Formal Theories of the Common Sense World
Bunt ‘ Dialogue and context specification ’
R. Fikes, N. Nilsson (1971)
STRIPS: A New Approach to the Application of Theorem Proving to Problem SolvingArtif. Intell., 2
C. Green (1969)
Application of Theorem Proving to Problem Solving
Bertram Bruce (1975)
Generation as a Social Action
(2000)
HSP : Heuristic Search Planner
(1935)
Investigation into logical deduction The collected papers of Gerhard Gentzen Originally published as 'UntersuchungenUntersuchungen¨Untersuchungenüber das logische Schliessen
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.
Artificial Intelligence Review – Springer Journals
Published: Mar 22, 2004
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.