The 4 references with contexts in paper V. Melehin B., A. Susin YU., A. Halilov I., В. Мелехин Б., А. Сусин Ю., А. Халилов И. (2016) “ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ОРГАНИЗАЦИИ ВЫВОДА УМОЗАКЛЮЧЕНИЙ В НЕМОНОТОННЫХ СРЕДАХ НА ОСНОВЕ УСЛОВНО-ЗАВИСИМЫХ ПЕРЕМЕННЫХ // THEORETICAL BASE TO ORGANIZATIONS OF THE CONCLUSION OF THE CONCLUSIONS IN NONMONOTONIC AMBIENCE ON BASE CONDITIONALLYHUNG VARIABLE” / spz:neicon:vestnik:y:2013:i:1:p:45-51

1
Поспелов Д.А. О человеческих рассуждениях в интеллектуальных системах. В кн.: Логика рассуждений и ее моделирование // Вопросы кибернетики. –М.: АН СССР. 1982.
Total in-text references: 1
  1. In-text reference with the coordinate start=1412
    Prefix
    Организация вывода умозаключений в интеллектуальных системах (ИС) является одним из эффективных направлений моделирования понятийного уровня мышления для принятия решения на основе рассуждений
    Exact
    [1]
    Suffix
    . Однако, по ряду причин оно не получило достаточно широкого распространения в ИС с различным функциональным назначением. Одной из таких причин является немонотонность вывода умозаключений в рамках произвольной предметной области.

2
Тейз А., Грибомон П., Луи Ж. и др. Логический подход к искусственному интеллекту: от классической логики к логическому программированию. –М.: Мир, 1990.
Total in-text references: 1
  1. In-text reference with the coordinate start=1740
    Prefix
    Одной из таких причин является немонотонность вывода умозаключений в рамках произвольной предметной области. Данное обстоятельство привело к разработке различных немонотонных логик рассуждений
    Exact
    [2]
    Suffix
    , которые в значительной степени позволили обойти отмеченные трудности. Однако, известные немонотонные логики, к сожалению, не позволяют системе принятия решений однозначно судить об истинности выводимых заключений, а только с определенной степенью правдоподобности подтверждают их выполнимость в выбранном множестве схем логических аксиом и правил вывода.

3
Поспелов Д.А. Ситуационное управление: теория и практика. М.: Наука, 1986.
Total in-text references: 1
  1. In-text reference with the coordinate start=6879
    Prefix
    Например, казуально-зависимая ПП * AF()A – «летающие птицы» состоит из элементов базового множества A-«птицы», обладающих умением - летать по причине наличия у них развитых крыльев и отсутствии повреждений. Предметная переменная называется замкнутой и обозначается **()AAF, если *AF определяется множеством необходимых и достаточных причин
    Exact
    [3]
    Suffix
    , влекущих за собой общезначимость следствия: (**)()( (), ),1, a XiiAiiAFM a Xin для всех объектов, принадлежащих ПП **()AAF. Обобщенной ПП называется тройка () (;{ ()},1, ;)обiобоб AAi AAA FCA Fin F, где обAC – название обобщенной переменной, например, «хищные животные»; { ()},1, i A FiAin; – множество предметных переменных, образующих обобщен

4
Мелихов А.М., Берштейн Л.С., Коровин С.Я. Ситуационные советующие системы с нечеткой логикой. – М.: Наука, 1990.
Total in-text references: 3
  1. In-text reference with the coordinate start=14685
    Prefix
    ПП D F() (,)DDDC F, ()()()DABD FA FB F, для которой имя *DABCCC определяется конкатенацией имен AC и BC, а множество признаков принадлежности определяется следующим образом: DABFFF: {(),},1,,()max((),()) `~ FDFjjFjAjBjfffmjff, где )(),(jBjAff – степени принадлежности признака jf соответственно к ПП AF()Aи ()BBF; - нечеткая операция объединения по
    Exact
    [4]
    Suffix
    . Таким образом, ПП ()DDF включает те и только те объекты ()iiaX, которые одновременно удовлетворяют требованиям условий AF и BF, то есть ПП ()DDF нечетко покрывается и ()AAF, и ()BBF. Например, пусть ()AAF - ПП с названием «длинные объекты», а ()BBF - «и острые объекты», тогда ()()()DABD FA FB F является ПП с названием «длинные и острые объекты».

  2. In-text reference with the coordinate start=15410
    Prefix
    Объединением ПП ()AAF и ()BBF называется и обозначается ПП @(@@@)()(), @() (,)ABBFA FB FFC F, для которой имя @C определяется конкатенацией имен ,ABCC, определяемой связкой «ИЛИ», а @ ,; (),, ABAB ABAB FFесли F F F FFесли F F        @{(),},1,,()min((),())@@ `~ FfjjjAjBjfffmjf, где  - операция нечеткого пересечения множеств по
    Exact
    [4]
    Suffix
    ; AF и BF – носители нечетких множеств AF и BF; ()ABFF - запись, означающая, что множество условий принадлежности @F состоит из двух множеств AF и BF, и любой элемент базового множества A является элементом ПП @(@)F, если он удовлетворяет требованиям хотя бы одного из множеств AF или BF.

  3. In-text reference with the coordinate start=17256
    Prefix
    значение степени сходства объектов будет определяться согласно следующему выражению: *'''* 1 ( (), ()) ((( )( ))) / n iiiiXjXj j a Xa Xffm  , где()Xjf, ()Xjf- степени присущности характеристик jf соответственно к множествам iX и iX характеристик объектов ()iiaX и ''()iiaX; «» - операция нечеткой эквивалентности, которая берется следующим образом
    Exact
    [4]
    Suffix
    : min(max(1''( ),( )), max(1( ),( ))) XjXjXjXjffff * mmax( ,1)m m; 1,mm - соответственно мощности множествiX и ' Xi. Использование усредненной оценки степени сходства объектов ()iiaX и ''()iiaX обусловлено тем, что множества характеристик iX и ' Xi для различных объектов обязательно содержат различные элементы, а это может привести к тому, что при