Methods of proving, hypothesizing and time reasoning for real-time control of moving objects
S. N. Vassilyev · 2002
A framework for intelligent real-time control is discussed, and some new logical methods are reviewed in light of this framework. The topics discussed include knowledge representation and automated reasoning. The main ideas behind the corresponding methods are outlined with some application to moving objects.