Semantical considerations on nonmonotonic logic
Artificial Intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Nonmonotonic Logic II: Nonmonotonic Modal Theories
Journal of the ACM (JACM)
Planning English Sentences
On knowing what to say: planning speech acts.
On knowing what to say: planning speech acts.
ACL '85 Proceedings of the 23rd annual meeting on Association for Computational Linguistics
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Inheritance in natural language processing
Computational Linguistics - Special issue on inheritance: I
Incremental parsing and reason maintenance
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 3
On trying to do things with words: another plan-based approach to speech act interpretation
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 2
Propagating epistemic coordination through mutual defaults I
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
Complex open-system design by quasi-agents: process-oriented modeling in agent-based systems
ACM SIGSOFT Software Engineering Notes
All they know: a study in multi-agent autoepistemic reasoning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A formal theory of multiple agent nonmonotonic reasoning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
A semantic characterization of an algorithm for estimating others' beliefs from observation
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
A prerequisite to a theory of the way agents understand speech acts is a theory of how their beliefs and intentions are revised as a consequence of events. This process of attitude revision is an interesting domain for the application of nonmonotonic reasoning because speech acts have a conventional aspect that is readily represented by defaults, but that interacts with an agent's beliefs and intentions in many complex ways that may override the defaults. Perrault has developed a theory of speech acts, based on Rieter's default logic, that captures the conventional aspect; it does not, however, adequately account for certain easily observed facts about attitude revision resulting from speech acts. A natural theory of attitude revision seems to require a method of stating preferences among competing defaults. We present here a speech act theory, formalized in hierarchic autoepistemic logic (a refinement of Moore's autoepistemic logic), in which revision of both the speaker's and hearer's attitudes can be adequately described. As a collateral benefit, efficient automatic reasoning methods for the formalism exist. The theory has been implemented and is now being employed by an utterance-planning system.