Arkady Rabinov

Learn More
Some fluents (for instance, time) change even after events that are not assumed to affect them (such as the action wait). We propose a formal-ization of the "commonsense law of inertia" in the situation calculus that allows us to describe such fluents. 1 Introduction The frame problem in Artificial Intelligence is the problem of specifying formally "what(More)
  • 1