描述逻辑支持推理，其推理主要涉及如下问题：概念可满足性（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
应用推荐
模块上移
模块下移
不移动