...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Foundations of chemistry >Logics for algorithmic chemistries
【24h】

Logics for algorithmic chemistries

机译：算法化学逻辑

获取原文
获取原文并翻译 | 示例
   

获取外文期刊封面封底 >>

       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Algorithmic chemistries are often based on a fixed formalism which limits the fragment of chemistry expressible in the domain of the models. This results in limited applicability of the models in contemporary mathematical chemistry and is due to the poor fit between the logic used for model construction and the system being modeled. In this paper, I propose a system-oriented methodology which selects a formalism through a mapping of chemical transformation rules to proof-theoretic structural rules. Using a formal specification framework from the field of artificial chemistry, expressive adequacy is ensured by the choice of logic being based on the system properties to be modeled. To illustrate the methodology, a case study is provided that shows how the proposed approach selects linear logic for modeling resource sensitivity and the proof-theoretic interpretation facilitates translation to a programming language. Since the method results in a plurality of models, I conclude with a discussion on how the proposal contributes to multi-model paradigms in computational pharmacology.
机译：None

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号