[1]马丽,米据生.决策形势背景的命题推演[J].智能系统学报编辑部,2015,10(6):934-937.[doi:10.11992/tis.201507055]
MA Li,MI Jusheng.Propositions reasoning of decision formal contexts[J].CAAI Transactions on Intelligent Systems,2015,10(6):934-937.[doi:10.11992/tis.201507055]
点击复制
MA Li,MI Jusheng.Propositions reasoning of decision formal contexts[J].CAAI Transactions on Intelligent Systems,2015,10(6):934-937.[doi:10.11992/tis.201507055]
决策形势背景的命题推演
《智能系统学报》编辑部[ISSN 1673-4785/CN 23-1538/TP] 卷:
10
期数:
2015年第6期
页码:
934-937
栏目:
学术论文—脑认知基础
出版日期:
2015-12-25
- Title:
- Propositions reasoning of decision formal contexts
- Keywords:
- concept lattice; decision formal context; determine degree; necessary proposition; sufficient proposition
- 分类号:
- TP18
- 摘要:
- 在形势背景的基础上,通过弱化形式概念构成的条件,定义了比形式概念更为广泛的认知基本单位,即命题。基于一些基本概念如必然命题和充分命题,给出了命题的一些相关性质及各种命题间的关系,以及获取一些新命题的有效方式。通过确定一个命题的程度即确定度,探讨了基于决策形式背景中的命题推理方法,为形势背景上的不确定推理提供了一种新的认知框架。
- Abstract:
- With respect to formal context, by weakening the composition condition of a formal concept, this paper proposes that the basic unit of cognition, i.e., proposition, is wider than the current formal concept. Using the concepts of necessary proposition and sufficient proposition as a basis, we provide some related properties of a proposition and the relationship between various propositions, and propose an effective way to obtain some new propositions. Using the degree of determination of a proposition, this paper discusses the propositional reasoning in a decision formal context, and provides a new framework for uncertain reasoning in a formal context.
- 参考文献/References:
-
[1] GANTER B, WILLE R. Formal concept analysis:mathematical foundations[M]. Berlin:Springer, 1999.
[2] WILLE R. Restruturing lattice theory:an approh based on hierarhies of conepts[M]//RIVAL I. Ordered Sets. Netherlands:Springer, 1982:445-470.
[3] BELOHLAVEK R. Fuzzy Galois connections[J]. Mathematical Logic Quarlerly, 1999, 45(4):497-504.
[4] WEI Ling, QI Jianjun, ZHANG Wenxiu. Attribute reduction theory of concept lattice based on decision formal contexts[J]. Science in China Series F:Information Sciences, 2008, 51(7):910-923.
[5] WANG Hong, ZHANG Wenxiu. Approaches to knowledge reduction in generalized consistent decision formal context[J]. Mathematical and Computer Modelling, 2008, 48(11/12):1677-1684.
[6] LI Jinhai, MEI Changlin, LYU Yuejin. Knowledge reduction in decision formal contexts[J]. Knowledge-Based Systems, 2011, 24(5):709-715.
[7] CHEN Shuwei, XU Yang, MA Jun. A linguistic truth-valued uncertainty reasoning model based on lattice-valued logic[M]//WANG Lipo, JIN Yaochu. Fuzzy Systems and Knowledge Discovery. Berlin Heidelberg:Springer-Verlag, 2005, 3613:276-284.
[8] BELLAMN R E, ZADEH L A. Decision-making in a fuzzy enviroment[J]. Management Science, 1970, 17(4):B-141-B-164.
[9] BOBILLO F, STRACCIA U. Generalized fuzzy rough description logics[J]. Information Sciences, 2012, 189:43-62.
[10] KANEIWA K, KAMIDE N. Paraconsistent computation tree logic[J]. New Generation Computing, 2011, 29(4):391-408.
- 相似文献/References:
-
[1]杜秋香,张继福,张素兰.概念特化的概念格更新构造算法[J].智能系统学报编辑部,2008,3(5):443.
DU Qiu-xiang,ZHANG J i-fu,ZHANG Su-lan.An improved algor ithm based on concept spec ialization for constructing concept lattices[J].CAAI Transactions on Intelligent Systems,2008,3():443.
[2]康向平,苗夺谦.一种基于概念格的集值信息系统中的知识获取方法[J].智能系统学报编辑部,2016,11(3):287.[doi:10.11992/tis.201603055]
KANG Xiangping,MIAO Duoqian.A knowledge acquisition method based on concept latticein set-valued information systems[J].CAAI Transactions on Intelligent Systems,2016,11():287.[doi:10.11992/tis.201603055]
[3]胡小康,王俊红.基于相容模糊概念的规则提取方法[J].智能系统学报编辑部,2016,11(3):352.[doi:10.11992/tis.201603043]
HU Xiaokang,WANG Junhong.Research on rule extraction method based on compatibility fuzzy concept[J].CAAI Transactions on Intelligent Systems,2016,11():352.[doi:10.11992/tis.201603043]
[4]石慧,何苗,魏玲.基于不可约元下集格的概念获取[J].智能系统学报编辑部,2014,9(2):244.[doi:10.3969/j.issn.1673-4785.201307019]
SHI Hui,HE Miao,WEI Ling.Concept acquisition based on the down-set lattice of irreducible elements[J].CAAI Transactions on Intelligent Systems,2014,9():244.[doi:10.3969/j.issn.1673-4785.201307019]
[5]刘保相,孟肖丽.基于关联分析的气象云图识别问题研究[J].智能系统学报编辑部,2014,9(5):595.[doi:10.3969/j.issn.1673-4785.201306049]
LIU Baoxiang,MENG Xiaoli.The study on nephogram recognition based on relational analysis[J].CAAI Transactions on Intelligent Systems,2014,9():595.[doi:10.3969/j.issn.1673-4785.201306049]
[6]毛华,刘祎超.基于权值最大圈的概念格构造算法[J].智能系统学报编辑部,2016,11(4):519.[doi:10.11992/tis.201606006]
MAO Hua,LIU Yichao.An algorithm for concept lattice construction based on maximum cycles of weight values[J].CAAI Transactions on Intelligent Systems,2016,11():519.[doi:10.11992/tis.201606006]
[7]温云霞,王俊红.横向拆分形势背景下的快速规则提取方法[J].智能系统学报编辑部,2016,11(4):526.[doi:10.11992/tis.201606008]
WEN Yunxia,WANG Junhong.Research on a fast method for extracting rules based on horizontal splitting[J].CAAI Transactions on Intelligent Systems,2016,11():526.[doi:10.11992/tis.201606008]
[8]毛华,史明.利用二元拟阵Kn图的一种建格方法[J].智能系统学报编辑部,2017,12(3):333.[doi:10.11992/tis.201704022]
MAO Hua,SHI Ming.A constructive method of lattice using the Kn diagram of binary matroid[J].CAAI Transactions on Intelligent Systems,2017,12():333.[doi:10.11992/tis.201704022]
[9]窦林立,展正然.利用二部图生成概念格[J].智能系统学报编辑部,2018,13(5):687.[doi:10.11992/tis.201703026]
DOU Linli,ZHAN Zhengran.Constructing concept lattice using bipartite graph[J].CAAI Transactions on Intelligent Systems,2018,13():687.[doi:10.11992/tis.201703026]
[10]王雯,康向平,武燕.概念格在不完备形式背景中的知识获取模型[J].智能系统学报编辑部,2019,14(5):1048.[doi:10.11992/tis.201809021]
WANG Wen,KANG Xiangping,WU Yan.Knowledge acquisition model of concept lattice in an incomplete formal context[J].CAAI Transactions on Intelligent Systems,2019,14():1048.[doi:10.11992/tis.201809021]
备注/Memo
收稿日期:2015-07-23;改回日期:。
基金项目:国家自然科学基金资助项目(61170107,61300153).
作者简介:马丽,女,1977年生,副教授,博士生,主要研究方向为形式概念分析、近似推理,粗糙集等。参与国家自然科学基金多项。
通讯作者:马丽.E-mail:sumasoft@163.com.
更新日期/Last Update:
1900-01-01