How to change a person's mind: Understanding the difference between the effects and consequences of speech acts
D. Field, and A. Ramsay. Proceedings 5th Workshop on Inference in Computational Semantics (ICoS-5), page 27--36. (20-21 April 2006)
Abstract
This paper discusses a planner of the semantics of utterances, whose essential
design is an epistemic theorem prover. The planner was designed for the purpose
of planning communicative actions, whose effects are famously unknowable and
unobservable by the doer/speaker, and depend on the beliefs of and inferences made
by the recipient/hearer. The fully implemented model can achieve goals that do
not match action effects, but that are rather entailed by them, which it does by
reasoning about how to act: state-space planning is interwoven with theorem proving
in such a way that a theorem prover uses the effects of actions as hypotheses. The
planner is able to model problematic conversational situations, including felicitous
and infelicitous instances of bluffing, lying, sarcasm, and stating the obvious.
%0 Conference Paper
%1 field06change
%A Field, Debora
%A Ramsay, Allan
%B Proceedings 5th Workshop on Inference in Computational Semantics (ICoS-5)
%D 2006
%K dialogue, plan, planner, planning, speechact
%P 27--36
%T How to change a person's mind: Understanding the difference between the effects and consequences of speech acts
%U http://www.csc.liv.ac.uk/\~debora/icos5\_field\_ramsay.pdf
%X This paper discusses a planner of the semantics of utterances, whose essential
design is an epistemic theorem prover. The planner was designed for the purpose
of planning communicative actions, whose effects are famously unknowable and
unobservable by the doer/speaker, and depend on the beliefs of and inferences made
by the recipient/hearer. The fully implemented model can achieve goals that do
not match action effects, but that are rather entailed by them, which it does by
reasoning about how to act: state-space planning is interwoven with theorem proving
in such a way that a theorem prover uses the effects of actions as hypotheses. The
planner is able to model problematic conversational situations, including felicitous
and infelicitous instances of bluffing, lying, sarcasm, and stating the obvious.
@inproceedings{field06change,
abstract = {{This paper discusses a planner of the semantics of utterances, whose essential
design is an epistemic theorem prover. The planner was designed for the purpose
of planning communicative actions, whose effects are famously unknowable and
unobservable by the doer/speaker, and depend on the beliefs of and inferences made
by the recipient/hearer. The fully implemented model can achieve goals that do
not match action effects, but that are rather entailed by them, which it does by
reasoning about how to act: state-space planning is interwoven with theorem proving
in such a way that a theorem prover uses the effects of actions as hypotheses. The
planner is able to model problematic conversational situations, including felicitous
and infelicitous instances of bluffing, lying, sarcasm, and stating the obvious.}},
added-at = {2010-12-17T18:47:41.000+0100},
author = {Field, Debora and Ramsay, Allan},
biburl = {https://www.bibsonomy.org/bibtex/207d101c0971f63258a08b85cc374d785/mortimer_m8},
booktitle = {Proceedings 5th Workshop on Inference in Computational Semantics (ICoS-5)},
citeulike-article-id = {876296},
citeulike-linkout-0 = {http://www.csc.liv.ac.uk/\~{}debora/icos5\_field\_ramsay.pdf},
day = {20-21},
interhash = {53ccd978d6dd6ac60b540c20380403c8},
intrahash = {07d101c0971f63258a08b85cc374d785},
keywords = {dialogue, plan, planner, planning, speechact},
month = {April},
pages = {27--36},
posted-at = {2006-09-28 12:00:33},
priority = {3},
timestamp = {2010-12-20T11:11:25.000+0100},
title = {{How to change a person's mind: Understanding the difference between the effects and consequences of speech acts}},
url = {http://www.csc.liv.ac.uk/\~{}debora/icos5\_field\_ramsay.pdf},
year = 2006
}