论文部分内容阅读
Resolution is an useful tool for mechanical theorem proving in modelling the refutation proof procedure, which is mostly used in constructing a “proof” of a “theorem”. An attempt is made to utilize approximate reasoning methodology in fuzzy resolution. Ap