<?xml version="1.0" standalone="yes"?>
<Paper uid="P88-1021">
  <Title>A Practical Nonmonotonic Theory for Reasoning about Speech Acts</Title>
  <Section position="10" start_page="177" end_page="177" type="concl">
    <SectionTitle>
7 Conclusion
</SectionTitle>
    <Paragraph position="0"> A theory of speech acts based on default reasoning is elegant and desirable. Unfortunately, the only existing proposal that explains how this should be done suffers from three serious pioblems: (1) the theory makes some incorrect predictions; (2) the theory cannot be integrated easily with a theory of action; (3) there seems to be no efficient implementation strategy. The problems are stem from the theory's formulation in normal default logic.</Paragraph>
    <Paragraph position="1"> We have demonstrated how these difficulties can be overcome by formulating the theory instead in a version of autoepistemic logic that is designed to combine reasoning about belief with autoepistemic reasoning. Such a logic makes it possible to forrealize a description of the agents' belief revision processes that can capture observed facts about attitude revision correctly in response to speech acts. This theory has been tested and implemented as a central component of the GENESYS utterance-planning system.</Paragraph>
  </Section>
class="xml-element"></Paper>