知识的特性
• • • • 1、相对正确性 2、不确定性 3、可表示行 4、可利用性
知识的分类
• 作用范围来分：常识性知识，领域性知识
• 作用及表知识 • 确定性来分：确定性知识、不确定性知识 • 结构及表现来分：逻辑性知识、形象性知 识 • 抽象整体来分：0级知识、一级知识、二级 知识
• 将谓词公式化为skolem标准型的步骤如下 1、消去谓词公式中的蕴含与等值连接 2、减少否定符号的辖域 3、重新命名变元 4、消去存在量词，分两种情况，一是存在量 词不出现在全称量词的辖域内，换个个体 常量就行。二是存在量词有一个或多个全 称量词管辖，需要用skolem函数替代。 5、将全称量词全部移到左边 6、母式化为合取范式
知识与知识表示
什么是知识 数据、信息、知识 物质世界就是信息世界，信息就是人 对世界的感知。 数据是信息的一种表示形式，把信息用符 号及其组合表示并存放在存储介质中供计 算机处理时就是数据。
• 知识是人们在长期的生活和社会实践中、 科学研究及实验中积累起来的对客观世界 的认识与经验，是人对感知信息的关联。 • 知识反映了客观世界中事物之间的关系， 不同事物或相同事物间的不同关系形成了 不同的知识
知识的表示
• • • • 充分表示领域知识 有利于对知识的利用 便于对知识的组织、维护、管理 便于理解和实现
知识表示的方法
• • • • • • • • 一阶谓词逻辑表示法 产生式表示法 语义网络表示法 框架表示法 面向对象表示法 状态空间表示法 脚本（剧本）表示法 过程表示法
常用语义联系
• 1、ISA，AKO 含义：是一个，是一种 例：他是一个学生，那是一种草 • 2、part-of 含义：一部分 例：手是人体的一部分 • 3、IS 含义：是 例：她很漂亮，张三40岁 • 4、A-member-of 含义：成员 例：他是党员，我是工会会员
前束范式
• 一个谓词公式，如果它的所有量词都非否 定的出现在公式的最前面，且它的辖域一 直延伸到公式之末，同时公式中不出现连 接词，这种形式的公式称为前束范式。
斯科伦范式
• 斯科伦范式: 母式是合取范式的无前束范式。 或在前束范式中消去全部存在量词。 • 结论： 每个公式A都可以化为一个斯科伦范式B， 使得A不可满足当且仅当B不可满足，称B为 A的斯科伦范式。
• 5、Composed-of 含义：构成 例：整数由正整数，零，负整数构成 • 6、Have 含义：占有 例：他有一支笔 • 7、Before，After，At • In front of，behind of 含义：时间先后，位置前后 例： • 8、Located-on(at,under,inside,outside) 含义：位于，坐落 • 9、Similar-to，Near to 含义：相似，接近，靠近 • 10、If-then 含义：如果A那么B