求解智能规划问题的一个重要方法即把智能规划问题转化为命题逻辑公式求解。
An important way for solving intelligent planning problem is translating it into propositional logic to solve.
本文从命题逻辑公式的相似度入手，研究命题逻辑公式集上的伪距离和近似推理。
This dissertation begins with the research of similarity degree, then pseudo-metric and approximate reasoning in propositional logic system are studied.
在对命题逻辑代数化表示的基础上，通过解多项式方程组，对命题公式进行等价转换、演绎推理。
This research paper of proposition logic algebra in the said, on the basis of the solution of equations by polynomial, propositional formula for equivalent conversion and deductive reasoning.
应用推荐