Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
Lp, a logic for representing and reasoning with statistical knowledge
Computational Intelligence
Rough Sets: Theoretical Aspects of Reasoning about Data
Rough Sets: Theoretical Aspects of Reasoning about Data
Knowledge Discovery in Databases
Knowledge Discovery in Databases
On Modeling Data Mining with Granular Computing
COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
Hi-index | 0.00 |
In order to further improve the KDD process in terms of both the degree of automation achieved and types of knowledge discovered, we argue that a formal logical foundation is needed and suggest that Bacchus' probability logic is a good choice. By completely staying within the expressiveness of Bacchus' probability logic language, we give formal definitions of a "pattern" as well as its determiners, which are "previously unknown" and "potentially useful". These definitions provide a sound foundation to overcome several deficiencies of current KDD systems with respect to novelty and usefulness judgment. Furthermore, based on this logic, we propose a logic induction operator that defines a standard process through which all the potentially useful patterns embedded in the given data can be discovered. This logic induction operator provides a formal characterization of the "discovery" process itself.