Using bees to solve a data-mining problem expressed as a max-sat one

  • Authors:
  • Karima Benatchba;Lotfi Admane;Mouloud Koudil

  • Affiliations:
  • Institut National de formation en Informatique, Oued Smar, Algeria;Institut National de formation en Informatique, Oued Smar, Algeria;Institut National de formation en Informatique, Oued Smar, Algeria

  • Venue:
  • IWINAC'05 Proceedings of the First international work-conference on the Interplay Between Natural and Artificial Computation conference on Artificial Intelligence and Knowledge Engineering Applications: a bioinspired approach - Volume Part II
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

The “NP-Complete” class gathers very significant practical problems such as Sat, Max-Sat, partitioning. There is not polynomial algorithm for the resolution of these problems. As a result, the interest in heuristics and meta-heuristics is still growing. In this paper, we present a very recent metaheuristic introduced to solve a 3-sat problem. This metaheuristic can be classified as an evolutionary algorithm. It is based on the process of bees' reproduction. We adapted it for the resolution of the Max-Sat problem. We tested it on a medical benchmark obtained from a data-mining problem that we translated into a Max-Sat problem.