{'fraction_non_alphanumeric': 0.017013232514177693, 'fraction_numerical': 0.0, 'mean_word_length': 5.379518072289157, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
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.