Towards Mass Spectrum Analysis with ASP

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

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

Original languageEnglish
Title of host publicationLogic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Proceedings
EditorsCarmine Dodaro, Gopal Gupta, Maria Vanina Martinez
Place of PublicationDallas, TX, USA
PublisherSpringer, Cham
Pages200-214
Number of pages15
ISBN (electronic)978-3-031-74209-5
ISBN (print)978-3-031-74208-8
Publication statusPublished - 9 Oct 2024
Peer-reviewedYes

Publication series

SeriesLecture notes in computer science
Volume15245
ISSN0302-9743
SeriesLecture Notes in Artificial Intelligence (LNAI)
ISSN0302-9743

Conference

Title17th International Conference on Logic Programming and Nonmonotonic Reasoning
Abbreviated titleLPNMR 2024
Conference number17
Duration11 - 14 October 2024
Website
LocationUniversity of Texas at Dallas
CityDallas
CountryUnited States of America

External IDs

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

Keywords

Research priority areas of TU Dresden

Keywords

  • chemistry, molecular structure, symmetry breaking, ASP