As is inherited from modal logic and another extension of mathematic logic, temporal logic assertion inference can solve such problems.
作为模态逻辑的继承，与数理逻辑的又一外延，时态逻辑断言推理则有效地解决这方面出现的难题。
On the basis of both-branch fuzzy sets, the paper builds up the study frame of both-branch fuzzy inference, which is reasonable extension for single-branch fuzzy inference.
在双枝模糊集基础上，建立了双枝模糊推理框架，它是对单枝模糊推理的合理扩展。
应用推荐