A Process Calculus for Design and Modeling of Retro-Synthesis

Gabriel Broholm, Maliina Hammeken, Marcus Skov Hansen, Alexander Juhl, Marc Storm Larsen, Jørgen Fischer Nilsson, Thomas Pethick, Magnus Gether Sørensen

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review


We describe a logical calculus for process synthesis applying reaction rules for consuming, transforming and producing products at costs. Unlike common logical calculi, which deal with propositions supported by truth semantics, the process synthesis calculus deals with products (in a concrete or abstract sense) and their costs, and creation of products by the composing of appropriate reaction assemblies from a database of reactions or transactions. As such the calculus may be understood as a resource logic akin to linear logics. The calculus appeals to means-end backwards reasoning using a derivative of definite clause logic. Although rather general in scope, as an interesting case in this paper the calculus is applied to chemical retro-synthesis – in particular with the notoriously difficult Solvay cluster designs.

Original languageEnglish
Title of host publicationInformation Modelling and Knowledge Bases XXX
PublisherIOS Press
Publication date2019
Pages20 - 31
ISBN (Print)978-1-61499-932-4
Publication statusPublished - 2019
SeriesFrontiers in Artificial Intelligence and Applications


Dive into the research topics of 'A Process Calculus for Design and Modeling of Retro-Synthesis'. Together they form a unique fingerprint.

Cite this