Object structure

Publication Details:

"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 1944թ.: Լույս է տեսնում տարին 4 անգամ:

Journal or Publication Title:

ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA

Date of publication:

2015

Volume:

115

Number:

4

ISSN:

0321-1339

Official URL:


Additional Information:

click here to follow the link

Title:

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

Other title:

Ընդհանրացված ոչ պարզորոշ կոնստրուկտիվ տրամաբանություն / Ի. Դ. Զասլավսկի։ Generalized Fuzzy Constructive Logic / I. D. Zaslavsky.

Creator:

И. Д. Заславский

Contributor(s):

Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018) ; Ռ․ Մ․ Մարտիրոսյան (2018-)

Subject:

Mathematics ; Science

Uncontrolled Keywords:

нечеткая логика ; конструктивная математика ; математическая логика ; предикат ; квантор

Coverage:

266-275

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.

Place of publishing:

Երևան

Publisher:

ՀՀ ԳԱԱ հրատ.

Date created:

2015-12-15

Type:

Հոդված

Format:

pdf

Call number:

АЖ 144

Digitization:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան

Location of original object:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան