Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Reasoning about action II: the qualification problem
Artificial Intelligence
Nonmonotonic reasoning in the framework of situation calculus
Artificial Intelligence - Special issue on knowledge representation
Provably correct theories of action
Journal of the ACM (JACM)
Non-monotonicity and change
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
A simple formalization of actions using circumscription
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Alternative essences of intelligence
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Change, change, change: three approaches
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
The cog project: building a humanoid robot
Computation for metaphors, analogy, and agents
| Hi-index | 0.00 |
We introduce a new methodology for comparing nonmonotonic treatments of change. We consider the elaboration tolerance of various proposals. The elaboration tolerance of a non-monotonic approach is defined as the elaborations, or changes, that can be made to the non-monotonic consequences, by conjoining on new information. The standard problem, the frame assumption, is capturing the tendency of properties to persist over time. We show that almost all approaches allow new effects to be added, and preconditions to be dropped. There are other ways of describing the world, and we investigate one in particular, assuming there are as few preconditions for an action as possible. This is equivalent to assuming that actions change properties as often as possible, if they ever change that property. We show that this assumption is in conflict with the usual frame assumption. We show that this methodology allows new effects to be added, and preconditions to be added. We show that this precondition assumption is naturally opposite to the frame assumption. We then show that this assumption can be naturally captured in a similar way to the frame problem, using circumscription.