首页> 中文会议>第四届全国逻辑系统、智能科学与信息科学学术会议 >谓词逻辑中有关函数及其部分性质的形式描述

谓词逻辑中有关函数及其部分性质的形式描述

页面导航

摘要
著录项
相似文献
相关主题

摘要

使用计算机来处理自然语句的问题,首要的工作是问题本身的形式描述.命题逻辑的表达问题的能力,仅限于连接词的使用,而谓词逻辑由于变元、谓词、量词和函数的引入具有很强的表达问题的能力,已成为描述计算机所处理的知识的有力工具.人工智能学科将谓词逻辑看作是一种基本的知识表示方法和推理方法.本文对谓词逻辑中的函数及部分性质进行了形式描述.

著录项

来源
《第四届全国逻辑系统、智能科学与信息科学学术会议》|2008年|140-144|共5页
会议地点贵州
作者
陈其楼; 潘正华;
展开▼
作者单位

贵州省科协;

贵州省社会科学界联合会;

贵州制约逻辑学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类数理逻辑（符号逻辑）;
关键词
谓词逻辑; 形式描述; 表达能力; 推理方法;

相似文献

中文文献
外文文献
专利

1. 函数在谓词逻辑符号化中的应用 [J] . 孙翠先 . 唐山学院学报 . 2016,第006期
2. 关于部分K值逻辑中的单纯可离函数集性质的一些结果 [J] . 王婷 ,刘任任 . 计算技术与自动化 . 2004,第003期
3. 用导数研究函数图像与性质时的几个细节——以2013年部分函数高考题为例 [J] . 李金兴 . 中学教研：数学版 . 2014,第003期
4. 上取整函数y=〈x〉及小数部分函数的若干性质及应用 [J] . 刘秀梅 . 佳木斯大学学报（自然科学版） . 2006,第001期
5. 一类多叶解析函数的部分和性质 [J] . 都俊杰 ,王芳 ,秦川 . 四川师范大学学报（自然科学版） . 2021,第001期
6. Z<'n><,p>上广义部分Bent函数的密码学性质 [C] . 赵亚群 ,李伟华 ,冯登国 . 第四届中国信息和通信安全学术会议 . 2005
7. 某类单叶解析函数的部分和性质及具有负系数解析函数的相关性质 [A] . 李元林 . 2010

谓词逻辑中有关函数及其部分性质的形式描述

摘要

著录项

相似文献

相关主题

期刊订阅