中文摘要：

为探索机械装配序列规划的新技术,剖析了模型检验集成规划系统和规划领域定义语言,根据一般智能规划问题的形式化定义对机械装配序列规划问题进行了形式化描述;基于装配和拆卸可逆的前提假设,利用谓词逻辑公式和时态逻辑公式对机械装配过程中的硬约束和软约束进行了描述;根据装配序列规划问题的形式化描述,对装配序列规划领域及领域的具体问题进行了定义,给出了基于模型检验集成规划系统的装配序列规划问题的求解过程。实验结果表明,该系统可以正确、有效地实施机械装配序列规划。

英文摘要：

To develop new technology for mechanical Assembly Sequence Planning （ASP）, the Model checking Inte grated Planning System （MIPS） and Planning Domain Definition Language （PDDL） were analyzed thoroughly. Mechanical ASP problems were formally represented according to the formal definition of general intelligent planning problems. Based on the presupposition of the assembly ＆ disassembly were reversible processes, the hard constraints and soft constraints in mechanical assembly were represented by predicate logic and temporal logic formula. According to the formal representation of ASP, the ASP domain and its concrete problems were also defined, and the procedures to solve ASP by using MIPS were presented. Experiment results showed that MIPS could implement mechanical ASP correctly and efficiently.