中英▼
go top

paramodulation

  • n. 调解法

网络释义专业释义

  调解法

... 调解式 paramodulant 调解法 paramodulation 偏执程序设计 paranoid programming ...

基于24个网页-相关网页

短语

NC-paramodulation NC调解

input paramodulation 输入替换

paramodulation principle 替换原理

symmetry paramodulation 对称调解

generalized directed paramodulation 广义有向调解

generalized symmetric paramodulation 广义对称调解

 更多收起网络短语
  • 调解法 - 引用次数：4

    So the paramodulation can be used in generalized clause set. Theadvantage of the generalized clause set is that it can avoid abound of redundancy and make describing problem more natural.

    这样可以将调解法用于一种非子句形式的公式集——广义子句上，从而不仅可以避免从一般的公式集到子句集的转化过程所产生的大量符号冗余，同时也保持了对问题描述的自然性。

    参考来源 - 布尔算子模糊逻辑中的调解法
    调解（法）

·2,447,543篇论文数据，部分数据来源于NoteExpress

双语例句

  • In this paper, an improved paramodulation method is also presented, that prohibits the paramodulation between equalities .

    文中还提出了一种改进的调解方法，其中禁止等词之间的调解。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定