期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
新世纪信念修正研究动态
下载PDF
职称材料
导出
摘要
站在人工智能角度,从局部化信念修正和Horn信念修正这两个目前的热点,阐述信念修正理论的新世纪研究动态。
作者
吴茂念
机构地区
贵州大学理学院
出处
《计算机光盘软件与应用》
2012年第15期173-173,175,共2页
Computer CD Software and Application
关键词
人工智能
信念
修正
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
引文网络
相关文献
节点文献
二级参考文献
18
参考文献
4
共引文献
36
同被引文献
0
引证文献
0
二级引证文献
0
参考文献
4
1
陈武,张明义,吴茂念.
A Logic-Program-Based Negotiation Mechanism[J]
.Journal of Computer Science & Technology,2009,24(4):753-760.
被引量：3
2
罗杰,李未.
一个在Horn子句中求解极大缩减的算法[J]
.中国科学：信息科学,2011,41(2):129-143.
被引量：4
3
张东摩,顾红芳,陈世福.
信念修正与开放逻辑之间的关系[J]
.航空学报,1999,20(2):118-121.
被引量：1
4
李未.
一个开放的逻辑系统[J]
.中国科学（A辑）,1992,23(10):1103-1113.
被引量：32
二级参考文献
18
1
ZHANG MingYi,ZHANG Ying,FangZhen LiN.
A characterization of answer sets for logic programs[J]
.Science in China(Series F),2007,50(1):46-62.
被引量：1
2
张东摩.信念修正理论的扩充及其应用研究：学位论文[M].南京:南京航空航天大学,1996..
3
张东摩，中国科学.E，1998年，28卷，6期，10页
4
Zhang D，Proc 15th Int Join Conf Artificial Intelligence，1997年，89页
5
张东摩，J Comput Sci Technol，1996年，11卷，2期，108页
6
张东摩，学位论文，1996年
7
Zhang D，Proc 4th Int Conf Young Computer Scientists，1995年，574页
8
李未，中国科学.A，1992年，10期，1103页
9
[美]爱因斯坦,A· 著,杨润殷.狭义与广义相对论浅说[M]上海科学技术出版社,1964.
10
Li W.Mathematical Logic—Foundations For Information Science[]..2009
共引文献
36
1
张伟.
关于开放逻辑的可判定性[J]
.中国科学（F辑:信息科学）,2009,39(7):715-722.
2
怀进鹏.
非单调数据库及其信念维护系统的研究与实现[J]
.高技术通讯,1994,4(12):16-21.
3
李未,黄文奇.
一种求解合取范式可满足性问题的数学物理方法[J]
.中国科学（A辑）,1994,24(11):1208-1217.
被引量：21
4
王飓安.
对开放逻辑系统的哲学思考[J]
.自然辩证法研究,1995,11(2):23-26.
5
赵克,叶尚辉.
一个基于面向对象的设计知识表示的资源模型[J]
.机械科学与技术,1995,14(4):110-115.
被引量：3
6
邓安生,刘叙华.
Boole算子Fuzzy逻辑中推理的形式结构[J]
.中国科学（A辑）,1995,25(7):758-764.
被引量：3
7
赵克,叶尚辉.
递归设计过程模型的研究[J]
.机械科学与技术,1996,15(4):629-634.
被引量：2
8
胡懋仁.
开放逻辑与理论系统[J]
.自然辩证法研究,1996,12(3):7-12.
被引量：1
9
张敏,薛永生,胡文华,吴梅红,邓安生.
基于模态缺省理论的多Agent系统的知识更新[J]
.计算机工程,2006,32(17):108-111.
10
李昕,刘伟信.
关于开放逻辑与ATMS的关系研究[J]
.仪器仪表用户,2007,14(2):109-110.
1
肖文洁,朱朝晖.
有缺指派下的信念修正逻辑[J]
.软件学报,2010,21(1):47-54.
2
王崇骏,戈也挺,郭磊,陈世福.
OSC:一个开放式情景演算系统的研究[J]
.计算机研究与发展,2003,40(11):1598-1605.
被引量：1
3
张东摩,顾红芳,陈世福.
信念修正与开放逻辑之间的关系[J]
.航空学报,1999,20(2):118-121.
被引量：1
4
贾松茂,高阳,孙召春,陈世福.
一种广义信念修正的计算方法[J]
.计算机研究与发展,2004,41(5):769-773.
被引量：1
5
孙召春,高阳,贾松茂,陈世福.
多Agent信念修正研究综述[J]
.广西师范大学学报（自然科学版）,2003,21(1):74-80.
被引量：1
6
罗杰,李未.
一个在Horn子句中求解极大缩减的算法[J]
.中国科学：信息科学,2011,41(2):129-143.
被引量：4
计算机光盘软件与应用
2012年 第15期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部
