引入定义相关硕士博士期刊学术论文 - 信丰网

引入定义相关论文

辅助变元之于命题与量化布尔公式的作用

使用辅助变元来引入定义,在知识表达中是一个流行和有力的技巧,能够得到更短、更自然的编码而无需冗长的重复.这篇论文中,我们形式......

期刊

辅助变元命题逻辑量化布尔公式引入定义 knowledge representation 表达力 propositional logic struct

看过本文同时还关注