一阶谓词逻辑在人工智能知识表示中的应用

• 作者: 王湘云
• 来源期刊: 重庆工学院学报（社会科学版）
• 学科: 哲学
• 关键词: 人工智能 知识表示 一阶谓词 形式语言
• 年，卷（期）: 2007,（9）
• 所属期刊栏目: 逻辑学
• 页码范围: 69-71
• 页数: 3页
• 分类号: B81
• 字数: 3365字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425.2007.09.018

摘要

用一阶谓词逻辑的形式语言讨论了自然语言的形式描述、数学知识的形式表述、在人工智能中智能行为过程的描述等.总结用一阶谓词逻辑的形式语言表示具体知识的步骤,以及这种知识表示法的局限与应当进一步研究的问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王湘云	南开大学哲学系	7	44	3.0	6.0