No Access
Distinctive features of the contradiction separation based dynamic automated deduction
https://doi.org/10.1142/9789813273238_0092Cited by:3 (Source: Crossref)
Abstract:
Contradiction separation based dynamic automated deduction is a novel development of the standard static (i.e., fixed) binary resolution into a dynamic multi-clause synergized contradiction separation based inference rule. In this paper, we consider some distinctive features/advantages of this novel automated deduction mechanism, including multi-clause involvement, dynamic deduction, synergized deduction, robustness, exchangeability, controllability, scaling, repeatability, integrity and flexibility, along with some illustrative examples.
