Incorporating logic in Artificial Bee Colony (ABC) algorithm to solve first order logic problems: The logical ABC

The fascination for generating reasons and drawing inferences has given a tremendous impetus to research in theoretical computer science. In spite of having well defined constructs and globally accepted notations for logic and First-order theorem provers, theorem proving is still a semi-decidable problem having exponential time complexity. On the other hand swarm intelligence is a swiftly growing research area for solving optimization problems. This paper presents a novel approach for automated theorem proving using meta-heuristics. In the present research we have tried to combine these two entirely different zones of computer science, i.e. meta-heuristics and concrete logic via modeling theorem provers as an optimization problem in a sound practical manner. Also we have experimentally shown how to automate first order reasoning using Artificial Bee Colony algorithm on a sample problem expressed in First-order predicate calculus.