As the popularity of adhesive joints in industry increases, so does the need for tools to support the process of selecting a suitable adhesive. While some such tools already exist, they are either too limited in scope, or offer too little flexibility in use. This work presents a more advanced tool, that was developed together with a team of adhesive experts. We first extract the experts' knowledge about this domain and formalize it in a Knowledge Base (KB). The IDP-Z3 reasoning system can then be used to derive the necessary functionality from this KB. Together with a user-friendly interactive interface, this creates an easy-to-use tool capable of assisting the adhesive experts. To validate our approach, we performed user testing in the form of qualitative interviews. The experts are very positive about the tool, stating that, among others, it will help save time and find more suitable adhesives. Under consideration in Theory and Practice of Logic Programming (TPLP).

翻译：随着工业中胶粘剂连接日益普及，对支持合适胶粘剂选型工具的需求也随之增加。虽然已有一些此类工具，但它们要么适用范围过于有限，要么在使用中缺乏灵活性。本文提出了一种更先进的工具，该工具与胶粘剂专家团队共同开发。我们首先提取专家关于该领域的知识，并将其形式化到知识库（KB）中。随后可利用IDP-Z3推理系统从该知识库中推导出所需功能。结合用户友好的交互界面，我们创建了一个易于使用且能协助胶粘剂专家的工具。为验证该方法，我们以定性访谈的形式进行了用户测试。专家们对该工具反应非常积极，表示它有助于节省时间并找到更合适的胶粘剂。本文正在《逻辑编程理论与实践》（TPLP）审稿中。