命題の支配関係を利用した古典的プランニングタスクの簡約

抄録

We propose a simpli cation method for removing irrelevant actions of a classical planning task. While previous approaches are based on reachability relations on a directed graph describing relevance of propositions and actions, our approach is based on dominance relations.