Loading [MathJax]/extensions/TeX/ieeemacros.js
Positive constructed formulas preprocessing for automatic deduction | IEEE Conference Publication | IEEE Xplore

Positive constructed formulas preprocessing for automatic deduction


Abstract:

The preprocessing of positively-constructed formulas (PCFs) for automatic deduction search algorithms is considered in this paper. A new efficient algorithm for conversio...Show More

Abstract:

The preprocessing of positively-constructed formulas (PCFs) for automatic deduction search algorithms is considered in this paper. A new efficient algorithm for conversion of the predicate calculus language formulas to the language of PCFs and equivalent rules of reducing PCFs, preserving the original heuristic structure of knowledge represented by the formulas of the predicate calculus language, are presented.
Date of Conference: 30 May 2016 - 03 June 2016
Date Added to IEEE Xplore: 28 July 2016
ISBN Information:
Conference Location: Opatija, Croatia

References

References is not available for this document.