知识表示和推理

知识表示和推理（knowledge representation and reasoning），理学-统计学-人文统计-【基本概念】，致力于建立一种计算机系统用以解决疾病诊断、自然语言对话等复杂任务的人工智能领域。最早的电算化知识表达由美国计算机科学家A.纽厄尔（Allen Newell，1927-03-19～1992-07-19）和H.A.西蒙（Herbert A.Simon，1916～2001）在1959年开发，主要用于一般问题求解。这类系统的特点是规划和分解数据结构。该系统开始有一个总目标，然后将这一目标分解为子目标，最后构建能完成每一个子目标的策略。随着知识表达方面研究的推进，人们总结出了线性的命题逻辑，谓词逻辑，树状的语义网络、框架、本体以及贝叶斯网等。这些不同的知识表达方法为不同的领域提供了最为合适的存储与推理机制。知识表示和推理可以分为两部分，一部分叫知识表达，另一部分叫知识推理。知识表达整合了心理学中关于人类如何解决问题的研究结果，通过设计一些范式使得一些复杂的系统更容易被构建出来。知识推理则是利用一些已知的知识推理问题的答案。