期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
一阶逻辑命题符号化的研究
1
作者 方冬云 曾宪芾 《榆林学院学报》 2023年第5期57-60,共4页
一阶谓词逻辑作为一种重要的知识表示方法,有着强大的陈述表达能力,能够将思维活动准确的表达出来,而一阶逻辑命题符号化是一阶谓词逻辑的基础,把自然语言用离散数学的相关符号转化为谓词公式。文章着重分析自然语言含有三个或三个以上... 一阶谓词逻辑作为一种重要的知识表示方法,有着强大的陈述表达能力,能够将思维活动准确的表达出来,而一阶逻辑命题符号化是一阶谓词逻辑的基础,把自然语言用离散数学的相关符号转化为谓词公式。文章着重分析自然语言含有三个或三个以上谓词的命题符号化,将每句自然语言分解成多个复合的主谓语,按照“”量词与“→”联结词搭配,“”量词与“∧”联结词搭配的规则进行符号化。通过一阶逻辑命题符号化,利用一阶逻辑等值式及推理规则能高效率处理和解决自然语言领域的相关问题。 展开更多
关键词 一阶逻辑 命题符号化 一阶逻辑等值式
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部