Reasoning about actions and change in argumentation

摘要

This paper studies how logic-based reasoning about actions and change (RAC) with its problems of temporal projection and qualification can be formalised in terms of argumentation. In particular, we extend earlier work of translating the language £ for RAC into a logic-based argumentation framework, by introducing new types of arguments for (ⅰ) backward persistence and (ⅱ) persistence from observations. This forms a conservative extension of the language £ that gives a semantic meaning to domains that cannot be interpreted under £ thus addressing further the frame and (exogenous) qualification problems. As such the paper strengthens the link between argumentation theory and RAC in artificial intelligence.