... information satisfiability 信息可满足性 Satisfiability Checking 可满足性判定 Satisfiability problem 布尔可满足性问题 ; ...
基于1个网页-相关网页
satisfiability checking
可满足性检查
以上为机器翻译结果，长、整句建议使用 人工翻译 。
Description logics systems offer a set of typical inference services, such as concept's classification, satisfiability and realization, knowledge base consistency checking.
描述逻辑系统可以提供一些典型的推理服务，例如，概念分类，概念的可满足性及概念的实现，知识的一致性检测等一系列的推理服务。
youdao
应用推荐
模块上移
模块下移
不移动