A simplified method is given in practice: on the one side, it extracts the differential elements to construct conjunctivenormalform from the information table.
An new concept of saturated conjunctivenormalform is introduced and the nature of sat problem is studied for utilizing the characteristic of saturated conjunctivenormalform.
引入了一个饱和合取范式的概念,利用饱和合取范式的性质,对SAT问题的本质进行了研究。
3
This paper presents a fast and efficient algorithm for discovering exceptional rules from data sets. This algorithm permits that the consequent of a rule is a conjunctivenormalform.