谓词逻辑在人工智能中的应用

• 作者: 杜文静
• 来源期刊: 河南机电高等专科学校学报
• 学科: 哲学
• 关键词: 人工智能 谓词逻辑 知识表示 消解原理
• 年，卷（期）: 2006,（6）
• 所属期刊栏目: 社会科学
• 页码范围: 52-53
• 页数: 2页
• 分类号: B81
• 字数: 2782字
• 语种: 中文
• DOI: 10.3969/j.issn.1008-2093.2006.06.024

摘要

谓词逻辑是一种基于谓词分析的高度形式化的语言及其推理,是人工智能产生和发展的最重要的理论基础.本文从具体事例出发,解析了谓词逻辑在人工智能领域中两个主要应用:知识表示和消解原理.并在结束语提出谓词逻辑的局限,希望有更多的学者参加逻辑学的研究.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杜文静	南开大学哲学系	10	36	3.0	5.0