Global Journal of Science Frontier Research, F: Mathematics and Decision Science, Volume 22 Issue 4

Boosting Human Insight by Cooperative AI: Foundations of Shannon-Neumann Logic 1 Year 2022 15 © 2022 Global Journals Global Journal of Science Frontier Research Volume XXII Issue ersion I V IV ( F ) • Insight Gain Tensors µ ( when, where, what, which ) are necessary to select sound inferences (real-world accurate), from a vast (effectively infinite) num- ber of valid ones (those with SN normal-form). µ measures the human in- sight gains, associated to questions posed, within their cognitive mindsets ( C min , C max ) • A validation test, to show that SN-Logic can replicate the solution steps, to a real-world solved case (discovery in quantum field theory) This paper focused solely on logic and validity of SN-inferences. It has not dealt with the equally important issue of scientific soundness and accuracy. We will present the construction of the insight-gain convolution tensors and kernels, and the learned structure (cooperative learning), in future papers. A: Vector Space of Exploration Steps T (sample) Time basis vector: when ≡ p 1 ∈ T ) to identify an obstacle to minimize the obstacle to explore solution ideas to question a solution idea to verify a solution idea VII. A ppendices N otes B: Vector Space of Cognitive Difficulties S D (sample) Basis vectors of cognitive obstacles: where ≡ p 2 ∈ S D inability to classify [frame] inability to compute [frame] inability to connect [frame] inability to construct [frame] inability to count [frame] inability to decide [frame] inability to design [frame] inability to eliminate [frame] inability to evaluate [frame] inability to exploit [frame] inability to extract [frame] inability to identify [frame] inability to interpret [frame] inability to organize [frame] inability to perform [frame] inability to plan [frame] inability to predict [frame] inability to rank [frame] inability to relate [frame] inability to select [frame] inability to simplify [frame] inability to solve [frame] inability to transform [frame] inability to verify [frame] etc.