期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

扩充析取逻辑程序的诱导语义

原文传递

导出

摘要基于诱导推理,提出了析取逻辑程序的一种说明语义框架,称为典型诱导语义(TAS)证明了TAS不仅具有完全性而且是析取稳定语义的自然扩展.利用相干原理,TAS很容易推广到扩充析取程序类,由此可以定义TAS的一种合理扩充,并能解决常识推理中一些典型问题.

作者王克文陈火旺吴泉源

机构地区国防科技大学计算机学院

出处《中国科学（E辑）》 CSCD 1997年第4期368-374,共7页 Science in China(Series E)

基金国家攀登计划 "八六三"计划国防科技大学计算机科学技术博士后流动站资助项目

关键词析取逻辑程序诱导推量典型假说计算机

分类号 TP302.2 [自动化与计算机技术—计算机系统结构]

引文网络
相关文献

参考文献1

1Dung P M，J Logic Prog，1995年，24卷，151页

1梅俊杰,刘蕻,原国伟,王以松.带函数析取逻辑程序的无基集及其应用[J].计算机科学与探索,2015,9(6):747-755.
2王克文,周立柱,陈火旺.扩充析取逻辑程序的争论语义(英文)[J].软件学报,2000,11(3):293-299. 被引量：2
3俞蝶琼.项目教学法在Java程序设计课程中的应用研究[J].电脑知识与技术,2013,9(6X):4279-4281. 被引量：2
4马绍汉,张宏.诱导推理及其应用[J].计算机科学,1993,20(5):1-6. 被引量：3
5胡久稔,王克文.诱导推理的一种计算模型[J].小型微型计算机系统,1996,17(11):46-50.
6张伟华.高职程序类课程考核评价模式的探究[J].电脑知识与技术（过刊）,2013,19(12X):8047-8048.
7沈一栋.析取逻辑及析取逻辑程序的语义研究[J].中国科学（E辑）,1997,27(2):187-192.
8李军.基于“项目驱动”的高校程序类课程实践教学改革研究[J].福建电脑,2017,33(3):66-67. 被引量：2
9刘智.基于FCM的程序类课程教学项目式微课设计研究[J].电脑知识与技术,2016,0(1):154-155.
10付铁祥,颜文彬.Ni-TAS 电阻式氨气敏传感器的研究[J].仪表技术与传感器,1998(2):28-30.

中国科学（E辑）

1997年第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部