摘要

近年来随着人工智能的发展,任务分解受到越来越多的关注。对于一个不能被任何基础机构单独完成的复杂任务,为了实现任务目标,必须进行模糊Petri网的任务分解。任务的分解是实现任务的关键,运用形式化的方法对任务分解进行描述和验证是十分必要的。

全文