摘要：
谓词逻辑表示法是指各种基于形式逻辑（formal Logic）的知识表示方式，利用逻辑公式描述对象、性质、状况和关系，例如“宇宙飞船在轨道上”可以描述成：In(spaceship,orbit)。它是人工智能领域中使用最早和最广泛的知识表示方法之一。其根本目的在于把教学中的逻辑论证符号化，能够采用属性演绎的方法，证明一个新语句是从哪里已知正确的语句推导出来的，那么也就能够断定这个新语句也是正确的。 在这种方法中，知识库可以看成一组逻辑公式的集合，知识库的修改是增加或删除逻辑公式。使用逻辑法表示知识，需要将以自然语言描述的知识通过引入谓词、函数来加以形式描述，获得有关的逻辑公式，进而以机器内... 阅读全文
摘要：
什么是知识表示？ 从一般意义上讲，知识表示是为描述世界所作的一组约定，是知识的符号化、形式化或模型化。 从计算机科学的角度讲，知识表示是研究计算机表示知识的可行性、有效性的一般方法，是把人类知识表示成机器处理的数据结构和系统控制结构的策略。 对于一个知识表示方法，通常有以下基本要求：具备足够的表示能力。针对特定领域，能否正确地、有效地表示出问题求解所需的各种知识就是知识表示的能力，这是一个关键的问题。选取的表示方法必须尽可能扩大表示范围并尽可能提高效率。同时，自然界的信息具有固有的模糊性和不确定性，因此对知识的模糊性和不确定性的支持程度也是选择时所要考虑的一个重要因素。与推理方... 阅读全文