ՀՀ ԳԱԱ Զեկույցներ =Reports NAS RA

Обобщенная нечеткая конструктивная логика

Заславский, И. Д. (2015) Обобщенная нечеткая конструктивная логика. ՀՀ ԳԱԱ Զեկույցներ, 115 (4). pp. 266-275. ISSN 0321-1339

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
179Kb

Abstract

Рассматривается система нечеткой конструктивной логики, в которой логические значения образуют частично упорядоченное множество. Вводится понятие алгоритмической шкалы истинности (сокращенно АШИ), и на его основе строится логическая система обобщенной нечеткой конструктивной логики (сокращенно ОНКЛ), в частности, вводятся понятия сильной и слабой ОНКЛ-общезначимости предикатных формул относительно данной АШИ. Դիտարկվում է ոչ պարզորոշ կոնստրուկտիվ տրամաբանության համակարգ, որտեղ տրամաբանական արժեքները կազմում են մասնակի կարգավորված բազմություն: Սահմանվում է ճշմարտության ալգորիթմական սանդղակի գաղափարը (կարճ, Ա-սանդղակ), և այդ գաղափարի հիման վրա կառուցվում է ընդհանրացված ոչ պարզորոշ կոնստրուկտիվ տրամաբանության համակարգ: Մասնավորապես սահմանվում են պրեդիկատային բանաձևերի ուժեղ և թույլ նույնաբար ճշմարտության գաղափարները տվյալ Ա-սանդղակի նկատմամբ: A system of fuzzy constructive logic is considered in which the truth values are partially ordered. The notion of algorithmic scale of truth values (shortly, A-scale) is introduced; and on the base of it logical system of generalized fuzzy constructive logic is developed. The classes of identically true predicate formulas in strong and weak sense concerning a given A-scale are introduced.

Item Type:Article
Additional Information:Ընդհանրացված ոչ պարզորոշ կոնստրուկտիվ տրամաբանություն / Ի. Դ. Զասլավսկի։ Generalized Fuzzy Constructive Logic / I. D. Zaslavsky.
Uncontrolled Keywords:нечеткая логика, конструктивная математика, математическая логика, предикат, квантор
Subjects:Q Science > QA Mathematics
ID Code:6256
Deposited By:NAS Reports
Deposited On:21 Jan 2016 11:57
Last Modified:21 Jan 2016 11:57

Repository Staff Only: item control page