Solving the qualification problem (in the presence of the frame problem)

摘要: We present a uniform nonmonotonic solution for the problem of reasoning about action on basis argumentation-theoretic approach in series paper. This paper is first one which we solve frame and qualification problems simplifying setting without domain constraints or ramifications. Our theory provably correct relative to sensible minimisation policy introduced top temporal propositional logic.