Is the process of inferring facts using neural networks a unique form of reasoning? Is there really a different type of reasoning separate and distinct from deduction and induction? Does there exist a single fundamental form of inference for reasoning qualitatively, quantitatively, possibilistically (about 'fuzzy' concepts), and probabilistically? YES, it is called abduction. This paper present...

Minimal Polynomial Logic (MPL) is a generalisation of classical propositional logic which allows truth values in the continuous interval 0; 1] and in which propositions are represented by multi-variate polynomials. In previous work 7] we have introduced some properties of MPL and shown that it has two possible semantics: a) it can be considered as a logic for expressing, handling and computing ...