消解策略
更新时间:-- | 阅读量: 202

定理证明器自动定理证明中研究一切可判定问题的证明方法。J.A.Robinson于1965年提出的...但消解原理过于一般化，在证明过程中会产生大量多余子句。为提高消解效率，人们相继提出许多消解策略，如王湘浩教授就在这方面做出了重大贡献。

搜索到与“ 消解策略”相关的文献共 2条

人员密集场所中存在的消防监督问题及解决策略分析
由于在人员密集的场所有着巨大的人流量，各种拥挤现象屡见不鲜，如果在人口密度较大的场所发生火灾等危险事故，必然会对人员造成不同程度的人身安全损伤，而造成悲剧的重要原因就是人们对意外事故的恐慌，他们想在最...

《科技创新与应用》 2015年33期关键词: "人员密集场所","消防监督问题","消防监督策略" 收藏
基于可辨识集消解策略的覆盖决策系统约简算法
通过分析覆盖决策系统中的协调覆盖集与对象的可辨识集之间的关系,提出覆盖相对于可辨识集簇的辨识重要度和辨识影响度所构成的覆盖辨识能力,以及覆盖对可辨识集簇进行消解操作的概念。给出一种算法从可辨识集簇中提...

《郑州大学学报(理学版)》 2020年01期关键词: "可辨识集消解"," 辨识重要度"," 辨识影响度"," 覆盖决策系统" 收藏