Author(s)

E. Sandewall

Abstract

Invited paper The role of temporal reasoning subsystems in the architecture of autonomous robots E. Sandewall Department of Computer and Information Science, Linkoping University, 58183 Linkoping, Sweden TEMPORAL REASONING SYSTEMS A temporal reasoning system is a software or an algorithm which performs reasoning tasks in a temporal logic. Several such reasoning tasks need to be performed in autonomous robots, in particular planning, postdiction for the purpose of diagnosis, replanning to deal with unexpected situations, and prediction which gives the robot a capability to anticipate the future and thereby to react in time for avoiding dangers. Today these reasoning tasks are often conducted by ad hoc methods: specialized planning algorithms, simulation programs for prediction, and so on. However this state of affairs is not satisfactory in the long run. Ideally one should have a common basis in the form of an adequate temporal logic, so that the various temporal reasoning tasks ca

Keywords