[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]
点击复制

决策形势背景的命题推演(/HTML)
分享到:

《智能系统学报》编辑部[ISSN:1673-4785/CN:23-1538/TP]

卷:
第10卷
期数:
2015年6期
页码:
934-937
栏目:
出版日期:
2015-12-25

文章信息/Info

Title:
Propositions reasoning of decision formal contexts
作者:
马丽12 米据生1
1. 河北师范大学数学与信息科学学院, 河北石家庄 050024;
2. 石家庄经济学院信息工程学院, 河北石家庄 050031
Author(s):
MA Li12 MI Jusheng1
1. College of Mathematics and Information Science, Hebei Normal University, Shijiazhuang 050024, China;
2. College of Information and Engineering, Shijiazhuang University of Economics, Shijiazhuang 050031, China
关键词:
概念格决策形式背景确定度必然命题充分命题
Keywords:
concept latticedecision formal contextdetermine degreenecessary propositionsufficient proposition
分类号:
TP18
DOI:
10.11992/tis.201507055
摘要:
在形势背景的基础上,通过弱化形式概念构成的条件,定义了比形式概念更为广泛的认知基本单位,即命题。基于一些基本概念如必然命题和充分命题,给出了命题的一些相关性质及各种命题间的关系,以及获取一些新命题的有效方式。通过确定一个命题的程度即确定度,探讨了基于决策形式背景中的命题推理方法,为形势背景上的不确定推理提供了一种新的认知框架。
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(05):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(6):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(6):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(6):352.[doi:10.11992/tis.201603043]
[4]石慧,何苗,魏玲.基于不可约元下集格的概念获取[J].智能系统学报编辑部,2014,9(02):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(6):244.[doi:10.3969/j.issn.1673-4785.201307019]
[5]刘保相,孟肖丽.基于关联分析的气象云图识别问题研究[J].智能系统学报编辑部,2014,9(05):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(6):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(6):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(6):526.[doi:10.11992/tis.201606008]
[8]毛华,史明.利用二元拟阵Kn图的一种建格方法[J].智能系统学报编辑部,2017,12(03):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(6):333.[doi:10.11992/tis.201704022]
[9]窦林立,展正然.利用二部图生成概念格[J].智能系统学报编辑部,2018,13(05):687.[doi:10.11992/tis.201703026]
 DOU Linli,ZHAN Zhengran.Constructing concept lattice using bipartite graph[J].CAAI Transactions on Intelligent Systems,2018,13(6):687.[doi:10.11992/tis.201703026]

备注/Memo

备注/Memo:
收稿日期:2015-07-23;改回日期:。
基金项目:国家自然科学基金资助项目(61170107,61300153);河北省高校创新团队领军人才培育计划资助项目(LJRC022).
作者简介:马丽,女,1977年生,副教授,博士生,主要研究方向为形式概念分析、近似推理,粗糙集等。参与国家自然科学基金多项。
通讯作者:马丽.E-mail:sumasoft@163.com.
更新日期/Last Update: 1900-01-01