知识蕴涵时态逻辑系统

发布时间：2018-05-06 11:43

  本文选题：知识蕴涵 + 时态　； 参考：《安徽大学学报(哲学社会科学版)》2009年05期

【摘要】：在知识蕴涵命题逻辑的基础上,可以构建一个知识蕴涵时态命题逻辑系统,它可以描述包含时态信息的不协调知识系统的推理机制。根据给出的形式语义,可以证明该系统的可靠性和完全性。
[Abstract]:On the basis of knowledge implicative propositional logic, a knowledge implicative temporal propositional logic system can be constructed, which can describe the reasoning mechanism of uncoordinated knowledge system containing temporal information. According to the given formal semantics, the reliability and completeness of the system can be proved.
【作者单位】： 南京大学哲学系;
【分类号】：B812

【共引文献】

相关博士学位论文 前1条

1 张立娜;个体词的逻辑语义[D];清华大学;2007年

【相似文献】

相关期刊论文 前5条

1 张庆云;巧做完型填空[J];青海教育;2004年Z2期

2 米振邦;;单项填空题解题八法[J];语数外学习(高中版高三年级);2007年06期

3 杜国平;李娜;王洪光;徐良;;知识蕴涵模态逻辑系统[J];徐州师范大学学报(哲学社会科学版);2008年05期

4 杜国平;;知识蕴涵逻辑系统[J];逻辑学研究;2008年02期

5 杜国平;;知识蕴涵时态逻辑系统[J];安徽大学学报(哲学社会科学版);2009年05期

相关会议论文 前10条

1 赵峰;郭容寰;;上海基础地理数据库的设计与建设[A];首届长三角科技论坛数字区域建设与地理空间技术论坛优秀论文集[C];2004年

2 杨文川;德妍;杨巍;林昕光;;数据挖掘中一种机器学习算法的研究[A];2005年全国理论计算机科学学术年会论文集[C];2005年

3 林达真;李绍滋;;基于模式分类的汉语时态确定方法研究[A];第六届汉语词汇语义学研讨会论文集[C];2005年

4 张保钢;;城市地形图时空数据库建设[A];中国地理信息系统协会第九届年会论文集[C];2005年

5 任家东;彭慧丽;张啸剑;;ITRM:支持不确定有效时间的时态关系模型[A];2006年全国理论计算机科学学术年会论文集[C];2006年

6 张保钢;;城市地形图时空数据库建设[A];中国地理信息系统协会第九届年会论文集[C];2005年

7 党齐民;孙黎明;;一种N1NF的时态模型的研究[A];全国第19届计算机技术与应用（CACIS）学术会议论文集（上册）[C];2008年

8 张保钢;袁燕岩;;城市大比例尺地形图数据库中地物变化的自动发现[A];数字测绘与GIS技术应用研讨交流会论文集[C];2008年

9 张保钢;;城市地形图时空数据库建设[A];数字测绘与GIS技术应用研讨交流会论文集[C];2008年

10 郝达智;艾欣;;基于时序的连锁故障搜索方法研究[A];中国高等学校电力系统及其自动化专业第二十四届学术年会论文集（中册）[C];2008年

相关硕士学位论文 前10条

1 陈庆强;数据仓库和时态数据库时态查询的方法比较[D];暨南大学;2001年

2 章峰;面向对象的时态数据库系统研究与开发[D];中国科学院软件研究所;2001年

3 张静;时态数据库模型的研究及应用[D];广东工业大学;2002年

4 任淑霞;基于电子病历的时态数据库技术的研究[D];暨南大学;2003年

5 钱凤臣;基于图像的目标跟踪中特征提取方法的研究[D];西北工业大学;2004年

6 王晓红;基于时态数据模型的人力资源管理系统[D];广东工业大学;2004年

7 武月红;基于黑板结构的时态知识推理机实现的研究[D];东北大学;2005年

8 刘宁;时态数据库多时间粒度问题的研究[D];哈尔滨理工大学;2005年

9 张永钢;具有时态特征的小型地理信息系统的设计开发[D];大连理工大学;2006年

10 刘茂华;时态—基础地理信息数据库的版本化管理[D];辽宁工程技术大学;2005年

，

本文编号：1852181