Semiring Reasoning Frameworks in AI and Their Computational Complexity