甲烷氧化偶联反应催化剂分子设计专家系统的建立

从建造专家系统的理论体系出发,结合我们以前在计算机辅助催化剂分子设计方面所做的工作,从总体上确立了基于甲烷氧化偶联(OCM)这一目前国际上极为关注的催化氧化反应的催化剂组分分子设计专家系统的基本结构框架,对本系统的任务功能、体系结构与支持界面、数据库与知识规则库的建立、推理机的设计等几个部分分别进行了论述。通过对OCM反应的多相催化机理、催化剂组分活性因素、 复合氧化物的有效基团功能以及表面活性位等领域知识的深度分析和组织表达,详细地讨论了该系统数据库的内容构成和建立知识库时所采用的,与在不同分类层次上的知识规则相适应的较为合适的知识表示技术,如产生式表示、谓词逻辑、框架结构、语义网络等。在推理机的设计中,则针对该特定的专家系统,选择确定了几种合适的知识推理技术,并以一些在文献上已报导的OCM的催化剂的合理活性推理图作举例说明;同时,考虑到推理机进行目标求解的推理效果和效率,也涉及了对推理的搜索和控制策略方面的具体论述。