对象集合动态可变的图规划及其数学模型的研究

与国内外所有同类研究不同，本项目所研究的图规划允许动作（操作）创建新对象，也允许动作（操作）消灭现有对象，即本项目所研究的是对象集合动态可变的图规划。研究这类图规划的算法、实现及其数学模型。这是1995年就被提出但十年未取得任何进展的一个国际难题。在网络安全、机器人、智能游戏、智能用户接口等许多领域都大量存在这类规划问题，有着广泛的应用前景。本项目在研究方法上的创新之处是拟将申请者研究了二十多年的模糊群理论与技术用于这类规划的研究。模糊群的应用问题是国际数学界自1971年模糊群问世以来一直关注但至今未取得满意进展的一个问题。本项目一旦有所突破，不但会在智能规划与规划识别的理论研究与应用研究中产生重要影响，会使智能规划器与规划识别器有着更加广阔的应用空间，而且会在数学界，特别是在模糊群的研究领域产生重要影响。