CC BY
62
УДК 519.7
Н.Т. ПРОЦАЙ, ХНУРЭ О МЕТОДЕ КОМПОЗИЦИИ МОДЕЛЕЙ
В статье предлагается метод композиции произвольного множества моделей, формализованных посредствам алгебры предикатов, по набору переменных. Данный метод композиции более удобен при моделировании различных механизмов интеллекта, чем метод композиции по одной переменной, т.к. дает более детальную характеристику тех моделей, которые подлежат соединению.
Ключевые слова: модель, алгебра предикатов, композиция моделей.
Постановка проблемы. Анализ литературы. Теория моделей - раздел математической логики, изучающий связи между формальным языком и его интерпретациями, или моделями [1]. Основателями теории моделей были Лёвенгейм, Скулем, Гёдель, Тарский, Мальцев. В самостоятельный раздел математической логики она сформировалась в работах Генкина, Робинсона, Тарского, Кейслера, Чэна. Теория моделей развивалась в разных направлениях: изучались модели узкого исчисления предикатов, исчисления второй ступени, модели логики с бесконечными формулами, логики с дополнительными кванторами, многозначной логики, модальной логики, логики второго порядка и т.д. [1 - 7]. Однако техника теории моделей развивалась большей частью именно для логики предикатов первого порядка. И именно построение теории моделей первого порядка служило предпосылкой для развития теорий моделей других типов и таких ее приложений, как нестандартный анализ [1, 6].
В данной работе рассматриваются модели т.н. многосортной логики: модели, формализованные посредствам алгебры предикатов [12]. Функции алгебры предикатов принимают значения из множества Е = {0,1}, а аргументы определены на множестве А={а1, а2, ..., ак}. В [12, с. 69] излагаются доводы, которые убеждают в том, что "... алгебра конечных предикатов как раз и есть тот формальный язык, на котором должно вестись описание различных механизмов человеческого интеллекта, что никакие другие формальные средства не могут составить ему конкуренцию и что именно этот язык призван стать фундаментом, на котором должно строиться здание теории интеллекта".
Одной из основных задач теории интеллекта является построение моделей различных механизмов интеллекта. Можно, к примеру, говорить о модели естественного языка и теории этой модели. Носитель этой модели -множество лингвистических признаков. Предикатом этой модели является лингвистический предикат [8 - 10]. Вводятся свойства лингвистического предиката, его общий вид, аксиомы теории и т.п. При построении различных конкретных моделей приходится решать одни и те же задачи: аксиоматическое
задание модели, отыскание общего вида модели, достижение полноты и несократимости системы аксиом и др. Все эти вопросы с общих позиций изучаются теорией моделей. Каждая модель (М, Р) вводит пару предикатных переменных М и Р, которые затем используются в роли аргументов предикатных операций и фигурируют в качестве переменных, подлежащих определению в логических уравнениях. Отношение М называется носителем модели (М, Р), а предикат Р - предикатом модели (М, Р) [11].
Интеллект сложен, поэтому его приходится изучать по частям. И тот факт, что человек никогда не испытывает затруднений при выражении мыслей в виде последовательности сравнительно коротких высказываний, свидетельствует о том, что мысли обладают одной важной особенностью: вне зависимости от уровня своей сложности они допускают выражение в виде конъюнкции (состоящей, быть может, из очень большого числа конъюнктивных членов) достаточно простых высказываний. Указанное свойство человеческого интеллекта называется конъюнктивностью интеллекта [12]. Оно указывает на особую важность для теории интеллекта решения вопроса формального разложения одной большой сложной задачи на систему простых задач, т.е разложения одной большой модели на множество простых. Корректно выделить частную модель из общей позволяет операция декомпозиции моделей [12 - 14]. Но так мы получаем совокупность разрозненных моделей. Когда же несколько моделей теории интеллекта соединяются в одну, в этом случае нам нужна операция композиции моделей.
В работе [14] рассмотрен метод композиции моделей по одной переменной. Однако, при изучении некоторых механизмов интеллекта, например языка, более удобным представляется метод композиции моделей по набору переменных, основанный, также как и метод композиции по переменной, на теореме о разложении [12].
Цель статьи - разработать метод композиции произвольного множества (конечного или бесконечного) моделей, формализованных с помощью алгебры предикатов, по набору переменных.
Основная часть. Пусть (Мі, Рі), і = 1, к - модели, не обязательно совместимые. Требуется построить модель (М, Р), которая соединяла бы в себе все модели (Мі, Рі), і = 1, к. При этом модель (М, Р) должна быть построена так, чтобы при необходимости ее можно было расчленить на исходные модели. Операция соединения моделей (Мі, Рі), і = 1, к в единую модель (М, Р)
называется композицией моделей (Мі, Рі), і = 1, к. В работе [14] представлен метод композиции моделей по одной переменной. Рассмотрим его на примере двух моделей.
Пусть (М , Р ) и (М , Р ) - различные модели, которые требуется соединить в модель (М, Р). Вводим новую предметную переменную у . Она будет несущественной для предикатов Мх ,М2, р, Р2. Тем самым, мы переходим к пространству, размерность которого на единицу больше размерности исходного пространства. Моделям (Мг, р) и (М2, Р2) присваиваем различные имена а1 и а 2. Множество М и предикат Р модели (М, Р) образуем по формулам:
М(Х1, *2,..., Хт, у) = М1(Х1, Х2, ..., хт)уа1 VМ2(Х1, х2, ..., Хт)уа2 ;
Р(х1, х2,..., хт , У) = Р1(х1, х2,., хт )У а1 V Р2(х1> х2,•••> хт )У а2 , где у а1, у а2 - предикаты узнавания предмета:
11, если у = а;
У = 1
[0, если у Ф а.
Эти формулы непосредственно следуют из теоремы о дизъюнктивном разложении предиката [12].
Теорема о дизъюнктивном разложении предиката: любой конечный предикат на ит может быть представлен в виде:
Р( хи х2 , • • •, х,, xi+l,., хт ) =
11 12 І і п / \ (1)
= V х |1 х , ••• х СТ 2 , •, СТі, ..., хт X
(СТ1,СТ2,—,а() 1 2 і
где х |к, к = 1, і - предикаты узнавания предмета. Представление предиката Р(х1, х2,хі, хі+1,хт) в виде правой части тождества (1) назовем дизъюнктивным разложением по переменным х15 х2,., хі. Запись (^, о2, • ••, оі ) под знаком дизъюнкции означает, что логическая сумма берется по всевозможным наборам индексов (о15 о2,оі). В результате получаем серию предикатов меньшей размерности. Предикат Р можно образовать многими способами в зависимости от выбора имен для значений предметных переменных.
Метод композиции моделей по переменной легко обобщается на случай произвольного множества (конечного или бесконечного) исходных моделей. Пусть I = {(М а, Ра )}, а є А - семейство моделей, которые требуется соединить в модель (М, Р). Здесь а - индексы, принадлежащие множеству А с и . Вводим новую предметную переменную у , несущественную для каждого из предикатов Ма и Ра, а є А . Каждой модели (Ма, Ра) даем свое имя а є и. Множество М и предикат Р модели (М, Р) образуем по формулам:
М(хъ х2 , ., хт , У) = V Ма (хъ ^ •••, хт )Уа ;
аєА
р(Xl, х2 , ..., хт , у) = ^ Ра (x1, х2 , ., хт ) Уа .
Возможно обобщение операций композиции, так же как и декомпозиции, на случай многих переменных [13].
Пусть I = {(М а, Ра )}, а є А - семейство моделей, которые требуется соединить в модель (М, Р). Здесь а - индексы, принадлежащие множеству А с и . Вводим новые предметные переменные у:, у 2 ,..., у,, і = 1, п несущественные для каждого из предикатов Ма и Ра, а є А . Множество М и предикат Р модели (М, Р) образуем по формулам:
М(х1, х2 , . , хт , Уl, у2 , ..., у, ) = V Ма (xl, x2, —, хт )у?1 у£2 ...уг“‘' , (аі є А);
аєА 1 2
р(x1, х2 , . , хт , Уl, у2 , ..., у, ) = Ра (хЪ X2, • -, хт )уГ у2^ ..уГ”' , (аі є А).
Выводы. Основным результатом работы является разработка метода композиции произвольного множества моделей (Мі, Рі), формализованных с помощью алгебры предикатов, по набору переменных. К данной операции исследователь интеллекта обращается в тех случаях, когда требуется объединить частные результаты моделирования интеллекта в единую модель. Если, к примеру, взять модели склонения различных частей речи [8 - 10], то используя предложенный метод композиции моделей по набору переменных, можно образовать модель склонения словосочетаний. Рассмотренный в работе метод композиции по набору переменных более удобен при изучении языка, чем метод композиции моделей по одной переменной, представленный в работе [14], т.к. дает более детальную характеристику тех моделей, которые подлежат композиции. Предложенный проект является одним из компонентов, которые можно использовать в существующих системах и на пути создания будущих систем автоматической обработки текстовой информации (поддержка и реализация БД, баз знаний, ЭС, систем компьютерного перевода и т.п.), систем автоматизированного проектирования новых информационных технологий и других систем искусственного интеллекта.
На сегодняшний день теория моделей, формализованых с помощью алгебры предикатов, находится в самом начале развития. Необходимо разрабатывать общие принципы ее построения. Не существует и методов решения логических уравнений с моделями данного типа. Важной проблемой также является изучение связи между частичными предикатами и соответствующими им моделями и доказательство правомочности замены предиката, определенного на области, моделью (математическая практика свидетельствует о том, что это делать можно, но доказательства этого наукой пока не найдено). Существует также масса проблем, связанных с построением
аксиоматических теорий моделей, формализованных посредством алгебры предикатов, с изучением свойств данных моделей и операций над ними, с помощью которых можно записывать эти свойства, и т.д. Одной из таких операций является операция композиции. Перспективы дальнейших исследований - применение рассмотренного в работе метода композиции моделей при изучении механизмов естественного языка и создание других методов композиции, которые найдут свое применение на практике.
Список литературы: 1. Кейслер Г.,Чен Ч. Теория моделей. - М.: Мир, 19ll. - 612 с. 2. Булос Дж., Джеффри Р. Вычислимость и логика. - М.: Мир, 1994. - 396 с. З. Справочная книга по математической логике / Под ред. Дж. Барвайза. Часть 1. Теория моделей. - М.: Наука, 1982. -392 с. 4. Фейс Р. Модальная логика. - М.: Наука, 19l4 - 5і8 c. 5. Ивлев Ю.В. Модальная логика. -М.: Изд. Московского университета, 1991. - 220 с. б. Робинсон А. Введение в теорию моделей и математику алгебры. - М.: Наука, 196l. - 37б с. 7. Мальцев А.И. Алгебраические системы. - М.: Наука, 19l0. - 392 с. 8. Бондаренко М.Ф., Чикина В.А., Шабанов-Кушнаренко Ю.П. Модели языка // Бионика интеллекта. - 2GG4. - № 1 (61). - С. 27-37. 9. Процай Н.Т. Модели языка - склонение притяжательных имен прилагательных // Бионика интеллекта. - 2GG4. - № 2 (63). - С. 58-б5. 10. Лещинский В.А. Модели бинарных логических сетей и их применение в искусственном интеллекте: дис. ... канд. техн. наук: спец. № 05.13.23 - системы и средства искусственного интеллекта - X.: XИРЭ, 2006. - 163 с. 11. Калиниченко О.В. Алгебра идей как аппарат формализации семантики естественного языка в системах искусственного интеллекта: дис. . канд. техн. наук: спец. № 05.13.23 - системы и средства искусственного интеллекта - X.: XИРЭ, 2004. -160 с. 12. Бондаренко М.Ф., Шабанов-Кушнаренко Ю.П. Теория интеллекта. - Xарьков: СМИТ, 2GG6. - 580 с. 13. Процай Н.Т. Метод декомпозиции моделей по набору переменных // Сб. трудов IV Международной научно-практической конференции "Современные научные достижения". Польша. 01-14 февраля 2008 г. - С. 18-2G. 14 Стороженко А.В. Алгебро-логические модели семантики текстов естественного языка: дисс. . канд. техн. наук: спец. № 01.05.02 -математическое моделирование и вычислительные методы - X.: XИРЭ, 2000 - 180 с.
УДК 519.l
Про метод композиції моделей I Процай Н.Т. // Вісник НТУ "XRI". Тематичний випуск: Інформатика і моделювання. - Xаркiв: НТУ "XRI", 2GG8. - № 24. - С. 142 - і4б.
В статті розглянуто метод композиції довільної множини моделей, формалізованих за допомогою алгебри предикатів, по набору змінних. Такий метод композиції більш зручний при моделюванні різноманітних механізмів інтелекту, ніж метод композиції по одній змінній, у зв’язку з тим, що дає більш детальну характеристику тих моделей, що підлягають композиції. Бібліогр.: 14 назв.
Ключові слова: модель, алгебра предикатів, композиція моделей.
UDC 5і9.7
About a method of composition of models I Protsay N.T. // Herald of the National State University "KhPI". Subject issue: Information science and modelling. - Kharkov: NSU "KhPI", 2GG8. -№ 24. - P. і42 - і4б.
A method of arbitrary set of models formalized by means of predicate algebra composition on variables set is presented. This method of composition is better than a method of composition on one variable by modeling of different artificial intelligence mechanisms. It enables the get of more detailed description of models composition. Refs: і4 titles.
Key words: model, algebra of predicates, composition of models.
Поступила в редакцию 25.04.2008
