Side Effect Analysis for Logic-Based Planning

[摘要] In this paper we describe the algorithms for planning and, in particular, for side effect analysis used in a software tool for system management, called Dolphin, which is based on declarative programming. In Dolphin the user is given the option of declaring some side effects to be acceptable or unacceptable. This treatment of side effects makes our system different from those described in the logic-based planning literature.

[发布机构] HP Development Company

[学科分类] 计算机科学（综合）