Cтраница 2
Эти четыре возможности представляют собой в точности четыре значения многозначной логики, которую я предлагаю компьютеру в качестве практического руководства в рас суждениях. [16]
Третья группа характеризуется использованием нестандартных средств логического вывода, многозначных логик, дополнительных условий на доказательства, бесконечных правил вывода. Системы, относящиеся к этому направлению, наименее развиты. [17]
Приписывая эти метки элементам, будем исходить из принципа многозначной логики: равноис-тинным элементам присвоим одинаковые метки. [18]
Однако, как отмечено различными авторами [1, 2], применение многозначной логики сулит определенные преимущества, если используемые для этой цели элементы будут существенно многозначными по своей физической природе. [19]
В узком смысле, нечеткая логика представляет собой расширение многозначной логики. В широком смысле слова, термин нечеткая логика часто используется как синоним теории нечетких множеств, т.е. классов с неточными, размытыми границами. У таких множеств переход от принадлежности элемента множества к непринадлежности происходит не скачком, а плавно, постепенно и описывается с помощью функции принадлежности, которая является обобщением характеристической функции обычного множества. [20]
Широкие возможности дает применение И2Л - элементов в устройствах пороговой и многозначной логики. Синтез цифровых устройств на их основе с учетом специфики многозначной логики позволяет сократить площадь, уменьшить количество элементов и снизить потребляемую мощность. [21]
В главе 1 рассматриваются функциональные системы, базирующиеся на функциях многозначной логики. Здесь представлен как традиционный материал ( стандартные порождающие системы; существование замкнутых классов, не имеющих конечных базисов; теорема Кузнецова о функциональной полноте; критерий полноты в РЪ, так и результаты, редко публикуемые в монографиях. [22]
Существует ряд приемов построения конечных порождающих систем в замкнутых классах функций многозначной логики. [23]
Многозначные запоминающие элементы, как правило, представляют собой обобщение элементов для случая многозначных логик. В табл. 1.4 приведены условия функционирования соответственно Ахшачного D-триггера, а в табл. 1.5 3-значного / А-триггера. [24]
Кроме того, уже довольно давно разрабатываются, так сказать, шеодно-значностные теории вроде многозначных логик п теории нечетких, расплывчатых множеств Заде. [25]
В программах временного анализа на функционально-логическом уровне преимущественно применяется событийное асинхронное логическое моделирование с многозначной логикой. [26]
МНОГОЗНАЧНОЙ ЛОГИКИ ФУНКЦИИ - функции, совокупность к-рых вместе с соответствующими операциями над ними образует многозначную логику. [27]
В первый том входят разделы, относящиеся к функциональным построениям в алгебре логики и в многозначных логиках, к теории дизъюнктивных нормальных форм, теории графов и теории кодирования. Во второй том входят разделы, относящиеся к теории автоматов, синтезу управляющих систем и эквивалентным преобразованиям управляющих систем, теории надежности и ряду смежных вопросов. [28]
В итоге были выбраны функциональные системы с операцией суперпозиции и с носителями, состоящими из функций многозначной логики, функций натурального аргумента и автоматных функций. Выбор операции суперпозиции в качестве единственной операции в изучаемых функциональных системах обусловлен рядом причин. Прежде всего, операция суперпозиции является по существу базовой операцией в теории функциональных систем. Обычно она входит в совокупность О операций системы либо получается из операций О в виде производной операции. Результаты, полученные для функциональных систем с операцией суперпозиции, как правило, служат отправными точками ( а зачастую и ориентирами) в исследованиях по функциональным системам с другими операциями. Немаловажно и то, что операция суперпозиции достаточно хорошо формализуется и алгебраизируется. Это позволяет осуществлять плодотворный обмен идеями и методами между теорией функциональных систем с одной стороны и универсальной алгеброй, математической логикой и теорией алгоритмов - с другой. [29]
В книге с единых позиций рассматриваются функциональные системы с операцией суперпозиции и традиционными множествами функций - функций многозначной логики, функций натурального аргумента и автоматных функций. Основное содержание книги концентрируется вокруг двух взаимосвязанных тем: построение и анализ порождающих множеств и проблема полноты. Излагаются ставшие классическими результаты А.В. Кузнецова, С.В. Яблонского и И. [30]