In the end, it defines the new answer set. In chapter 5, the paper studies the approximate reasoning of medium logic.
在此基础之上,文章定义了基于中介逻辑的回答集。
参考来源 - 基于中介逻辑无穷值语义模型的否定知识表示与处理·2,447,543篇论文数据，部分数据来源于NoteExpress
This paper deals with the formal system of propositional calculus of medium logic (MP).
本文讨论了中介逻辑命题演算(MP)的形式系统。
Medium logic is an non-classical logic system about researching distinct objects and fuzzy objects.
中介逻辑是一种以清晰的和模糊的事物为研究对象的非经典逻辑系统。
This paper investigates the theory and application of incomplete information system by using the medium logic predicate calculus system MFM.
本文借助中介逻辑谓词演算系统MFM，对不完全信息系统的理论和应用进行了研究。
应用推荐