Про резолюційні стратегії з слабкою факторизацією

Simple item page
dc.contributor.authorАфонін, Андрій
dc.date.accessioned2012-07-16T07:32:14Z
dc.date.available2012-07-16T07:32:14Z
dc.date.issued2009
dc.descriptionLinear-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.uk_UA
dc.description.abstractВ роботі досліджуються резолюційні стратегії лінійного типу для впорядкованих диз'юнктів, що використовують ослаблений варіант правила факторізациі. Доведення їхньої коректності та повноти спирається на так зване літеральне числення. Особливості виведення за допомогою таких стратегій демонструються на прикладах.uk_UA
dc.identifier.citationАфонін А. Про резолюційні стратегії з слабкою факторизацією / Афонін А. О. // Вісник Київського університету. Серія : Фізико-математичні науки. - 2009. - Вип. 4. – С. 69-72.uk_UA
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/1609
dc.language.isoukuk_UA
dc.relation.sourceВісник Київського університету. Серія : Фізико-математичні наукиuk_UA
dc.statuspublished earlieruk_UA
dc.subjectдиз'юнктuk_UA
dc.subjectкоректність методу пошуку несумісностіuk_UA
dc.subjectлінійна резолюціяuk_UA
dc.subjectправило факторизаціїuk_UA
dc.titleПро резолюційні стратегії з слабкою факторизацієюuk_UA
dc.title.alternativeOn resolution strategies with weak factorizationuk_UA
dc.typeArticleuk_UA
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Afonin_Pro rezoliutsiini stratehii z slabkoiu faktoryzatsiieiu.pdf
Size:
245.86 KB
Format:
Adobe Portable Document Format
Download
Collections
Кафедра мультимедійних систем