信息系统更新的自动机

发布时间：2018-01-01 17:22

  本文关键词：信息系统更新的自动机　出处：《逻辑学研究》2015年01期 　论文类型：期刊论文

  更多相关文章： 信息系统 动态 自动机 模型检测

【摘要】：通过引入信息等价和信息范式这两个主要概念,给出了信息系统更新的自动机。用自动机理论给出信息系统更新的模型的刻画,证明了星动作算子在信息系统的动态更新的逻辑系统的引入的不必要性,并且得到了自动机的语言和信息更新的联系。最后利用自动机理论研究了信息系统及其更新逻辑系统的模型检测的时间复杂性。
[Abstract]:By introducing the information equivalence and the information paradigm of the two main concepts, gives the updated information system. Describe the automaton updated with the information given system automaton model, proved that the logic system of star action operator in the dynamic information system updates the introduction of unnecessary, and obtained the automaton language and information update the time complexity of model checking. Finally using the automaton theory to study the information system and update logic system.

【作者单位】： 中山大学逻辑与认知研究所;
【分类号】：B81
【正文快照】： 粗糙集理论中的知识表达方式([12,13])一般采用信息表或称为信息系统的形式,对于粗糙集理论的逻辑推理系统来说,粗糙集公理系统是至关重要的。自从Lin在文[9]首次用公理化方法研究粗糙集之后,出现了许多关于粗糙集理论公理化方法方面的研究。([3,8,10,11,15,17])Khan利用公理

【参考文献】

相关期刊论文 前1条

1 祝峰,何华灿;粗集的公理化[J];计算机学报;2000年03期

【共引文献】

相关期刊论文 前10条

1 代建华,潘云鹤;相似关系粗糙集理论的一个极小公理组[J];复旦学报(自然科学版);2004年05期

2 刘永红;;广义近似空间与粗糙分类代数[J];中国工程科学;2006年03期

3 刘德金;;拓扑空间关于子基的分离性[J];大学数学;2011年03期

4 曹发生;张家锋;黄飞丹;聂登国;;决策逻辑的图论模型[J];毕节学院学报;2014年08期

5 PEI Dao-wu;;On uniqueness of (fuzzy) relation in some generalized rough set model[J];Applied Mathematics:A Journal of Chinese Universities(Series B);2014年03期

6 杨勇;朱晓钟;李廉;;直觉模糊粗糙集的公理化[J];合肥工业大学学报(自然科学版);2010年04期

7 邓汉元;;粗集的性质[J];湖南师范大学自然科学学报;2007年03期

8 祝峰;粗集理论中的相容关系[J];华侨大学学报(自然科学版);2001年02期

9 周雪娟;粗糙近似算子在无限论域上的特征刻划[J];淮阴工学院学报;2005年03期

10 杨勇;朱晓钟;李廉;;覆盖粗糙集的公理化[J];计算机科学;2009年05期

相关会议论文 前1条

1 Lishi Zhang;;Lattice Description of Approximation Space[A];第25届中国控制与决策会议论文集[C];2013年

相关博士学位论文 前10条

1 胡军;基于覆盖的粒计算模型及其应用研究[D];西安电子科技大学;2010年

2 孔芝;粗糙集理论若干问题的研究与应用[D];东北大学;2009年

3 苏健;基于粗糙集的数据挖掘与决策支持方法研究[D];浙江大学;2002年

4 许琦;粗糙集理论在旋转机械故障诊断技术上应用的研究[D];南京工业大学;2003年

5 管延勇;粗糙集与信息系统约简—决策规则优化[D];山东大学;2006年

6 薛占熬;柔性区间逻辑及推理研究[D];西北工业大学;2006年

7 李凡;Rough集理论及其应用中若干问题的研究[D];电子科技大学;2008年

8 王耘;粗糙集与粗糙函数模型研究[D];山东大学;2008年

9 黄国顺;基于粗糙集的决策表知识约简研究[D];华中科技大学;2007年

10 邱桃荣;面向本体学习的粒计算方法研究[D];北京交通大学;2009年

相关硕士学位论文 前10条

1 吕方苏;基于粒计算的上下文信息处理研究[D];武汉理工大学;2011年

2 梅磊;粗糙集和粒计算交叉问题的研究[D];武汉理工大学;2011年

3 马周明;几类粗糙近似算子及其公理化[D];漳州师范学院;2011年

4 吴燕华;区间直觉模糊集若干问题的研究[D];漳州师范学院;2011年

5 姜玉苹;粗糙集属性约简算法设计与实现[D];电子科技大学;2011年

6 王芳;基于属性重要度的属性约简算法研究[D];电子科技大学;2011年

7 赵磊;粗糙集在采矿方法选择规则挖掘中的应用及软件开发[D];昆明理工大学;2011年

8 孙巍巍;基于多指标群决策理论的股票预测系统研究[D];昆明理工大学;2002年

9 胡滢;粗糙集理论在动态系统故障检测与诊断中的应用[D];南京理工大学;2004年

10 刘潭仁;基于粗糙集和遗传算法的空间数据挖掘技术研究[D];重庆大学;2004年

【二级参考文献】

相关期刊论文 前1条

1 苗夺谦;王珏;;粗糙集理论中知识粗糙性与信息熵关系的讨论[J];模式识别与人工智能;1998年01期

，

本文编号：1365480