人民调解法 the People’s Mediation Law
调解法案 Act of Accord
调解法及其实践 Mediation law and practice
调解法官 Settlement Judge ; Giudice Conciliatore
司法调解 judicial mediation
调解法庭 [法] conciliation court
劳动争议调解仲裁法 the Law on Mediation and Arbitration of Labor Disputes
互联网广播调解法案 Webcaster Settlement Act
家庭和调解法庭协会 AFCC
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
应用推荐