Computational Intelligence: A Logical Approach