大数据审计（基于Python）课件第十二章-审计规则知识库.pptx

1、本文档内容版权归属内容提供方，所产生的收益全部归内容提供方所有。如果您对本文有版权争议，可选择认领，认领后既往收益都归您。。
2、本文档由用户上传，本站不保证质量和数量令人满意，可能有诸多瑕疵，付费之前，请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形，可联系本站下载客服投诉处理。
3、文档侵权举报电话：400-050-0827(电话支持时间：9:00-18:30)。

第十二章审计应用：审计规则知识库

利用一阶谓词逻辑法表示知识

利用一阶谓词逻辑法表示知识1概述和特点2谓词、个体和量词3联结词4谓词公式及示例

1概述和特点

概述和特点命题谓词刻画个体词的性质个体可以独立存在的事或物原子命题不包含其他命题作为其组成部分的命题，即在结构上不能再分解出其他命题的命题。又称简单命题。原子命题不能带有非，或，且，如果，那么等联结词。

概述和特点自然性确定性易用性可编程性接近于自然语言的形式语言，易于被人理解和接受。适用于精确性知识的表示，不适用于不确定性知识的表示。“非真即假，非假即真”较容易地转换为计算机的内部形式，易于模块化，便于对知识的添加、删除和修改。用谓

该用户很懒，什么也没介绍

咨询Ta 进入空间

更多 >

大数据审计（基于Python） 课件 第十二章-审计规则知识库.pptx