Article details

Research area
Natural language & AI

Proceedings of the Eleventh International Symposium on Logical Formalizations of Commonsense Reasoning


Charles Ortiz, Luke Hunsberger

On the revision of dynamic intention structures


We developed the theory of Dynamic Intention Structures to represent and reason with the incompletely specified and, possibly, mutually dependent intentions as well as the objects referenced within those intentions. The theory of DIS was expressed within a dynamic logic that drew its inspiration from work on Discourse Representation Structures in the linguistics community. In this paper, we extend our earlier work to provide a solution to the problem of intention revision in the context of incompletely specified DISs. We define a syntactically-based intention revisions operation that is suitable for the fine-grained revision of the content of intentions.

Read/download now