В функционально полных наборах логических функций, используемых для синтеза вычислительных устройств, хотя бы одна из логических функций должна быть немонотонной. В связи
с этим в работе предлагается и обосновывается удобный подход к определению принадлежности функций алгебры логики к классу монотонных функций. Упомянутый подход предполагает
рассмотрение наборов логических переменных в качестве номеров наборов, на которых задана
функция. Это позволяет анализировать значения функций алгебры логики только на фиксированных позициях с фиксированными значениями номеров без дополнительной проверки
наборов логических переменных на соизмеримость.
Продолжение...
|
|
Представлен оригинальный подход к отысканию максимального независимого множества
(максимальной клики) в нечетком графе. Подход базируется на представлении нечетких
отношений формулами многозначных логик Я. Лукасевича и использованием их для интерпретации модальных отношений. Модальность типа «возможно» интерпретируется формулой
трехзначного исчисления со значением истинности не ниже 0,5; модальность типа «необходимо» интерпретируется формулой трехзначного исчисления со значением истинности, равным 1. Введены правила исчисления выводов в нечетких модальных системах, позволяющие
находить трехзначные эквиваленты произвольных модальных формул.
Продолжение...
|
|
Руджеро Сергеевич Гиляревский (р. 31 августа 1929 г.) — филолог, специалист в области
информатики, научных и массовых коммуникаций. Кандидат педагогических наук, доктор
филологических наук, профессор. Заслуженный деятель науки Российской Федерации (1999).
Ко дню рождения Р. С. Гиляревского редакция журнала подготовила цикл бесед с юбиляром,
посвященный анализу тенденций и перспектив развития информационно-коммуникационных
технологий в современном обществе. В этом выпуске мы публикуем окончание интервью.
Окончание. Начало в № 4 (52), 6 (54) 2014 г.
Продолжение...
|