The Problem of Existence
ILLINOIS UNIV AT URBANA DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
Reasoning about changes in existence of objects, such as steam appearing and water disappearing when boiling occurs, is something people do every day. Discovering methods to reason about such changes in existence is a central problem in Naive Physics. This paper analyzes the problem by isolating an important case, called quantity-conditioned existence, and presents a general method for solving it. An example generated by an implemented program using the solution is exhibited, and the remaining open problems are discussed.