Հայաստանի ատենախոսությունների բաց մատչելիության պահոց = Open Access Repository of the Armenian Electronic Theses and Dissertations (Armenian ETD-OA) = Репозиторий диссертаций Армении открытого доступа

Հյուսված q-երկկավարների ներկայացումները

Դավիդովա, Դիանա Սերգեյի (2012) Հյուսված q-երկկավարների ներկայացումները. PhD thesis, ԵՊՀ.

[img]
Preview
PDF (Abstract)
Available under License Creative Commons Attribution.

Download (651Kb) | Preview

    Abstract

    Ատենախոսությունը նվիրված է հյուսված q-երկկավարների ուսումնասիրությանը: Երկկավարի գաղափարը ներմուծվել է Մեթյու Գինսբերգի կողմից 1988թ. որպես միասեռ կառուցվածք` արհեստական բանականության մեջ կիրառելու համար: Հետագայում երկկավարները ուսումնասիրվել են Մելվին Ֆիթթինգի կողմից և կիրառվել տրամաբանական ծրագրավորման մեջ, Կլինիի տրամաբանությունում և այլ բնագավարներում: Երկկավարը օժտված է երկու մասնակի կարգավորված հարաբերություններով, որոնք կիրառություններում ունեն տարբեր մեկնաբանություններ: Այդ հարաբերությունների զույգը բնականաբար պետք է լինեն միմյանց հետ կապված: Մ. Գինսբերգի աշխատանքում հարաբերությունները կապված են մեկտեղանի գործողությամբ, որը կոչվում է ժխտման գործողություն: Մյուս կողմից, Մ. Ֆիթթինգի աշխատանքներում սահմանափակումները դրվում են կավարների կառուցվածքի վրա (բաշխականության պայմաններ կամ հյուսվածության պայման): Понятие бирешетки было впервые введено Мэтью Гинсбергом в 1988 году, как единообразная структура для применения в искусственном интеллекте [1]. В дальнейшем бирешетки были изучены Мелвином Фиттингом и применены в логическом программировании [2-6], в теории истинности [7-8] и других областях. М. Фиттинг так же изучал связь бирешеток с семейством многозначных логик, обобщающих трехзначную логику Клини [9-10] (см. так же [11-12]). Основной идеей в понятии бирешетки является существование двух (частичных) отношений порядка, имеющих различные интерпретации в приложениях. Эти два отношения порядка, разумеется, должны быть каким-то образом связаны. М. Гинсберг, например, рассматривает связь в виде дополнительной унарной операции – отрицание. М. Фиттинг, с другой стороны, исследовал связь в виде условий, наложенных на структуру решеток (например, условие дистрибутивности или сплетенности). The concept of a bilattice was investigated by Mathew Ginsberg in 1988 as a uniform framework for diversity applications in artificial intelligence. Further, bilattices were investigated by Melvin Fitting and were applied in logic programming, theory of truth degrees, Klenee's logic and in other fields. The main idea of the notion of a bilattice is the existence of two partial orders, which have different interpretations. These two orders must be connected in some manner. For example, M. Ginsberg uses for this a unary operation called negation, which is connected with the binary operations of the bilattice. On the other hand, M. Fitting connected the orders by some imposed conditions on the bilattice structure (the conditions of distributivity or the interlaced conditions). Correspondingly, M. Fitting introduced the concept of the “distributive bilattice” and the “interlaced bilattice”.

    Item Type: Thesis (PhD)
    Additional Information: Հյուսված q-երկկավարների ներկայացումները: Representations of interlaced q-bilattices.
    Uncontrolled Keywords: Դավիդովա Դիանա Սերգեյի, Davidova Diana
    Subjects: Mathematics and Cybernetics
    Divisions: UNSPECIFIED
    Depositing User: NLA Circ. Dpt.
    Date Deposited: 16 Mar 2017 10:43
    Last Modified: 22 Mar 2017 10:06
    URI: http://etd.asj-oa.am/id/eprint/4296

    Actions (login required)

    View Item