Leveraging Symbolic Artificial Intelligence and Fuzzy Logic for Materials Science: A Review of Methods, Challenges, and Applications to Scarce and Imperfect Experimental Data
Oct 2026· Advanced Engineering Materials· 105 references
Abstract
This article explores the transformative potential of symbolic artificial intelligence (AI) in the field of materials science, particularly in leveraging experimental data. While state‐of‐the‐art methods like neural networks and statistical models face challenges with limited and imperfect data, symbolic AI offers a promising alternative. We provide an inclusive definition of symbolic AI, contextualizing it within its historical development and emphasizing its ability to manipulate symbols and provide interpretable formalisms and reasoning capabilities. The article presents several symbolic AI models, including decision trees, ensemble methods, rule‐based systems, constraint‐based models, knowledge graphs, ontologies, causal graphical models, and fuzzy logic models, and discusses their applications in materials science. We also present our vision of AI for materials, grounded in realism and fully aware of the challenges, based on symbolic AI and fuzzy logic formalism. We also present our initial work in the field of materials science, ranging from the prediction of properties to the active exploration of the parameter space of a process, with the aim of optimizing one or more properties. The “DIADEM Program” allows us to go beyond the applications of existing AI methods and explore new solutions. This seems crucial given the limitations of the AI methods most widely used in the community. We therefore define methods with constraints: we seek to create methods that provide interpretable models, that can incorporate expert knowledge, that are easy to parameterize by a user unfamiliar with AI, and that are capable of extrapolation. This requires revisiting traditional methods but offers attractive prospects for transfer to industry, which is a major commitment of the “DIADEM Program.”
Agile methods continue to gain popularity. In particular, the Scrum method appears to be on the verge of becoming a de-facto standard in the industry, leading the so called Agile movement. While there are success stories and recommendations, there is little scientifically valid evidence of the challenges in the adoptio...
A. Marchenko, P. Abrahamsson· Agile Conference· 59 citations· ⚡11
A comprehensive taxonomy of the challenges faced when a medium-scale organization decided to adopt software platforms is provided, namely: business challenges, organizational challenges, technical challenges, and people challenges.
Yaser Ghanam, F. Maurer, P. Abrahamsson· Information and Software Tec...· 41 citations· ⚡3
It is shown that high article processing charges are not sufficiently justified by the publishers, which often lack transparency and may prevent authors from adopting OA.
D. Graziotin, Xiaofeng Wang, P. Abrahamsson· Scientometrics· 21 citations· ⚡1
MCGLPPI, a novel geometric representation learning framework that combines graph neural networks (GNNs) with the MARTINI molecular coarse-grained (CG) model to predict overall PPI properties accurately and efficiently, offers an effective and efficient solution for PPI overall property predictions.
Yang Yue, Shu Li, Yihua Cheng et al.· bioRxiv· 15 citations
PepPCBench enables a robust evaluation of PFNN-based methods and supports their continued development for peptide-protein structure prediction, and highlights the influence of peptide length, conformational flexibility, and training set similarity on prediction accuracy.
Si-Long Zhai, Huifeng Zhao, Ji-Ke Wang et al.· Journal of Chemical Informat...· 13 citations· ⚡1
OmniMol is presented, a framework using hypergraphs to improve predictions of molecular properties, addressing challenges of imperfect data annotation and enhancing model explainability, and achieves state-of-the-art performance in properties prediction.
Assistant Professor Pat Pataranutaporn describes a new interface that lets everyday users glimpse inside an AI's neural network before their chatbot ever says a word.
Microsoft Research Blog· microsoft.comJul 13, 2026
Cryptographic code supports vital protections in modern computing systems. Learn how a new method helps verify code as developers write it while preserving speed and adaptability as it gets implemented and evolves. The post Verifying Rust cryptography in SymCrypt, from standards to code appeared first on Microsoft Research.
MIT News · Artificial Intelligence· news.mit.eduJul 6, 2026
PhD student Rachel Sava, winner of the Envisioning the Future of Computing Prize, explores transformative improvements and dystopian risks of neural technology.