Towards Mass Spectrum Analysis with ASP

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Abstract

We present a new use of Answer Set Programming (ASP) to discover the molecular structure of chemical samples based on the relative abundance of elements and structural fragments, as measured in mass spectrometry. To constrain the exponential search space for this combinatorial problem, we develop canonical representations of molecular structures and an ASP implementation that uses these definitions. We evaluate the correctness of our implementation over a large set of known molecular structures, and we compare its quality and performance to other ASP symmetry-breaking methods and to a commercial tool from analytical chemistry.

Details

OriginalspracheEnglisch
TitelLogic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Proceedings
Redakteure/-innenCarmine Dodaro, Gopal Gupta, Maria Vanina Martinez
ErscheinungsortDallas, TX, USA
Herausgeber (Verlag)Springer, Cham
Seiten200-214
Seitenumfang15
ISBN (elektronisch)978-3-031-74209-5
ISBN (Print)978-3-031-74208-8
PublikationsstatusVeröffentlicht - 9 Okt. 2024
Peer-Review-StatusJa

Publikationsreihe

ReiheLecture notes in computer science
Band15245
ISSN0302-9743
ReiheLecture Notes in Artificial Intelligence (LNAI)
ISSN0302-9743

Konferenz

Titel17th International Conference on Logic Programming and Non-monotonic Reasoning
KurztitelLPNMR 2024
Veranstaltungsnummer17
Dauer11 - 14 Oktober 2024
Webseite
OrtUniversity of Texas at Dallas
StadtDallas
LandUSA/Vereinigte Staaten

Externe IDs

Scopus 85207643086
ORCID /0000-0002-1604-6308/work/176342328

Schlagworte

Forschungsprofillinien der TU Dresden

Schlagwörter

  • chemistry, molecular structure, symmetry breaking, ASP