基于与状态无关的激活集的包含派生谓词的规划问题求解.pdfVIP

计算机科学2007V01．34No．3 基于与状态无关的激活集的包含派生谓词的规划问题求解 蒋志华1 姜云飞2 (暨南大学计算机系 广州510632)1(中山大学软件研究所广州510a75)2 派生谓词的两个标准竞赛问题。在经典规划中，派生谓词是指不受领域动作直接影响的谓词，它们在当前状态下的真 值是在封闭世界假设中由某些基本谓词通过领域公理推导出来的。本文提出一种新的方法来求解包含派生谓词的规 划问题，即用与状态无关的激活集来取代派生谓词用于放宽式规划中。 关键词智能规划，派生谓词，规则图，激活集，放宽式规划 Sets withDerivedPredicatesBasedonTheir Activation Planning State-independent Zhi-HualJIANGYun-Feiz JIANG zhou510632)1 ComputerScience，JinanUniversity，Guang (Dep．of (SoftwareResearch 510275)2 Institution，ZhongshanUniversity，Guangzhou Derived isoneoftwonewfeaturesofP】)【)L2．2 twodomainswithderived Abstract predicate language，and predicates inIPCI-4are to classical are thatare verychallengingmanyplanningsystem．In planning，derivedpredicatespredicates rioteffected thedomainactions．andtheirtruthinthecurrentstateiSinferredfromthatofsomebasic directlyby predi- caresviasomedomaina妇omsundertheclosedworld tOrule and activation assumption．Similargraphstate-dependent set LPG-td，weanother tO withderived where proposedby propose approachplanning predicatesstate-independent are in setsofaderived USed heuristics． (notstate-dependent)activationpredicate relax-plan KeywordsIntelligentplanning，Derivedpredicate，Rulegraph，Activationset，Relax-plan 1 引言 加决赛的1