知识库系统的逻辑基础

被引：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 [J].

Japaridze, Giorgi .

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 →