Bibliographic Details
| Title: |
Exploration of Chemical Space Through Automated Reasoning. |
| Authors: |
Clymo, Judith1 (AUTHOR), Collins, Christopher M.2,3 (AUTHOR), Atkinson, Katie1,3 (AUTHOR), Dyer, Matthew S.2,3 (AUTHOR), Gaultois, Michael W.2,3 (AUTHOR), Gusev, Vladimir V.1,3 (AUTHOR), Rosseinsky, Matthew J.2,3 (AUTHOR) m.j.rosseinsky@liv.ac.uk, Schewe, Sven1 (AUTHOR) |
| Source: |
Angewandte Chemie. 2/3/2025, Vol. 137 Issue 6, p1-11. 11p. |
| Subject Terms: |
*MATERIALS science, *SUPERIONIC conductors, *CHEMICAL structure, *SCHOLARLY method, *AUTOMATION software, *EXPERTISE, *LOGIC |
| Abstract: |
The vast size of composition space poses a significant challenge for materials chemistry: exhaustive enumeration of potentially interesting compositions is typically infeasible, hindering assessment of important criteria ranging from novelty and stability to cost and performance. We report a tool, Comgen, for the efficient exploration of composition space, which makes use of logical methods from computer science used for proving theorems. We demonstrate how these techniques, which have not previously been applied to materials discovery, can enable reasoning about scientific domain knowledge provided by human experts. Comgen accepts a variety of user‐specified criteria, converts these into an abstract form, and utilises a powerful automated reasoning algorithm to identify compositions that satisfy these user requirements, or prove that the requirements cannot be simultaneously satisfied. In contrast to machine learning techniques, explicitly reasoning about domain knowledge, rather than making inferences from data, ensures that Comgen's outputs are fully interpretable and provably correct. Users interact with Comgen through a high‐level Python interface. We illustrate use of the tool with several case studies focused on the search for new ionic conductors. Further, we demonstrate the integration of Comgen into an end‐to‐end automated workflow to propose and evaluate candidate compositions quantitatively, prior to experimental investigation. This highlights the potential of automated formal reasoning in materials chemistry. [ABSTRACT FROM AUTHOR] |
|
Copyright of Angewandte Chemie is the property of Wiley-Blackwell and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Database: |
Academic Search Complete |
