A Non-monotone Logic for Reasoning about Action
Marek A. Bednarczyk · 2002
A logic for reasoning about action is presented. The logic is based on the idea that explicit substitutions can be seen as atomic formulae describing basic change of state of a system. The logic is non-monotone, i.e., it does not admit weakening in its presentation as a fragment of non-commutative linear logic. Potential applications of the logic are also discussed in connection to the “Frame Problem”. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.