逻辑表示

来自中文百科,文化平台
跳转至: 导航搜索

逻辑表示英语:logical representation),知识表示的一种基本方式。人工智能需要运用现代逻辑方法去解决复杂的现实问题,即可用逻辑来表达推理也可以用逻辑表示知识。作为知识表示的比较典型的陈述性方式,逻辑表示具有自然性(最接近自然语言)、精确性、灵活性和模块性等优点。主要的缺点是知识表示与知识运用分离。为了运用所表示的知识,需要另行设置问题求解程序或定理证明程序(即自动推理程序)。PROLOG语言把谓词逻辑的知识表示和知识运用统一了起来。

参见