Attribute Exploration of Many-Valued Context with SAT
نویسنده
چکیده
This paper proposes an encoding a background-implying problem in attribute exploration of manyvalued context into a SAT problem. A background-implying problem is whether an attribute implication is implied by some other attribute implications and is also compatible with background knowledge. In the case of manyvalued context, the background knowledge will be its scales which are also formal contexts. Key–Words: Attribute implication, background knowledge, propositional formula, SAT problem, formal context.
منابع مشابه
Using Sat for Attribute Exploration of Formal Context with Constraint
This paper presents a formulation of formal context satisfying some constraints which we already know, and an encoding a constraint-implying problem into SAT problem. The constraint-implying problem is whether an attribute implication which holds in the formal context is implied by the other attribute implications which also hold in the formal context together with information of the constraint...
متن کاملArithmetic Aggregation Operators for Interval-valued Intuitionistic Linguistic Variables and Application to Multi-attribute Group Decision Making
The intuitionistic linguistic set (ILS) is an extension of linguisitc variable. To overcome the drawback of using single real number to represent membership degree and non-membership degree for ILS, the concept of interval-valued intuitionistic linguistic set (IVILS) is introduced through representing the membership degree and non-membership degree with intervals for ILS in this paper. The oper...
متن کاملHybrid multi-criteria group decision-making for supplier selection problem with interval-valued Intuitionistic fuzzy data
The main objectives of supply chain management are reducing the risk of supply chain and production cost, increase the income, improve the customer services, optimizing the achievement level, and business processes which would increase ability, competency, customer satisfaction, and profitability. Further, the process of selecting the appropriate supplier capable of providing buyerchr('39')s re...
متن کاملMapping CSP into Many-Valued SAT
We first define a mapping from CSP to many-valued SAT which allows to solve CSP instances with many-valued SAT solvers. Second, we define a new many-valued resolution rule and prove that it is refutation complete for many-valued CNF formulas and, moreover, enforces CSP (i, j)-consistency when applied to a many-valued SAT encoding of a CSP. Instances of our rule enforce well-known local consiste...
متن کاملMany Valued Context for Knowledge Evaluation
In this paper we illustrate application of many valued context in the area of knowledge evaluation. While the classical binary approach clearly indicates relationships among objects and attributes it still does not provide any information on the degrees to which an object possesses an attribute. Many valued contexts allow inclusion of more detailed description on such dependences. Key–Words: Ma...
متن کامل