TITLE: ``Active Logic Applied to Cancellation of Gricean Implicature''

ABSTRACT:

Using a simple example of a dialog with an implicature that arises part way through and then is later retracted, we discuss how Gricean maxims and nonmonotonicity may relate to each other and to a computational treatment of implicature. In effect we seek to track reasoning along Gricean lines over time. We present our own computational approach to this, giving an implementation in the formalism of active logics.

Everyone is welcome to attend.