Book chapter
A Process Calculus for Design and Modeling of Retro-Synthesis
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.
Language: | English |
---|---|
Publisher: | IOS Press |
Year: | 2019 |
Pages: | 20-31 |
Series: | Frontiers in Artificial Intelligence and Applications |
ISBN: | 1614999325 , 1614999333 , 9781614999324 and 9781614999331 |
ISSN: | 18798314 and 09226389 |
Types: | Book chapter |
DOI: | 10.3233/978-1-61499-933-1-20 |
ORCIDs: | Nilsson, Jørgen Fischer |