Հրապարակման մանրամասներ:
Ամսագրի կամ հրապարակման վերնագիր:
Հրապարակման ամսաթիվ:
Հատոր:
ISSN:
Լրացուցիչ տեղեկություն:
սեղմիր այստեղ կապին հետևելու համար
Վերնագիր:
On Quantified Splitting Proof System for Propositional Calculi
Ստեղծողը:
Խորագիր:
Quantified propositional proof systems
Չվերահսկվող բանալի բառեր:
Generalized Splitting system ; Proof size ; Exponential speed-up
Ծածկույթ:
Ամփոփում:
In this paper, some new quantified propositional proof system is introduced and compared by proof complexities with other quantified and not quantified propositional proof systems. It is proved that the introduced system 1) is polynomially equivalent to its quantifier-free variant and 2) has exponential speedup by sizes over some variants of the quantified resolution system. As the introduced system has a very simple proof construction strategy, it can be very useful not only in Logic, and therefore in Artificial Intelligence, but also in areas such as Computational Biology and Medical Diagnosis.