期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

受限的proflog语言及其表推演过程语义 被引量：1

CONSTRAINED PROFLOG LANGUAGE AND ITS PROCEDURAL SEMANTICS BASED ON TABLEAU
下载PDF
导出
摘要 Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义.表推演具有直观、灵活的特点,它的单步扩展规则具有很强的语义特征,它是扩展逻辑程序类的另一个理想的证明论.不过proflog包含了全部一阶理论,等词的替换性使得proflog过程语义比较复杂.在此提出讨论一种受限的程序语言cProflog,它包含函词,但限制了等词的替换性,体现了表达能力与计算复杂性之间的平衡.对于逻辑程序语言cProflog,还给出了复杂性较低的表推演过程.
作者 陈荣 孙吉贵 姜云飞
机构地区 中山大学 吉林大学
出处 《广西师范大学学报（自然科学版）》 CAS 2003年第1期27-33,共7页 Journal of Guangxi Normal University:Natural Science Edition
基金 广东省自然科学基金，中山大学校科研和教改项目
关键词 表推演 过程语义 非单调性 逻辑程序设计语言 证明论 proflog 扩展规则
分类号 TP312 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献1

二级参考文献2

  • 1Arnon Avron. Gentzen-type systems, resolution and tableaux[J] 1993,Journal of Automated Reasoning(2):265～281
  • 2Melvin Fitting. First-order modal tableaux[J] 1988,Journal of Automated Reasoning(2):191～213

共引文献1

同被引文献10

  • 1Cody Kwork,Oren Etzioni ,Daniel S Weld. Scaling question answering to the Web[J]. ACM Transaction on Information Systems,2001,19(3) :242-262.
  • 2Turing A M. Computing machinery and intelligence[J].MIND,1950,59(236):433-460.
  • 3白硕 程学旗 郭莉.大规模内容计算[A]..语言计算与基于内容的文本处理[C].北京:清华大学出版社,2003.13-25.
  • 4王树西 刘群 白硕.基于动态知识库的问答系统研究[A]..语言计算与基于内容的文本处理[C].北京:清华大学出版社,2003.587-592.
  • 5陆汝钤.人工智能[M].北京:科学出版社,2000..
  • 6陆汝钤.世纪之交的知识工程与知识科学[M].北京：清华大学出版社,2001..
  • 7王永庆.人工智能原理与方法[M].西安：西安交通大学出版社,1999..
  • 8王树西,刘群,白硕.一个人物关系问答的专家系统[J].广西师范大学学报（自然科学版）,2003,21(A01):31-36. 被引量：18
  • 9李占山,王涛,孙吉贵.基于模型诊断的替换测试与问题分解的研究[J].广西师范大学学报（自然科学版）,2003,21(1):23-26. 被引量：1
  • 10李爱平,廖桂平,吴泉源.诊断型专家系统中的基于粗糙集的归纳推理方法[J].广西师范大学学报（自然科学版）,2003,21(1):34-39. 被引量：5

引证文献1

二级引证文献2

广西师范大学学报（自然科学版）
2003年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部