知识库系统的逻辑基础

被引：20
|
作者：
许文艳
刘三阳
机构：
[1] 西安电子科技大学理学院应用数学系
来源：
计算机学报 | 2009年 / 32卷 / 11期
关键词：
可计算性逻辑; 知识库系统; 博弈; 交互; 资源;
D O I：
暂无
中图分类号：
TP182 [专家系统、知识工程];
学科分类号：
1111 ;
摘要：
针对知识库系统的研究现状和存在的问题,分析了用经典一阶谓词逻辑作为知识库系统逻辑基础的不充分性,根据知识库系统的特点和需求,指出可计算性逻辑既能为知识库系统提供合理的逻辑基础,又能弥补经典逻辑作为知识库系统逻辑基础的不足.并在此基础上用证明论方法,建立了一个基于可计算性逻辑的完备子集CL4的知识库系统的公理系统,显示出易于表达、操作简单的特点.
引用
收藏
页码：2123 / 2129
页数：7
相关论文
共 5 条
  • [1] From truth to computability II[J] . Giorgi Japaridze.Theoretical Computer Science . 2007 (1)
  • [2] From truth to computability I[J] . Giorgi Japaridze.Theoretical Computer Science . 2006 (1)
  • [3] Propositional computability logic II[J] . Giorgi Japaridze.ACM Transactions on Computational Logic (TOCL) . 2006 (2)
  • [4] Propositional computability logic I
    Japaridze, Giorgi
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2006, 7 (02) : 302 - 330
  • [5] Introduction to computability logic[J] . Giorgi Japaridze.Annals of Pure and Applied Logic . 2003 (1)
1