Implementation of temporal reasoning services using a domain-independent AI planner
Hyun‐Sik Kim, Chan-Young Park, Incheol Kim · Journal of the Korea Industrial Information Systems Research · 2009
Household service robots should be able to provide their users with a variety of temporal reasoning services. In this paper, we propose an effective way of developing such temporal reasoning services using a domain-independent AI planner. Developing temporal reasoning services with a domain-independent AI planner, we have to address both the knowledge engineering problem of how to represent various real-world temporal constraints in a planning domain definition language, and the system design problem of how to realize the interface between the AI planner and the service consumer. In this paper, we introduce an example scenario and a set of typical temporal constraints for a household service robot, and then present how to represent them in the standard planning domain definition language. We also explain how to implement a service agent based on an AI planner in order to develop and provide new services efficiently.