描述逻辑支持推理,其推理主要涉及如下问题:概念可满足性(concept Satisfiability),包含关系(Subs姗ption),可满足性(Satisfiabilty),实例检测(inst锄ce checking);而可满足性是关键问题。
基于16个网页-相关网页
concept satisfiability
概念的可满足性
以上为机器翻译结果,长、整句建议使用 人工翻译 。
Owing to the shortcomings of existing methods, we applied the concept of "possibility-satisfiability degree" into this realm, and put forward a new kind of optimal adjustment algorithm.
针对现有检验与调整方法存在的不足,将“可能满意度”的概念引入该领域,提出一种新的优化调整算法。
youdao
应用推荐
模块上移
模块下移
不移动