A Process Calculus For Design And Modeling Of Retro-Ynthesis
INFORMATION MODELLING AND KNOWLEDGE BASES XXX(2019)
摘要
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.
更多查看译文
关键词
Process calculus, Logical clauses, Resolution, Means-end-reasoning, Retro-synthesis, Solvay clusters
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要