【作者单位】;[ 1 ] Tibet Univ, Agr & Anim Husb Coll, Lin Zhi, Tibet, Peoples R China [ 2 ] Hohai Univ, Coll Energy & Elect Engn, Nanjing, Jiangsu, Peoples R China
【年份】2015
【卷号】Vol.8
【页码】1465-1469
【ISSN】2352-5401
【关键词】STRIPS Automated Planning Reconfigurable Control Cause-effect Qualitative Model
【摘要】 This paper presents a new formal modeling framework for reconfigurable control. The main idea is to use the STRIPS (STanford Research Institute Problem Solver), a formal language for automated planning which can integrate the cause-effect knowledge a...