...al)2种类型的目标描述有机地整合在一起,从而构建了具有清晰语义与可判定性的形式化框架--目标描述逻辑(goal description logics,GDLs),在此基础上,定义了该框架下有关规划规则;建立了可用于判定目标一致性、目标可满足性的方法,与传统的目...
基于4个网页-相关网页
...al)2种类型的目标描述有机地整合在一起,从而构建了具有清晰语义与可判定性的形式化框架--目标描述逻辑(goal description logics,GDLs),在此基础上,定义了该框架下有关规划规则;建立了可用于判定目标一致性、目标可满足性的方法,与传统的目...
基于4个网页-相关网页