机器智能-高频问题：一阶逻辑退化到命题逻辑

一阶逻辑退化到命题逻辑： a、每个一阶逻辑的知识库都能被命题化web b、思路：实例化KB和查询（即实例化）；归结；返回结果svg c、命题逻辑致使的知识库的扩张多是无限的（当包含涵词的时候，对象无限多可能会致使知识库无限扩张）xml d、命题化可能产生许多无关语句对象 e、对于p个k阶谓词（谓词中有多少个参数）和n个常数（参数能够用多少个常数代替），共产生pn^k个实例化blog 合一操做：un

>>阅读原文<<