Towards an integration of Golog and planning

摘要: The action language Golog has been applied successfully to the control of robots, among other things. Perhaps its greatest advantage is that a user can write programs which constrain search for an executable plan in flexible manner. However, when general planning needed, supports this only principle, but does not measure up with state-of-the-art planners. In paper we propose integration and sense problems, formulated as part program, are solved by modern planner during execution program. Here focus on ADL subset PDDL. First show semantics be understood progression situation calculus, underlies Golog, thus providing us correct embedding within Golog. We then how integrated existing closed-world initial databases compare performance resulting system original