Rule-Based Reasoning
Parameterizing the semantics of fuzzy attribute implications by systems of isotone Galois connections
We study the semantics of fuzzy if-then rules called fuzzy attribute implications parameterized by systems of isotone Galois connections. The rules express dependencies between fuzzy attributes in object-attribute incidence data. The proposed parameterizations are general and include as special cases the parameterizations by linguistic hedges used in earlier approaches. We formalize the general parameterizations, propose bivalent and graded notions of semantic entailment of fuzzy attribute implications, show their characterization in terms of least models and complete axiomatization, and provide characterization of bases of fuzzy attribute implications derived from data.
Hybrid Systems Knowledge Representation Using Modelling Environment System Techniques Artificial Intelligence
Knowledge-based or Artificial Intelligence techniques are used increasingly as alternatives to more classical techniques to model ENVIRONMENTAL SYSTEMS. Use of Artificial Intelligence (AI) in environmental modelling has increased with recognition of its potential. In this paper we examine the DIFFERENT TECHNIQUES of Artificial intelligence with profound examples of human perception, learning and reasoning to solve complex problems. However with the increase of complexity better methods are required. Keeping in view of the above some researchers introduced the idea of hybrid mechanism in which two or more methods can be combined which seems to be a positive effort for creating a more complex; advanced and intelligent system which has the capability to in- cooperate human decisions thus driving the landscape changes.
Interpreting Tree Ensembles with inTrees
Tree ensembles such as random forests and boosted trees are accurate but difficult to understand, debug and deploy. In this work, we provide the inTrees (interpretable trees) framework that extracts, measures, prunes and selects rules from a tree ensemble, and calculates frequent variable interactions. An rule-based learner, referred to as the simplified tree ensemble learner (STEL), can also be formed and used for future prediction. The inTrees framework can applied to both classification and regression problems, and is applicable to many types of tree ensembles, e.g., random forests, regularized random forests, and boosted trees. We implemented the inTrees algorithms in the "inTrees" R package.
On minimal sets of graded attribute implications
Reasoning with various types of if-then rules is crucial in many disciplines ranging from theoretical computer science to applications. Among the most widely used rules are those taking from of implications between conjunctions of attributes. Such rules are utilized in database systems (as functional dependencies or inclusion dependencies [23]), logic programming (as particular definite clauses representing programs [22]), and data mining (as attribute implications [14] or association rules [1, 33]). One of the most important problems regarding the rules is to find for a given set T of rules a set of rules which is equivalent to T and minimal in terms of its size. In relational database theory [23], the problem is referred to as finding minimal covers of T.
Association Rule Hiding Based on Evolutionary Multi-Objective Optimization by Removing Items
Cheng, Peng (Harbin Institute of Technology) | Pan, Jeng-Shyang (Harbin Institute of Technology)
Today, people benefit from utilizing data mining technologies, such as association rule mining methods, to find valuable knowledge residing in a large amount of data. However, they also face the risk of exposing sensitive or confidential information, when data is shared among different organizations. Thus, a question arise: how can we prevent that sensitive knowledge is discovered, while ensuring that ordinary non-sensitive knowledge can be mined to the maximum extent possible. In this paper, we address the problem of privacy preserving in association rule mining from the perspective of multi-objective optimization. A new hiding method based evolutionary multi-objective optimization (EMO) is proposed and the side effects generated by the hiding process are formulated as optimization goals. EMO is used to find candidate transactions to modify so that side effects are minimized. Comparative experiments with exact methods on real datasets demonstrated that the proposed method can hide sensitive rules with fewer side effects.
Confident Reasoning on Raven's Progressive Matrices Tests
McGreggor, Keith (Georgia Institute of Technology) | Goel, Ashok (Georgia Institute of Technology)
We report a novel approach to addressing the Ravenโs Progressive Matrices (RPM) tests, one based upon purely visual representations. Our technique introduces the calculation of confidence in an answer and the automatic adjustment of level of resolution if that confidence is insufficient. We first describe the nature of the visual analogies found on the RPM. We then exhibit our algorithm and work through a detailed example. Finally, we present the performance of our algorithm on the four major variants of the RPM tests, illustrating the impact of confidence. This is the first such account of any computational model against the entirety of the Ravenโs.
Using Reactive Rules to Guide a Forward-Chaining Planner
Shanahan, Murray (Imperial College London)
This paper presents a planning technique in which a flawed set of reactive rules is used to guide a stochastic forward-chaining search. A planner based on this technique is shown to perform well on Blocks World problems. But the attraction of the technique is not only its high performance as a straight planner, but also its anytime capability. Using a more dynamic domain, the performance of a resource-bounded version of the planner is shown to degrade gracefully as computational resources are reduced.
FO(C): A Knowledge Representation Language of Causality
Bogaerts, Bart, Vennekens, Joost, Denecker, Marc, Bussche, Jan Van den
Cause-effect relations are an important part of human knowledge. In real life, humans often reason about complex causes linked to complex effects. By comparison, existing formalisms for representing knowledge about causal relations are quite limited in the kind of specifications of causes and effects they allow. In this paper, we present the new language C-Log, which offers a significantly more expressive representation of effects, including such features as the creation of new objects. We show how C-Log integrates with first-order logic, resulting in the language FO(C). We also compare FO(C) with several related languages and paradigms, including inductive definitions, disjunctive logic programming, business rules and extensions of Datalog.
Integrating Vague Association Mining with Markov Model
The increasing demand of World Wide Web raises the need of predicting the user's web page request. The most widely used approach to predict the web pages is the pattern discovery process of Web usage mining. This process involves inevitability of many techniques like Markov model, association rules and clustering. Fuzzy theory with different techniques has been introduced for the better results. Our focus is on Markov models. This paper is introducing the vague Rules with Markov models for more accuracy using the vague set theory.
A Hybrid Fuzzy-Firefly Approach for Rule-Based Classification
Pouyan, Maziyar Baran (University of Texas at Dallas) | Yousefi, Rasoul (University of Texas at Dallas) | Ostadabbas, Sarah (University of Texas at Dallas) | Nourani, Mehrdad (University of Texas at Dallas)
Pattern classification algorithms have been applied in data mining and signal processing to extract the knowledge from data in a wide range of applications. The Fuzzy inference systems have successfully been used to extract rules in rule-based applications. In this paper, a novel hybrid methodology using: (i) fuzzy logic (in form of if-then rules) and (ii) a bio-inspired optimization technique (firefly algorithm) is proposed to improve performance and accuracy of classification task. Experiments are done using nine standard data sets in UCI machine learning repository. The results show that overall the accuracy and performance of our classification are better or very competitive compared to others reported in literature.