探讨了理论真度的性质后基于条件概率的思想,给出了理论的条件真度的概念,并用它建立了一种可以在公式集之间展开的近似推理模式,用于探寻最优推理结论和最优推理前提,最后给出了理论的和谐度的概念,刻画理论内部公式和谐共存的程度。
The properties of truth degree of theory are discussed.Then,the conditional truth degree of theory in proposition logic is proposed on the ideal of conditional probability.Based on the conditional truth degree of theory,a new approximate reasoning mode between formula sets is proposed,which can be used to search for the best reasoning conclusion and premise.Finally,the harmonious degree of theory is proposed for characterizing the extent of the internal harmony of the theory.