Научная статья на тему 'Формализация элементов экономных многоступенчатых цепей'

Формализация элементов экономных многоступенчатых цепей Текст научной статьи по специальности «Математика»

CC BY
81
18
i Надоели баннеры? Вы всегда можете отключить рекламу.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Дударь З. В., Мельникова Р. В.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «Формализация элементов экономных многоступенчатых цепей»

УДК 519.7

З.В. ДУДАРЬ, канд. техн. наук, ХНУРЭ (г. Харьков),

Р.В. МЕЛЬНИКОВА, ХНУРЭ (г. Харьков)

ФОРМАЛИЗАЦИЯ ЭЛЕМЕНТОВ ЭКОНОМНЫХ

МНОГОСТУПЕНЧАТЫХ ЦЕПЕЙ

Стаття присвячена застосуванню алгебри предикатів і предикатних операцій для формалізації різних структур природної мови у вигляді багатоступеневих ланцюгів. В роботі введено ряд алгебраїчних конструкцій та визначень, що дозволяють більш повно й глибоко описувати декотрі мовні структури. Запропоновано методи формалізації елементів економних багатоступеневих ланцюгів.

The formalization of various structures of a natural language by means of predicates algebra and predicate operations are considered. Structures were presented in form of as multistage chains. A number of algebraic concepts and the definitions were proposed. It allows describe some language structures more fully. Methods of economical multistage chains elements formalization are offered.

Постановка проблемы. Описание понятий логической математики составляет одну из важнейших задач самой логической математики. Без этого невозможно построить полноценный искусственный интеллект. Формальное описание объекта способствует углублению неформальных знаний об этом объекте. Имеются специальные методы, методики формального описания объектов и процессов. Реально изучаемые физические объекты и процессы бесконечно сложны. Человек не может их формально описывать в полном объеме. Фактически исследователь прибегает к огрублению, схематизации изучаемых процессов и явлений. Такое огрубление приводит к понятию объекта или процесса, а понятие уже можно описывать. Формально каждое описываемое понятие заменяется соответствующим ему предикатом и описывается уже этот предикат.

Анализ литературы. Данная работа является логическим продолжением исследований, опубликованных в работах [1 - 5, 7]. Результаты статьи по формализации многоступенчатых цепей являются необходимой частью математической и алгоритмической базы при построении логических сетей [3 - 6, 8]. Схемная реализация формул алгебры предикатов приводит к характерным инженерным сетям, которые называются логическими сетями.

Цель работы. Статья посвящена развитию аппарата алгебры предикатов и предикатных операций в контексте применения этого аппарата для формализации различных структур естественного языка в виде многоступенчатых цепей. Введен ряд алгебраических конструкций и определений, позволяющих более полно и углубленно описывать некоторые языковые структуры. Предложены методы формализации элементов

экономных многоступенчатых цепей.

Основная часть. По формулам алгебры предикатов можно строить переключательные цепи, реализующие соответствующие им предикаты Р(х!, Х2,....Хп ) = % .

+ %

Р

Л г

Рис. 1. Переключательная цепь

Цепь, представленная на рис. 1, имеет п входов, на которые подаются входные сигналы х, х2,— Х, и один выход, на котором цепь формирует двоичный сигнал %, принимающий значения 0 или 1 (выходные сигналы).

Х1, х2,

,хп - предметные переменные; % - логическая переменная.

а

%

Рис. 2. Элемент узнавания предмета На рис. 2 х - буквенная переменная, % - логическая переменная. Элемент «узнает» переменную х, на ее значение х = а он реагирует сигналом % = 1, на любое другое - сигналом % = 0. Отрицание ц=% в цепях реализовано инвертором, конъюнкция - элементом совпадения, дизъюнкция -элементом разделения (рис. 3).

Рис. 3. Инвертор, элементы совпадения и разделения

Инвертор строится на базе одного транзистора. Число входов т в элементах совпадения и разделения обычно колеблется от 2 до 6. Элементы совпадения и разделения строятся из диодов, их число совпадает с числом входов т элемента, %1,%2,...%%т,%,л - логические переменные. Исключая из

конституэнт единицы вида ха1 ха2... х'О' какие-нибудь из ее сомножителей, получают элементарные конъюнкции. Дизъюнктивные и конъюнктивные

х

2

П

X

нормальные формы предиката реализуются трехступенчатыми цепями. Рассмотрим реализацию предиката Р(х1, х2, х3) = V х^х^х^ V

в виде экономной трехступенчатой переключательной цепи.

Таблица 1

Предикат Р в табличном представлении х2хз

хі

аа аЬ ас Ьа ЬЬ Ьс са сЬ сс

[і 1 1 ) (1 1 1 ) п 0 ] 0'1

! 0 0 0 0 0 0 і 1 0 0

10 0 0 0 0 0 ! і 1 0 ] 0 1

Р(х1, х2, х3) = V х^х^х^ V х^х^х^ = х*хаг (х3а V х\ V хС ) = х^х^ .

При обходе один множитель выпадает. ДНФ строится по единицам таблицы, а КНФ - по нулям. По таблице находим минимальную ДНФ предиката:

Р(X х2 Х3 ) = Х1Х2 V х^х^ V х^х^.

Мы получили минимальную ДНФ. Сложность формулы оценивается числом входящих в нее предикатов узнавания символа. Имеем 6 предикатов узнавания символа. На рис. 4 построена схема, которая повторяет структуру формулы.

хі

х2

хз

Рис. 4. Трехступенчатая переключательная цепь

Сложность цепи измеряется числом элементов узнавания символа и числом входов элементов совпадения и разделения. Отыскиваем МКНФ предиката Р(х1, Х2, Х3). Для этого строим таблицы двух предикатов Р и Р" с таким расчетом, чтобы их конъюнкция дала предикат Р. Рл Р" = Р .

Таблица 2

Предикаты Р' и Р" в табличном представлении

х2хз

х1 аа аЬ ас Ьа ЬЬ Ьс са сЬ сс

1 1 1 .1 1 1 (1 1 1 "

0 0 0 / 0 0 0 1 1 1

0 0 0 0 0 0 ч 4- V

х2хз

х1

х1а

аа аЬ ас Ьа ЬЬ Ьс са сЬ

х2С

г 1 > 1 1 1 1 1 0 0

1 1 1 1 1 1 1 0 0

ч- 1 0 0

Р =х1^х2С

P"=X2aVX2ЬVXзa

х2а

х2Ь

В результате получаем предикат Р = Р' лР" = (х^ V хС)(х£ V х2 V х£).

Сложность формулы: 5 предикатов узнавания предмета. Строим

переключательную цепь.

х1

х2

хз

а

Рис. 5. Экономная трехступенчатая переключательная цепь

Имеем 5 элементов узнавания символа и 7 входов элементов совпадения. Вторая схема экономнее: было 5 и 9. Дальнейшее упрощение цепей достигается переходом к скобочным формам. В результате получаются многоступенчатые цепи.

Построим экономную многоступенчатую цепь, реализующую какой-нибудь предикат. Берем полученную выше минимальную ДНФ и переходим к

экономной скобочной форме: х?х2' V х?хъ2 V хс2х3а, = х? (х2? V х2) V х2хЗ^. По ней строим переключательную цепь.

Рис. 6. Экономная многоступенчатая цепь

Дальнейшее упрощение цепей достигается введением в формулу отрицаний, а в цепь - инверторов. Построим экономную инверторную многоступенчатую переключательную цепь для какого-нибудь предиката.

Берем скобочные формы х£ (х2 V х2) V хСх3; (х£ V х2 V хЗ£)(х^ V хС). Вводим

отрицание: х2.V хЬ = х2. Получаем: более простые формулы: по 4 предиката

узнавания предмета вместо 5: х1ах2 V х^х3а;(х2 V х£)(х^ V хС). По формулам строим переключательные цепи.

х1 х2 х3 х1 х2 х3

Рис. 7. Инверторная многоступенчатая переключательная цепь

Построим экономную переключательную цепь, реализующую систему предикатов: Вводим дополнительную логическую переменную: х^х% = С,. После этого исходные формулы перепишутся в виде:

х^х^ V х^х^ v^; ха V х^ ^ = г|. По системе из трех равенств строим переключательную цепь. Общая часть двух цепей обведена кружками.

х1 х2 х3

Рис. 8. Экономная переключательная цепь, реализующая систему предикатов

Выводы. В статье разработаны методы формализации элементов экономных многоступенчатых цепей. Эти методы необходимы при построении внутренней структуры логических сетей. Перспективы дальнейших исследований в данном направлении определяются эффективностью полученных методов при параллельной обработке логических связей и возможностью моделирования любых лингвистических объектов в виде логических сетей.

Список литературы: 1. Шабанов—Кушнаренко Ю.П. Теория интеллекта - Ч.2: Технические средства. - Харьков: Вища школа, 1986. - 144 с. 2. Шабанов-Кушнаренко Ю.П. Теория интеллекта. Математические средства. - Харьков: “Вища школа”, 1984. - 142. - С. 3. Бондаренко М.Ф., Дударь З.В., Ефимова И.А., Лещинский В.А., Шабанов-Кушнаренко С.Ю. О мозгоподобных ЭВМ // Радиоэлектроника и информатика. - 2004. - № 3 (04). - С. 24-32. 4. Дударь З.В., Калиниченко О.В., Козяев Л.Л., Мельникова Р.В. О формальной структуре логических сетей // Радиоэлектроника и информатика. - 2005. - № 2. - С. 45-51. 5. Дударь З.В., Мельникова Р.В. Об алгебраической формализации полных имен прилагательных // Радиоэлектроника и информатика. - 2005. - № 1. -С. 40-48. 6. Козяев Л.Л., Шабанов-Кушнаренко С.Ю. Бинаризация морфологического отношения склонения полных имен прилагательных // Радиоэлектроника и информатика. - 2005. - № 2. - С. 36-44. 7. Дударь З.В., Мельникова Р.В. О методах схемной реализации отображений // Радиоэлектроника и информатика. - 2005. - № 1. - С. 32-40. 8. Козяев Л.Л. Об алгебрологическом аппарате морфологического пространства. - Межд. научн.-техн. сборник "Информатика и моделирование". - Харьков: НТУ "ХПИ", 2005. - Вып. 68. - С. 48-53.

Поступила в редакцию 10.03.2005

i Надоели баннеры? Вы всегда можете отключить рекламу.