ai logic artificial-intelligence symbolic multi-modal hypothesis-testing multi-modal-logic hypotheses hypothesis-and-selection logics symbolic-ai pluralitynet symbolic-artificial-intelligence ai-forecasting-and-planning multi-modal-logics all-inclusive all-inclusive-approach axiom-hypotheses axiom-hypothesis multi-type-valued-logic-statements