Для двузначной булевой алгебры логики TV определяется числом возможных двоичных наборов (п = 2): TV = 16. При п = 3 можно образовать TV = 256 логических функций.
Кроме логических функций в логике предикатов имеются еще операции квантификации - кванторы. Это специальные операции, которые служат для выражения общности суждений и связанных с ними понятий (табл. 2) и позволяют на формальном языке исчисления предикатов говорить не об одном объекте, а о целом классе объектов.
Полную систему логических функций называют логическим базисом. Чтобы система функций представляла собой базис, она должна обладать определенными свойствами.
Чтобы система функций была полной, необходимо и достаточно, чтобы она содержала хотя бы одну функцию: не сохраняющую константу «единица», не сохраняющую константу «нуль», нелинейную, немонотонную, несамодвойственную. read this entry »
На базе логических представлений возникли и развиваются теории логического анализа и логического синтеза. Они основаны на применении средств алгебры логики к задачам анализа и синтеза структур исследуемых систем, а также к задачам принятия решений в сложных проблемных ситуациях, возникающих в системах или при взаимодействии систем.
Задача логического анализа состоит в описании поведения системы с известной структурой набора системно-логических уравнений (функций алгебры логики - ФАЛ) и исследовании полученного логического выражения с целью его минимизации, т.е. выяснении, нельзя ли получить более простую структуру (схему), содержащую меньшее число элементов (состояний), но осуществляющую требуемые преобразования. Такие задачи возникают, например, при создании автоматических систем контроля неисправностей, систем автоматического резервирования, обеспечения надежности и т.д. read this entry »
Термин, принятый для названия «науки об управлении в живых организмах и машинах» Норбертом Винером и получивший широкое распространение в середине XX в.
Термин кибернетика* соответствует различным переводам с греческого xuPepvern,*; (кормчий, кибернет) - в латинское слово gubernator, французское - gouverneur, русское - «губернатор» и т.д. и другим вариантам этого корневого слова - %i)Pepvato (управляю кораблем), %vPepvr|Ti%ri (управление кораблем), г|^иРерг)Г|Т1хг| Т£%иг| (искусство кормчего, искусство управления кораблем) и т.п. [16].
Термин «губернатор» первоначально тоже означал кормчего и только затем - правителя. В современном греческом языке %г)|3еруетг|<; (ки-вернитес) значит «правитель» и «капитан»; xuftepveTic; (кибернисис) -«правительство» и x\)(3epv8TiKOc; (кибернитикос) - «правительственный» [16].Исторически термин «кибернетика» возник не в XX в. Его read this entry »
Видимо, американский математик Норберт Винер, когда вводил термин «кибернетика», не знал о кибернетике Ампера и Платона и предполагал, что создает неологизм. Он за основу взял английское слово governor (регулятор) у Максвелла.В то же время Винер по праву назван отцом кибернетики. Его книга «Кибернетика», впервые опубликованная в 1948 г. [4], потрясла многих неожиданностью выводов.
«Кибернетический взрыв», совершенный Винером, был подготовлен в процессе накопления знаний.
Сближение технических средств, используемых и в физиологии, и в автоматике, сопровождается взаимным обменом принципами построения структурных схем, идеями моделирования, методами анализа и синтеза систем. read this entry »
Большую роль в становлении кибернетики как науки в Советском Союзе сыграли Совет по проблеме «Кибернетика» при Академии наук СССР, созданный в 1959 г. академиком А.И. Бергом, и Секция кибернетики имени академика А.И. Берга, основанная при Ленинградском Доме ученых имени М. Горького в 1956 г., которую вначале возглавлял академик Л.В. Канторович, с начала 1958 по 2000 г. - Л.П. Крайзмер, автор ряда работ по кибернетике ([10, 12] и др.) и одного из ее основных направлений - теории памяти (мнемологии) [11], а с 2000 г. - М.Б. Игнатьев, развивающий концепцию структурированной неопределенности и го-лономных систем [8], артоиыку и другие новые направления в теории искусственного интеллекта (см.). read this entry »
Tags: КИБЕРНЕТИКА, методология, секция