Open Access

Next-Generation Semantic AI Infrastructure for Sustainable Business Intelligence

4 Department of Artificial Intelligence Indonesian Center for Intelligent Computing Jakarta, Indonesia
4 Department of Machine Learning and Data Science Institute of Advanced Digital Systems Surabaya, Indonesia

Abstract

The transition from conventional business intelligence (BI) toward semantic, AI-enabled decision intelligence requires infrastructure capable of integrating heterogeneous information, reasoning over complex relationships, and supporting decisions under uncertainty. Traditional BI architectures predominantly emphasize structured data integration, descriptive analytics, and predefined query logic, whereas next-generation semantic AI infrastructure seeks to connect data, business concepts, contextual relationships, and intelligent reasoning within a unified decision environment. This research and review paper develops a conceptual framework for such infrastructure by synthesizing the theoretical foundations of learning, reasoning, dependency management, and intelligent search represented in the provided literature. Particular attention is given to clause-learning mechanisms, quantified reasoning, dependency learning, heuristic decision-making, and practical satisfiability solving. These foundations are interpreted as computational principles for semantic constraint management and decision-oriented AI infrastructure. The proposed framework consists of semantic data representation, knowledge integration, dependency-aware reasoning, constraint-driven inference, adaptive decision orchestration, and sustainability-oriented intelligence layers. The analysis indicates that semantic infrastructure can improve explainability, contextual consistency, reasoning efficiency, and the alignment between organizational data and strategic decisions. However, computational complexity, semantic ambiguity, scalability, model governance, and integration overhead remain important limitations. The paper argues that sustainable BI should evolve from a reporting-centered architecture toward a reasoning-centered infrastructure in which semantic relationships and decision constraints are treated as first-class computational objects.

Keywords

References

Marques Silva, J. P., Lynce, I., & Malik, S. (2021). Conflict-driven clause learning SATsolvers. In Biere, A., Heule, M., van Maaren, H., & Walsh, T. (Eds.),Handbookof Satisfiability, Frontiers in Artificial Intelligence and Applications. IOS Press.
Peitl, T., Slivovsky, F., & Szeider, S. (2019). Dependency learning for QBF.J. Artif.Intell. Res.,65, 180–208.
Pipatsrisawat, K., & Darwiche, A. (2011). On the power of clause-learning SAT solversas resolution engines.Artif. Intell.,175(2), 512–525.
Slivovsky, F. (2022). Quantified CDCL with universal resolution. In Meel, K. S., &Strichman, O. (Eds.),25th International Conference on Theory and Applicationsof Satisfiability Testing (SAT), Vol. 236 ofLIPIcs, pp. 24:1–24:16. Schloss Dagstuhl- Leibniz-Zentrum f ̈ur Informatik.
Van Gelder, A. (2012). Contributions to the theory of practical quantified Booleanformula solving. InProc. Principles and Practice of Constraint Programming(CP), pp. 647–663.
Vardi, M. Y. (2014). Boolean satisfiability: theory and engineering.Commun. ACM,57(3), 5.
Vinyals, M. (2020). Hard examples for common variable decision heuristics. InProceed-ings of the AAAI Conference on Artificial Intelligence (AAAI).
Zhang, L., & Malik, S. (2002). Conflict driven learning in a quantified Boolean satisfi-ability solver. InProc. IEEE/ACM International Conference on Computer-aidedDesign (ICCAD), pp. 442–449.
K. K. Goyal, "Semantic AI Infrastructure for Sustainable Decision Intelligence," 2025 8th International Conference on Informatics and Computational Sciences (ICICoS), Semarang, Indonesia, 2025, pp. 434-439, doi: 10.1109/ICICoS68590.2025.11329920.

Similar Articles

11-20 of 89

You may also start an advanced similarity search for this article.