Speech acts and rationality
Published 1 January 1985Open access
Philip R. Cohen, Hector J. Levesque
Citations106
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
The basis of a theory of communication from a formal theory of rational interaction is derived, and it is shown to distinguish insincere or nonserious imperatives from true requests.
Abstract
This paper derives the basis of a theory of communication from a formal theory of rational interaction. The major result is a demonstration that illocutionary acts need not be primitive, and need not be recognized. As a test case. we derive Searle's conditions on requesting from principles of rationality coupled with a Gricean theory of imperatives. The theory is shown to distinguish insincere or nonserious imperatives from true requests. Extensions to indirect speech acts, and ramifications for natural language systems are also briefly discussed.
Keywords
Computer Science
Speech Acts: An Essay in the Philosophy of Language
6,641 Citations1969John R. Searle
Elsevier eBooksSome Philosophical Problems from the Standpoint of Artificial Intelligence
3,289 Citations1981John McCarthy, Patrick J. Hayes
The formalism of this paper represents an advance over McCarthy (1963) and Green (1969) in that it permits proof of the correctness of strategies that contain loops and strategies that involve the acquisition of knowledge; and it is also somewhat more concise.
Cognitive ScienceA temporal logic for reasoning about processes and plans
760 Citations1982Drew McDermott
A logic of implicit and explicit belief
537 Citations1984Hector J. Levesque
This paper point out deficiencies in current semantic treatments of knowledge and belief and suggest a new analysis in the form of a logic that avoids these shortcomings and is also more viable computationally.
Cognitive ScienceA Temporal Logic for Reasoning about Processes and Plans*
493 Citations1982Drew McDermott
A first-order temporal logic, in which it is possible to name and prove things about facts, events, plans, and world histories, and provides analyses of causality, continuous change in quantities, the persistence of facts, and the relationship between tasks and actions.
Elsevier eBooksREASONING ABOUT KNOWLEDGE AND ACTION
372 Citations1981Robert C. Moore
The importance of having systems that understand the concept of knowledge, and how knowledge is related to action, and a logic of knowledge based on the idea of possible worlds is presented.
Artificial IntelligenceThe plan recognition problem: An intersection of psychology and artificial intelligence
297 Citations1978Charles F. Schmidt, N. S. Sridharan +1 more
The BELIEVER system is presented by specifying a plan recognition process and its knowledge sources and can account for goal-directed actions that may succeed or fail in accomplishing the goal, as well as actions governed by norms.
Computational LinguisticsA plan-based analysis of indirect speech acts
289 Citations1980C. Raymond Perrault, James F. Allen
An account of indirect forms of speech acts to request and inform based on the hypothesis that language users can recognize actions being performed by others, infer goals being sought, and cooperate in their achievement is proposed.
On knowing what to say: planning speech acts.
178 Citations1978Philip R. Cohen
Munich Personal RePEc Archive (Ludwig Maximilian University of Munich)Planning natural language utterances to satisfy multiple goals
129 Citations1981Douglas E. Appelt
The overall problem is considered to be one of refining the specification of an illocutionary act into a surface syntactic form, emphasizing the problems of achieving multiple goals in a single utterance.
Computational LinguisticsThe pragmatics of referring and the modality of communication
118 Citations1984Philip R. Cohen
It is concluded that intent recognition will need to be a central focus for pragmatics/discourse components of future speech understanding systems, and that computational linguistics needs to develop formalisms for reasoning about speakers' use of descriptions.
"Sometimes" and "not never" revisited
93 Citations1983E. Allen Emerson, Joseph Y. Halpern
This paper re-examines Lamport's arguments, points out some technical difficulties with the formalism of [LA80], and concludes that, while branching time logic issuitable for reasoning about nondeterministic programs, linear timelogic is preferable for reasoningAbout concurrent programs.
Research in Natural Language Understanding
55 Citations1978Bonnie Webber, Robert Bobrow +1 more
Techniques required for fluent and effective communication between a decision maker and an intelligent computerized display system in the context of complex decision tasks such as military command and control are developed.
National Conference on Artificial IntelligenceARGOT: the rochester dialogue system
33 Citations1982James F. Allen, Alan M. Frisch +1 more
A progress report on the long-term research project ARGOT, which outlines the system and describes recent results as well as work in progress.
Research in Knowledge Representation for Natural Language Understanding
24 Citations1980William A. Woods
Defense Technical Information Center (DTIC)It's for Your Own Good: A Note on Inaccurate Reference.
23 Citations1981C. Raymond Perrault, Philip R. Cohen
Some inadequacies in Searle's conditions for a speaker successfully referring to some entity by using a certain referring expression in an utterance to a certain hearer are pointed out.