Про резолюційні стратегії з слабкою факторизацією
eKMAIR
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Про резолюційні стратегії з слабкою факторизацією
On resolution strategies with weak factorization |
|
| Creator |
Афонін, Андрій
|
|
| Subject |
диз'юнкт
коректність методу пошуку несумісності лінійна резолюція правило факторизації |
|
| Description |
Linear-type resolution strategies using a simplified modification of the factorization rule for ordered clause are investigated in the paper. The proofs of their soundness and completeness are based on a so-called literal calculus. Peculiarities of inference search with the help of such strategies are demonstrated by means of examples.
В роботі досліджуються резолюційні стратегії лінійного типу для впорядкованих диз'юнктів, що використовують ослаблений варіант правила факторізациі. Доведення їхньої коректності та повноти спирається на так зване літеральне числення. Особливості виведення за допомогою таких стратегій демонструються на прикладах. |
|
| Date |
2012-07-16T07:32:14Z
2012-07-16T07:32:14Z 2009 |
|
| Type |
Article
|
|
| Identifier |
Афонін А. Про резолюційні стратегії з слабкою факторизацією / Афонін А. О. // Вісник Київського університету. Серія : Фізико-математичні науки. - 2009. - Вип. 4. – С. 69-72.
http://ekmair.ukma.edu.ua/handle/123456789/1609 |
|
| Language |
ua
|
|
| Relation |
Вісник Київського університету. Серія : Фізико-математичні науки
|
|