Ոչ դասական տրամաբանության ֆորմալ համակարգեր և թեորեմների մեքենայական արտածելիություն մեքենայական ուսուցման մեթոդների կիրառությամբ / Formal systems of non-classical logic and automated theorem proving using machine learning methods

Abstract

Ոչ դասական տրամաբանության համակարգերի ուսումնասիրությունը գիտական մեծ հետաքրքրություն է ներկայացնում, իսկ, մասնավորապես, կոնստրուկտիվ տրամաբանության ֆորմալ համակարգերը հետաքրքրություն են ներկայացնում ոչ միայն գիտական, այլ նաև կիրառական տեսանկյունից / Исследование неклассических логических систем представляет научный интерес / The study of systems of non-classical logic is of great scientific interest