有专门研究你知道什么的学问叫知识推理学，外国有本很有名的书就叫《关于知识的推理》（reasoning about knowledge）。《西方哲学智慧》一书中所涉及的形而上学、主体性、人性论等都是与知识推理相关的。
基于20个网页-相关网页
Thus, many practical problems can be transformed into QBF, e. g. conformant planning, verification, non monotonic reasoning and reasoning about knowledge.
随着QBF问题的求解效率不断提高,QBF问题在诸如一致性规划、验证、非单调推理、知识推理等方面都有着广泛的应用。
参考来源 - 基于调查传播方法的QBF求解器·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐