Cтраница 1
Многозначные логики во многом похожи на двухзначную и в них сохраняется ряд результатов, имеющих место в двухзначной логике. В то же время имеют место и существенные различия. Из этих результатов, в частности, следует континуальность множества замкнутых классов в Pk при k 3, что делает труднообозримой структуру данного множества. [1]
Многозначная логика позволяет сделать качественный скачок в увеличении плотности упаковки информации. Выпуск опытных и серийных партий многозначных интегральных схем, в том числе ПЛМ, ПЗУ, микропроцессорных БИС, подтвердил их основные преимущества: помимо уменьшения числа соединений между логическими схемами, уменьшения площади кристаллов цифровых устройств и числа выводов использование многозначной схемотехники в то же время повысило скорость обработки и объем обрабатываемой информации на единицу площади, уменьшило потребляемую мощность, позволило эффективно сочетать преимущества аналоговых и цифровых; методов переработки информации, повысило безопасность данных, О выпуске многозначных микросхем ( в том числе многозначных микропроцессоров) объявили такие ведущие фирмы, как Интел, Тексас Инструменте, Сигнетикс, Фейрчайлд, Филипс и др; Работы в этом направлении ведутся и в нашей стране. [2]
Многозначная логика формально в языке не определена. Однако входящие в любой комплекс моделирования на VHDL стандартные пакеты, например std iogic H64, определяют целую совокупность допустимых алфавитов представления сигналов на основе их декларации как данных перечислимого типа, а также определяют правила их преобразования. [3]
Значения в этой новой многозначной логике имеют сложный статус: они частично эпистемические и частично онтологические. Должны ли мы теперь перейти к этой логике. Любопытно, что для выводов в этом нет никакой необходимости. Действительно, в описанной логике значимы в точности те же выводы, что и при нашем четырехзначном критерии вывода. Этот факт не удивителен по двум причинам. Во-первых, как мы уже отмечали, единственное, чем мы на самом деле пользуемся при выводе - это эпистемические значения Т, F, None и Both, представляющие то, что мы знаем и считаем, или, во всяком случае, то, что сообщено авторитетным источником, которому мы, вообще говоря, доверяем. Во-вторых - и это более прозаическое объяснение - заметим, что все выводы, установленные с помощью четырехзначного критерия, верны также при двузнач-ной логике. Таким образом, добавление в качестве условия того, что онтологическая истинность должна сохраняться, означает всего лишь добавление условия, которое уже выполнено и не порождает новых ограничений. [4]
Значения в этой новой многозначной логике имеют сложный статус: они частично эпистемические и частично онтологические. Должны ли мы теперь перейти к этой логике. Любопытно, что для выводов в этом нет никакой необходимости. Действительно, в описанной логике значимы в точности те же выводы, что и при нашем четырехзначном критерии вывода. Этот факт не удивителен по двум причинам. Во-первых, как мы уже отмечали, единственное, чем мы на самом деле пользуемся при выводе - это эпистемические значения Г, F, None и Both, представляющие то, что мы знаем и считаем, или, во всяком случае, то, что сообщено авторитетным источником, которому мы, вообще гово ря, доверяем. Во-вторых - и это более прозаическое объяснение - заметим, что все выводы, установленные с помощью четырехзначного критерия, верны также при двузначной логике. Таким образом, добавление в качестве условия того, что онтологическая истинность должна сохраняться, означает всего лишь добавление условия, которое уже выполнено и не порождает новых ограничений. [5]
Изучаются замкнутые классы функций многозначной логики. Приводится результат Бейкера-Пике ли о конечной порождаемости замкнутых классов, содержащих мажоритарные функции. Строятся примеры замкнутых классов, которые не имеют конечных базисов. Доказывается теорема Кузнецова о функциональной полноте. Дается предикатное определение замкнутых классов. Описываются семейства предикатов Р, О, L, Е, С, В в классификации Розенберга. Доказывается предполнота замкнутых классов, определяемых предикатами из семейств Р, О, L, E, С, В. [6]
Будет использована теория первого порядка многозначной логики [9.31], которая включает систему арифметики и аксиоматическую теорию множеств. Кроме того, в этом разделе используется следующая система обозначений. [7]
Москва) О классах функций многозначной логики, замкнутых относительно операций специального вида. [8]
Условия cv - полноты систем функций многозначной логики. [9]
Примечание: кроме булевой логики имеются также многозначные логики, например, - 1, О, 1, а также нечеткие логики, в которых переменные принадлежат значениям 0 и 1 с различной степенью уверенности. [10]
В докладе были рассмотрены поляризованные полиномы функций многозначных логик. Доказаны некоторые оценки функций Шеннона их сложности. [11]
ЛУКАСЕВИЧА ЛОГИКА - один из первых примеров многозначной логики, данный Я. ЛУПА - квазигруппа, обладающая единицей, то есть таким элементом е, что хе-ех - х для любого элемента х из квазигруппы. [12]
Логико-математический подход к индуктивному выводу базируется на многозначных логиках, формальных уточнениях методов сходства и различия, а также на некоторых обобщениях и модификациях этих уточнений. В предложенном подходе существенную роль играют правила вывода по аналогии, посредством которых порождаются индуктивные обобщения. Метод генерирует специфические предикаты, применяемые как к множеству положительных примеров, так и к множеству отрицательных. Поэтому оценка существования гипотезы и оценки ее несуществования являются независимыми. [13]
В статье используются понятия и термины из области многозначной логики, такие как функция fc - значной логики, суперпозиция функций, замыкание системы функций по суперпозиции и другие. [14]
Эти четыре возможности представляют собой в точности четыре значения многозначной логики, которую я предлагаю компьютеру в качестве практического руководства в рассуждениях. [15]