[1]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]
Copy

Propositions reasoning of decision formal contexts

CAAI Transactions on Intelligent Systems[ISSN 1673-4785/CN 23-1538/TP] Volume: 10 Number of periods: 2015 6 Page number: 934-937 Column: 学术论文—脑认知基础 Public date: 2015-12-25
Title:
Propositions reasoning of decision formal contexts
Author(s):
MA Li1; 2;  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 lattice; decision formal context; determine degree; necessary proposition; sufficient proposition
CLC:
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.
Similar References:

Memo

-

Last Update: 1900-01-01

Copyright © CAAI Transactions on Intelligent Systems