8. The method of claim 1 , further comprising: translating the reasoning task into a semantically-equivalent first-order logic (FOL) formula in conjunctive normal form (CNF); for each of the one or more symbols in the reasoning task: determining that the corresponding symbol has a positive polarity in response to the corresponding symbol having positive form in the semantically-equivalent FOL formula in CNF; and determining that the corresponding symbol has a negative polarity in response to the corresponding symbol having negation form in the semantically-equivalent FOL formula in CNF; generating a set of one or more polarity symbols, wherein each of the one or more polarity symbols includes a corresponding polarity of a corresponding one of the one or more symbols; and determining the polarity-based modules by determination of polarity-based modules for each opposite of the one or more polarity symbols.
9. The method of claim 8 , wherein determining the polarity-based modules comprises determining each of the polarity-based modules according to a linear selection function based on resolvable relevance to iteratively compute the corresponding polarity-based module.