- 1、本文档共6页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
一阶谓词公式关联矩阵的构造方法-计算机工程与应用.PDF
36 2014 ,50(3 ) Computer Engineering and Applications 计算机工程与应用
一阶谓词公式关联矩阵的构造方法
耿 霞,张继军,吴秋兰
GENG Xia, ZHANG Jijun, WU Qiulan
山东农业大学 信息科学与工程学院,山东 泰安 271018
College of Information Science and Engineering, Shandong Agricultural University, Tai ’an, Shandong 271018, China
GENG Xia, ZHANG Jijun, WU Qiulan. Construction method of incidence matrix to first-order predicate expression.
Computer Engineering and Applications, 2014, 50 (3 ):36-41.
Abstract :Incidence matrix can be applied in the process of first-order predicate logical reasoning. In order to improve the
construction efficiency of incidence matrix, so as to improve the efficiency of first-order predicate logical reasoning, a
recursive method by which the incidence matrix of first-order predicate expression can be constructed is proposed. For any
first-order predicate expression, the incidence matrix can be generated directly using the recursive property of binary tree
after logical connectives are eliminated in the method. The method provides possibility to realize automatic reasoning of
first-order predicate logic by means of incidence matrix.
Key words :first-order predicate expression; incidence matrix; logical reasoning; binary tree; recursive method
摘 要:一阶谓词逻辑可以借助关联矩阵进行有效推理。为了提高关联矩阵的构造效率,从而提高一阶谓词逻辑推理
的效率,提出一种由一阶谓词公式构造对应关联矩阵的递归方法。该方法利用二叉树的递归性质,对任意一个一阶谓
词公式,在化去量词后直接构造关联矩阵。该方法为借助关联矩阵实现一阶谓词逻辑的自动化推理提供了可能。
关键词:一阶谓词公式;关联矩阵;逻辑推理;二叉树;递归方法
文献标志码:A 中图分类号:TP301 doi :10.3778/j.issn. 1002-8331.1303-0430
[2]
1 引言 应关联矩阵 ,但对非Horn 子句的谓词逻辑不适用。
一阶谓词逻辑可以利用高级Petri 网系统中的谓词/ 本文提出一种由一阶谓词公式直接构造其关联矩
[1-7] 阵的方法,即在化去谓词公式的量词后直接构造关联矩
变迁系统(简称为Pr/T 系统)进行建模 ,同时,基于Pr/T
系统的关联矩阵,采用线性代数中关于矩阵变换的处理, 阵。此方法适用于所有的一阶谓词公式。
实现了一阶谓词逻辑的推理,文献[1-2 ,7- 11]对关联矩
阵在逻辑推理中的应用进行了研究。
您可能关注的文档
- LUB系列一体化智能孔板质量流量计-涡轮流量计.doc
- LUGB涡街流量传感器-气体腰轮流量计.doc
- LUGB涡街流量传感器.doc
- LUNZ系列内锥流量计-涡轮流量计.doc
- LWG-Y型涡轮流量计-淄博西创.doc
- LWGY涡轮流量计-气体腰轮流量计.doc
- Lω空间的ωβ连通性①-西南大学学报.PDF
- m-几乎度量空间的连续开映象-东南大学学报.PDF
- MapReduce-连接优化-厦门大学数据库实验室.ppt
- Matlab常用命令函数.PDF
- 2024年河南省普通高中招生考试英语讲评教学设计.docx
- 《庖丁解牛》教学设计 2023—2024学年统编版高中语文必修下册.docx
- 2024-2025学年科技与德育教学设计的发展趋势研究.docx
- 四年级上1.6声音的高与低 教学设计.docx
- 8.1 基本几何图形 第1课时 棱柱、棱锥、棱台 电子教案.docx
- 第三章 光和眼睛 专题训练 4.透镜的作图 教学设计 2024-2025学年沪粤版物理八年级上册.docx
- 高一上学期体育与健康 排球—侧面下手发球 教案 人教.docx
- Unit 1 Makingfriends Part A(教学设计)-2024-2025学年人教PEP版(2024)英语三年级上册.docx
- 五年级下册体育说课教学设计-5.7.1基本跳步 |人教版 21张.docx
- 暑期创优衔接作业 第14天2023-2024学年八年级下册数学暑假作业教学设计(人教版).docx
文档评论(0)