n.可满足性;
例句:
1、
2、
定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题。
互联网摘选
3、
因此,在上述思想的基础上,先列出该范式中所包含的全部变量,然后在每个子句中加入该子句所没有的变量,使之成为含有n个变量的k-可满足性问题。
互联网摘选https://dict.25820.com/
提交成功
小编会尽快处理
回到顶部
点击反馈
