【技术实现步骤摘要】
航天器规划序列中逻辑条件不满足动作集的快速检测方法
本专利技术涉及一种航天器规划序列中逻辑条件不满足动作集的快速检测方法，属于航天器自主任务规划修复
技术介绍
随着人工智能技术的不断进步和发展，航天器的自主性逐渐成为航天领域的热门研究方向之一。对于近地航天器，其任务操作指令的上传局限于地面测站的测控弧段，制约了地面对执行故障地及时发现和快速解决；对于深空探测器，其与地球之间的通信存在巨大时延，仅依靠地面提供任务执行指令序列将错失最佳故障修复时机、使整个任务滞后甚至失败。因此，航天器需要具备自主任务规划修复能力，实现自我决策，提升安全性和任务回报。在智能体的任务规划修复领域上，国内外众多学者进行了深入的研究，同时也涌现出了许多理论和方法，如基于修补规则的任务修复方法、基于启发式的任务规划修复方法、基于状态回退的任务规划修复方法等。虽然上述算法都能解决任务执行失败时修复动作的选取问题，但是忽略了规划修复耗时的特点，以及智能体在进行规划修复的同时，可能仍然在执行其它动作的事实，从而产生修复序列无法适用于实际情况的...
【技术保护点】
1.航天器规划序列中逻辑条件不满足动作集的快速检测方法，其特征在于：包括如下实现步骤，/n步骤一、根据航天器当前感知的逻辑状态S和未执行规划序列P，结合前提-效果之间的因果关系进行约束传播。在约束传播过程中，分析规划序列中动作执行需要满足的逻辑前提条件与航天器当时的逻辑状态之间的关系，找到逻辑前提条件不再得到满足的动作集合，从而检测出受当前航天器逻辑状态直接影响的动作集合，记为动作集合I
【技术特征摘要】
1.航天器规划序列中逻辑条件不满足动作集的快速检测方法，其特征在于：包括如下实现步骤，
步骤一、根据航天器当前感知的逻辑状态S和未执行规划序列P，结合前提-效果之间的因果关系进行约束传播。在约束传播过程中，分析规划序列中动作执行需要满足的逻辑前提条件与航天器当时的逻辑状态之间的关系，找到逻辑前提条件不再得到满足的动作集合，从而检测出受当前航天器逻辑状态直接影响的动作集合，记为动作集合I1；
步骤二、遍历动作集合I1中的元素，分析动作集合I1对未执行规划序列P的影响。结合前提-效果间的因果关系再次进行约束传播，在约束传播过程中，分析规划序列中动作执行需要满足的逻辑前提条件与动作集合I1中动作效果之间的关系，找到逻辑前提条件不再得到满足的动作集合I2，从而检测出受动作集合I1直接影响的动作集合。所述动作集合I2即为受当前航天器逻辑状态影响的全部动作的集合；
步骤三、通过动作集合I2隔离出受影响的部分序列，选择性跳过逻辑前提条件不再得到满足的动作执行，从而能够实现航天器在继续执行任务规划序列时自主规避逻辑条件不满足的动作。
2.如权利要求1所述的航天器自主规避任务规划执行序列中逻辑错误的方法，其特征在于：步骤一实现步骤如下，
步骤(1.a)：记当前逻辑状态S的时刻为t，按时间顺序取未执行规划序列P中的一个动作a，判断动作a的发生时刻ast、结束时刻aet与t的关系；
步骤(1.b)：若ast＝t，说明动作a刚要开始。判断动作a的可用性，即判断动作a的逻辑开始前提条件和逻辑不变条件是否在航天器当前感知的逻辑状态S中都得到满足。若不满足，将动作a加入动作集合I1。否则，跳到步骤(1.g)；
步骤(1.c)：若ast<t<aet，说明动作a已经开始但未结束。判断动作a的可用性，即判断动作a的逻辑不变前提条件是否在航天器当前感知的逻辑状态S中得到满足。若不满足，将动作a加入动作集合I1。否则，跳到步骤(1.g)；
步骤(1.d)：若aet＝t，说明动作a刚要结束。判断动作a的可用性，即判断动作a的逻辑结束前提条件是否在航天器当前感知的逻辑状态S中得到满足。若不满足，将动作a加入动作集合I1。否则，跳到步骤(1.g)；
步骤(1.e)：若ast>t，说明动作a还未开始。判断动作a的可用性，即判断动作a的逻辑开始前提条件和逻辑不变条件是否在航天器当前感知的逻辑状态S中都得到满足。若满足，跳到步骤(1.g)。否则，进入下一步，即步骤(1.f)；
步骤(1.f)：进一步判断条件不满足是否只由执行错误决定，即判断动作a的条件不满足部分是否可以由动作a前面的动作提供，所述动作a前面的动作是指发生时间在t之后、动作a发生时刻ast之前的动作。若能够提供，说明动作a的逻辑前提得不到满足只是因为部分动作还未执行；否则，动作a受到执行...
【专利技术属性】
技术研发人员：徐瑞，陈超，崔平远，朱圣英，李朝玉，梁子璇，
申请(专利权)人：北京理工大学，
类型：发明
国别省市：北京;11
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。