Logics from Galois connections

Järvinen, Jouni; Kondo, Michiro; Kortelainen, Jari

doi:10.1016/j.ijar.2008.06.003

Cited by 25 publications

(20 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [49], Jarvinen et al introduced information logic of Galois connections which is suitable for approximate reasoning about knowledge. In the next section, we shall investigate how to construct approximate concepts in an incomplete context by constructing a Galois connection.…”

Section: Preliminariesmentioning

confidence: 99%

Incomplete decision contexts: Approximate concept construction, rule acquisition and knowledge reduction

Mei

Yue-jin

2013

International Journal of Approximate Reasoning

243

View full text Add to dashboard Cite

Incomplete decision contexts are a kind of decision formal contexts in which information about the relationship between some objects and attributes is not available or is lost. Knowledge discovery in incomplete decision contexts is of interest because such databases are frequently encountered in the real world. This paper mainly focuses on the issues of approximate concept construction, rule acquisition and knowledge reduction in incomplete decision contexts. We propose a novel method for building the approximate concept lattice of an incomplete context. Then, we present the notion of an approximate decision rule and an approach for extracting non-redundant approximate decision rules from an incomplete decision context. Furthermore, in order to make the rule acquisition easier and the extracted approximate decision rules more compact, a knowledge reduction framework with a reduction procedure for incomplete decision contexts is formulated by constructing a discernibility matrix and its associated Boolean function. Finally, some numerical experiments are conducted to assess the efficiency of the proposed method.

show abstract

Section: Preliminariesmentioning

confidence: 99%

Incomplete decision contexts: Approximate concept construction, rule acquisition and knowledge reduction

Mei

Yue-jin

2013

International Journal of Approximate Reasoning

243

View full text Add to dashboard Cite

show abstract

“…This is made explicit in [30] which formally defines a Galois Connection (adjunction) between sets of sentences and classes of semantic structures. In [17] the Information Logic of Galois Connections (ILGC) is introduced as a convenient tool for approximate reasoning about knowledge. Actually, they use adjunctions introduced as generalized rough approximation operations based on information relations.…”

Section: Constraint Satisfaction Problems (Csps)mentioning

confidence: 99%

On Galois Connections and Soft Computing

García-Pardo

Cabrera

Ojeda‐Aciego

2013

Advances in Computational Intelligence

View full text Add to dashboard Cite

show abstract

“…On the one hand, one can find lots of papers on theoretical developments or theoretical applications [7,9,20]; on the other hand, of course, there exist as well a lot of applications to computer science, see [23] for a first survey on applications, although more specific references on certain topics can be found, for instance, to programming [24], data analysis [23], logic [12,18], etc.…”

Section: Introductionmentioning

confidence: 99%