Planning english referring expressions
Artificial Intelligence - Lecture notes in computer science 178
GPS, a program that simulates human thought
Computers & thought
Fast planning through planning graph analysis
Artificial Intelligence
A Deduction Model of Belief
TINLAP '75 Proceedings of the 1975 workshop on Theoretical issues in natural language processing
The FF planning system: fast plan generation through heuristic search
Journal of Artificial Intelligence Research
Deep-reasoning-centred dialogue
ENLG '07 Proceedings of the Eleventh European Workshop on Natural Language Generation
'Sorry' seems to be the hardest word
CALC '09 Proceedings of the Workshop on Computational Approaches to Linguistic Creativity
Argumentation-based negotiation planning for autonomous agents
Decision Support Systems
Hi-index | 0.00 |
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.