Основные принципы синтеза логико-лингвистических моделей

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2015
1. Verfasser:	Вавиленкова, А.И.
Format:	Artikel
Sprache:	Russian
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2015
Schriftenreihe:	Кибернетика и системный анализ
Schlagworte:	Новые средства кибернетики, информатики, вычислительной техники и системного анализа
Online Zugang:	http://dspace.nbuv.gov.ua/handle/123456789/124919
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Основные принципы синтеза логико-лингвистических моделей / А.И. Вавиленкова // Кибернетика и системный анализ. — 2015. — Т. 51, № 5. — С. 176-185. — Бібліогр.: 16 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	irk-123456789-124919
record_format	dspace
spelling	irk-123456789-1249192017-10-12T03:02:57Z Основные принципы синтеза логико-лингвистических моделей Вавиленкова, А.И. Новые средства кибернетики, информатики, вычислительной техники и системного анализа Проанализированы недостатки существующих теорий семантического и лингвистического анализов текстов. Предложена формальная модель, учитывающая семантико-синтаксическую структуру предложений естественного языка. Приведены примеры построения логико-лингвистических моделей различных типов предложений, на основе котрых сформулированы основные принципы синтеза логико-лингвистических моделей предложений естественного языка. Проаналізовано недоліки існуючих теорій семантичного та лінгвістичного аналізу текстів. Запропоновано формальну модель, яка враховує семантико-синтаксичну структуру речень природної мови. Наведено приклади побудови логіко-лінгвістичних моделей різних типів речень, на основі чого сформульовано основні принципи синтезу логіко-лінгвістичних моделей речень природної мови. The paper analyzes the disadvantages of the available theories of semantic and linguistic analysis. It proposes a formal model that takes into account the semantic–syntactic structure of sentences in natural language. The author provides examples of constructing logical–linguistic models for different types of sentences, based on which the fundamental principles of the synthesis of logical–linguistic models of sentences in natural language are formulated. 2015 Article Основные принципы синтеза логико-лингвистических моделей / А.И. Вавиленкова // Кибернетика и системный анализ. — 2015. — Т. 51, № 5. — С. 176-185. — Бібліогр.: 16 назв. — рос. 0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/124919 004.519.7 (045) ru Кибернетика и системный анализ Інститут кібернетики ім. В.М. Глушкова НАН України
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
language	Russian
topic	Новые средства кибернетики, информатики, вычислительной техники и системного анализа Новые средства кибернетики, информатики, вычислительной техники и системного анализа
spellingShingle	Новые средства кибернетики, информатики, вычислительной техники и системного анализа Новые средства кибернетики, информатики, вычислительной техники и системного анализа Вавиленкова, А.И. Основные принципы синтеза логико-лингвистических моделей Кибернетика и системный анализ
description	Проанализированы недостатки существующих теорий семантического и лингвистического анализов текстов. Предложена формальная модель, учитывающая семантико-синтаксическую структуру предложений естественного языка. Приведены примеры построения логико-лингвистических моделей различных типов предложений, на основе котрых сформулированы основные принципы синтеза логико-лингвистических моделей предложений естественного языка.
format	Article
author	Вавиленкова, А.И.
author_facet	Вавиленкова, А.И.
author_sort	Вавиленкова, А.И.
title	Основные принципы синтеза логико-лингвистических моделей
title_short	Основные принципы синтеза логико-лингвистических моделей
title_full	Основные принципы синтеза логико-лингвистических моделей
title_fullStr	Основные принципы синтеза логико-лингвистических моделей
title_full_unstemmed	Основные принципы синтеза логико-лингвистических моделей
title_sort	основные принципы синтеза логико-лингвистических моделей
publisher	Інститут кібернетики ім. В.М. Глушкова НАН України
publishDate	2015
topic_facet	Новые средства кибернетики, информатики, вычислительной техники и системного анализа
url	http://dspace.nbuv.gov.ua/handle/123456789/124919
citation_txt	Основные принципы синтеза логико-лингвистических моделей / А.И. Вавиленкова // Кибернетика и системный анализ. — 2015. — Т. 51, № 5. — С. 176-185. — Бібліогр.: 16 назв. — рос.
series	Кибернетика и системный анализ
work_keys_str_mv	AT vavilenkovaai osnovnyeprincipysintezalogikolingvističeskihmodelej
first_indexed	2025-07-09T02:16:00Z
last_indexed	2025-07-09T02:16:00Z
_version_	1837133844964179968
fulltext	ÓÄÊ 004.519.7 (045) À.È. ÂÀÂÈËÅÍÊÎÂÀ ÎÑÍÎÂÍÛÅ ÏÐÈÍÖÈÏÛ ÑÈÍÒÅÇÀ ËÎÃÈÊÎ-ËÈÍÃÂÈÑÒÈ×ÅÑÊÈÕ ÌÎÄÅËÅÉ Àííîòàöèÿ. Ïðîàíàëèçèðîâàíû íåäîñòàòêè ñóùåñòâóþùèõ òåîðèé ñåìàíòè÷åñêîãî è ëèíãâèñòè÷åñêîãî àíàëèçîâ òåêñòîâ. Ïðåäëîæåíà ôîðìàëüíàÿ ìîäåëü, ó÷èòûâàþùàÿ ñå- ìàíòèêî-ñèíòàêñè÷åñêóþ ñòðóêòóðó ïðåäëîæåíèé åñòåñòâåííîãî ÿçûêà. Ïðèâåäåíû ïðèìå- ðû ïîñòðîåíèÿ ëîãèêî-ëèíãâèñòè÷åñêèõ ìîäåëåé ðàçëè÷íûõ òèïîâ ïðåäëîæåíèé, íà îñíî- âå êîòðûõ ñôîðìóëèðîâàíû îñíîâíûå ïðèíöèïû ñèíòåçà ëîãèêî-ëèíãâèñòè÷åñêèõ ìîäåëåé ïðåäëîæåíèé åñòåñòâåííîãî ÿçûêà. Êëþ÷åâûå ñëîâà: ëîãèêî-ëèíãâèñòè÷åñêàÿ ìîäåëü, òåêñòîâàÿ èíôîðìàöèÿ, åñòåñòâåííûé ÿçûê, ñåìàíòè÷åñêàÿ ñòðóêòóðà, êîìïüþòåðíàÿ ëèíãâèñòèêà. ÂÂÅÄÅÍÈÅ Îäíîé èç îñíîâíûõ çàäà÷, êîòîðûå ñòàâÿòñÿ ïåðåä ó÷åíûìè â ñôåðå èñêóññòâåí- íîãî èíòåëëåêòà, — íàó÷èòüñÿ àíàëèçèðîâàòü è âîññîçäàâàòü ñ ïîìîùüþ âû÷èñ- ëèòåëüíûõ ìàøèí ñìûñë äåéñòâèé, îáðàçîâ, òåêñòîâ è ò.ä. Â ÷àñòíîñòè, â îáëàñòè àíàëèòè÷åñêîé îáðàáîòêè òåêñòîâîé èíôîðìàöèè çà ïîñëåäíèå ãîäû ñîçäàíî áîëüøîå êîëè÷åñòâî ïðîãðàììíûõ ïðîäóêòîâ, êîòîðûå â òîé èëè èíîé ñòåïåíè îõâàòûâàþò îáëàñòü ñåìàíòè÷åñêîãî àíàëèçà ýëåêòðîííûõ äîêóìåíòîâ [1]. Òàêæå îñóùåñòâëåíî áîëüøîå êîëè÷åñòâî òåîðåòè÷åñêèõ ðàçðàáîòîê â ñôå- ðå êîìïüþòåðíîé è ñòðóêòóðíîé ëèíãâèñòèêè. Òàê, È.Ð. Ãàëüïåðèí â ðàáîòå [2] äàåò ïîëíóþ õàðàêòåðèñòèêó âíóòðè òåêñòîâûõ ñâÿçåé, ðàñêðûâàÿ íà ïðèìåðàõ ïîíÿòèÿ êîíòèíóóìà è ÷ëåíèìîñòè òåêñòà. Ìîíîãðàôèÿ ñëóæèò õîðîøèì òåîðå- òè÷åñêèì ïîñîáèåì ïî ëèíãâèñòè÷åñêîìó àíàëèçó òåêñòà, íî íå èìååò ñâÿçè ñ àâ- òîìàòèçèðîâàííîé îáðàáîòêîé òåêñòîâîé èíôîðìàöèè. Åùå îäíèì èñòî÷íèêîì çíàíèé î òåêñòå, áåç êîòîðûõ íåâîçìîæíà åãî êîìïüþòåðíàÿ îáðàáîòêà, ÿâëÿåòñÿ êóðñ ëåêöèé Ê.À. Ôèëèïïîâà [3], ãäå äåòàëüíî ïðåäñòàâëÿåòñÿ èíôîðìàöèÿ îá îðãàíèçàöèè òåêñòà, âèäàõ òåêñòà, à òàêæå ñïîñîáàõ ñâÿçè ìåæäó ñëîæíûìè ÷àñòÿ- ìè äîêóìåíòîâ. Â ìíîãðàôèè [4] Äæ. Ëàéîíç ïðèâîäèò âñåñòîðîííèé àíàëèç òåê- ñòîâ, îáðàùàÿ îñîáîå âíèìàíèå íà ñìûñëîâîå çíà÷åíèå âûñêàçûâàíèé, ïðåäëî- æåíèé, ïðèáëèæàÿñü ê ïîíÿòèþ ôîðìàëèçàöèè çíàíèé. Â.À. Øèðîêîâ â ñâîåé òåîðèè ñåìàíòè÷åñêèõ ñîñòîÿíèé [5] îïðåäåëÿåò ñîîò- âåòñòâèå ìåæäó ÿçûêîâîé åäèíèöåé è åå êîíöåïòóàëüíûì ïðåäñòàâëåíèåì è ïðåä- ëàãàåò îáùóþ ôîðìó ïðåäñòàâëåíèÿ ñåìàíòè÷åñêîãî ñîñòîÿíèÿ åäèíèö ëåêñè÷åñ- êîãî óðîâíÿ, èñïîëüçóÿ ôàêòîð âçàèìîäåéñòâèÿ ëåêñè÷åñêîé è ãðàììàòè÷åñêîé ñå- ìàíòèê. Ðàáîòà êîëëåêòèâà àâòîðîâ [6] ðàñêðûâàåò âîïðîñû, íà÷èíàÿ îò òåîðèè ëèíãâèñòè÷åñêîãî è ìàòåìàòè÷åñêîãî ìîäåëèðîâàíèÿ è çàêàí÷èâàÿ âàðèàíòàìè òåõíîëîãè÷åñêèõ ðåøåíèé. Â ñòàòüå [7] ðàçðàáîòàíà óíèôèöèðîâàííàÿ ôîðìà ïðåäñòàâëåíèÿ çíàíèé ïðåäëîæåíèé åñòåñòâåííîãî ÿçûêà. Íà ñåãîäíÿøíèé äåíü ðàçëè÷àþò äâà òèïà àëãîðèòìîâ îïðåäåëåíèÿ âõîæäå- íèé â òåêñòîâûå äîêóìåíòû îäíèõ è òåõ æå ñóùíîñòåé: àëãîðèòìû, èñïîëüçóþ- ùèå òåçàóðóñ åñòåñòâåííîãî ÿçûêà, è ðàçäåëåííûå àëãîðèòìû, îïðåäåëÿþùèå ñëîâà ñ îäèíàêîâûì ðàçäåëåííûì êîíòåêñòîì [8]. Òàêæå ìíîãèå ïðîãðàììíûå ìîäóëè èñïîëüçóþò äëÿ àíàëèçà òåêñòà àëãîðèòìû ïîèñêà â ñòðîêå [9, 10]. Íàèáîëåå ïðèáëèæåííûì ïðîãðàììíûì ïðîäóêòîì, êîòîðûé îïðåäåëÿåò ñå- ìàíòè÷åñêèå çíà÷åíèÿ ñëîâ (ïîíÿòèÿ) â òåêñòå è âûäåëÿåò âñå ñâÿçè ìåæäó íèìè, ñîçäàâàÿ óíèâåðñàëüíîå è íå çàâèñÿùåå îò ÿçûêà ïðåäñòàâëåíèå òåêñòà [11], ÿâëÿ- 176 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2015, òîì 51, ¹ 5 © À.È. Âàâèëåíêîâà, 2015 åòñÿ òåõíîëîãèÿ ABBYY Compreno. Àíàëèç è ïîèñê äàííûõ ñ ïîìîùüþ ýòîé òåõ- íîëîãèè ïðîâîäèòñÿ òîëüêî íà àíãëèéñêîì è ðóññêîì ÿçûêàõ. Íåñìîòðÿ íà îãðîìíóþ èíôîðìàöèîííóþ áàçó (êàê â îáëàñòè ëèíãâèñòèêè, òàê è â îáëàñòè èíôîðìàöèîííûõ òåõíîëîãèé) åäèíîãî ðåøåíèÿ ïî ñìûñëîâîé àâòîìàòè÷åñêîé îáðàáîòêå ýëåêòðîííûõ äîêóìåíòîâ äî ñèõ ïîð íå âûðàáîòàíî. Â ñâÿçè ñ ýòèì îñòàåòñÿ àêòóàëüíûì âîïðîñ î ðàçðàáîòêå ìîäåëåé ïðåäñòàâëåíèÿ çíàíèé, à òàêæå ôîðìàëèçàöèè ïðîöåññà èçâëå÷åíèÿ çíàíèé èç òåêñòîâ ðàçíîîáðàçíîé ñòðóêòóðû. ÏÎÑÒÐÎÅÍÈÅ ËÎÃÈÊÎ-ËÈÍÃÂÈÑÒÈ×ÅÑÊÈÕ ÌÎÄÅËÅÉ ÐÀÇËÈ×ÍÛÕ ÒÈÏÎÂ ÏÐÅÄËÎÆÅÍÈÉ Äëÿ äàëüíåéøåãî èññëåäîâàíèÿ ñâÿçåé ìåæäó ïðåäëîæåíèÿìè òåêñòà âàæíî ïîíÿòü êîíöåïöèþ ïîñòðîåíèÿ ëîãèêî-ëèíãâèñòè÷åñêèõ ìîäåëåé òîæäåñòâåí- íûõ ïî ñìûñëó ïðåäëîæåíèé. Òàêæå íåîáõîäèìî èññëåäîâàíèå ðàçëè÷íûõ òèïîâ ïðåäëîæåíèé, îò êîòîðûõ çàâèñèò èçìåíåíèå â ëîãèêî-ëèíãâèñòè÷åñ- êèõ ìîäåëÿõ [12]. Êàæäîìó ïðåäëîæåíèþ ïðèñóùè òàêèå êîìïîíåíòû, êàê ïðåäèêàò (ñêàçóå- ìîå), ãðàììàòè÷åñêèé ñóáúåêò (ïîäëåæàùåå) è ëîãè÷åñêèé ñóáúåêò, êîòîðûå çà- äàþò ãðàììàòèêî-ñìûñëîâóþ ïåðñïåêòèâó ïðåäëîæåíèÿ. Èñõîäÿ èç ýòîãî, ïðîèç- âîëüíîå ïðåäëîæåíèå åñòåñòâåííîãî ÿçûêà ìîæíî ïðåäñòàâèòü ñîâîêóïíîñòüþ ïðîñòûõ ïðåäèêàòîâ, êàæäûé èç êîòîðûõ âûðàæàåò íàèìåíüøóþ ñîñòàâëÿþùóþ, èìåþùóþ çàêîí÷åííûé è ñàìîñòîÿòåëüíûé ñìûñë: L S L Sg S ( ) ( ) ( ) � � �� 1 , (1) ãäå L S� ( ) — ïðîñòîé ïðåäèêàò, êîòîðûé îïèñûâàåò ÷àñòü ïðåäëîæåíèÿ S è îòîáðàæàåò çàêîí÷åííûé ñìûñë; � ��1, ( )S , �( )S — êîëè÷åñòâî ÷àñòåé, èç êî- òîðûõ ñîñòîèò ïðåäëîæåíèå S , îòîáðàæàþùèå çàêîí÷åííûé ñìûñë. Ïðîñòîé ïðåäèêàò çàïèñûâàåòñÿ â âèäå ôîðìóëû L S p x c x x x c x z c z p� �( ) ( , ( ), , , ( ), , ( ), ( ))� 1 1 3 2 2 , (2) ãäå x1 — ñóáúåêò ïðåäëîæåíèÿ S , x X1 1� ; X 1 — ìíîæåñòâî ñóáúåêòîâ, âõîäÿ- ùèõ â ïðåäëîæåíèå S , X X S1 � ( ) ; X S( ) — ìíîæåñòâî ñóùíîñòåé, êîòîðûå âõîäÿò â ïðåäëîæåíèå S; c x( )1 — êîðòåæ õàðàêòåðèñòèê ñóáúåêòà x1: c x c x k m xk( ) [ ( ) \| , ( ) ]1 1 1 11� � ; m x1 1( ) — êîëè÷åñòâî õàðàêòåðèñòèê ñóáúåêòà x1; x2 — îáúåêò ïðåäëîæåíèÿ S , x X x2 2 1� ( ) ; X x2 1( ) — ìíîæåñòâî îáúåêòîâ, íàä êîòîðûìè âûïîëíÿåò äåé- ñòâèå ñóáúåêò x1; X x X S2 1( ) ( )� ; c x( )2 — êîðòåæ õàðàêòåðèñòèê îáúåêòà x2 : c x c x l m xl( ) [ ( ) \| , ( ) ]2 2 2 21� � ; m x2 2( ) — êîëè÷åñòâî õàðàêòåðèñòèê îáúåêòà x2 ; x3 — îáúåêò, êîòîðûé õà- ðàêòåðèçóåò ñóáúåêò x1 ïðåäëîæåíèÿ S , x X x3 3 1� ( ) ; X x3 1( ) — ìíîæåñòâî îáúåêòîâ, êîòîðûå õàðàêòåðèçóþò ñóáúåêò x1 , X x X S3 1( ) ( )� , x x3 2� ; p — îòíîøåíèå ìåæäó ñóáúåêòîì x1 è îáúåêòîì x2 ïðåäëîæåíèÿ S , p P x x� ( , )1 2 ; P x x( , )1 2 — ìíîæåñòâî îòíîøåíèé ìåæäó ñóáúåêòîì x1 è îáúåêòîì x2 ; z — îáúåêò p-ãî îòíîøåíèÿ ìåæäó ñóáúåêòîì x1 è îáúåêòîì x2 , z Z x x p� ( , , )1 2 ; Z x x p( , , )1 2 — ìíîæåñòâî îáúåêòîâ p-ãî îòíîøåíèÿ ìåæäó ñóáúåêòîì x1 è îáúåêòîì x2 ; c z( ) — êîðòåæ ïàðàìåòðîâ z-ãî îáúåêòà p-ãî îòíîøåíèÿ ìåæäó ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2015, òîì 51, ¹ 5 177 ñóáúåêòîì x1 è îáúåêòîì x2 : c z c z q m zq( ) [ ( ) \| , ( ) ]� �1 3 ; m z3 ( ) — êîëè÷åñòâî ïàðàìåòðîâ z-ãî îáúåêòà; �( )p — êîðòåæ ïàðàìåòðîâ p-ãî îòíîøåíèÿ ìåæäó ñóáúåêòîì x1 è îáúåêòîì x2 : � �( ) [ ( ) \| , ( ) ]p p i m pi� �1 ; m p( ) — êîëè÷åñòâî ïàðàìåòðîâ p-ãî îòíîøåíèÿ. Òàêèì îáðàçîì, ñîäåðæàíèå ïðåäëîæåíèÿ åñòåñòâåííîãî ÿçûêà áóäåò ðàçâåð- íóòî â ëèíåéíóþ, ñèíòàêñè÷åñêè ïðàâèëüíóþ ñòðóêòóðó. Ðàññìîòðèì âîçìîæíûå âàðèàíòû ïîñòðîåíèÿ òîæäåñòâåííûõ ïî ñìûñëó ïðåäëîæåíèé åñòåñòâåííîãî ÿçûêà ðàçëè÷íîé ñòðóêòóðû. Ïðîñòîå ïðåäëîæåíèå áåç îäíîðîäíûõ ÷ëåíîâ. Ïóñòü èìååì ñëåäóþùåå ïðåäëîæåíèå: «Îòåö îñòàâèë ñûíó â íàñëåäñòâî äîì». Ëîãèêî-ëèíãâèñòè÷åñêàÿ ìîäåëü ïðåäëîæåíèÿ: L S p x x z w z1 1 1 20 0 0 0( ) ( , , , , , , , ( ) )� � � � � � � , L S1 1( ) � Îñòàâèë (îòåö, 0, 0, ñûíó, 0, íàñëåäñòâî, 0, äîì). Ïðåäëîæåíèå, òîæäåñòâåííîå ïî ñìûñëó, ìîæíî ïðåäñòàâèòü ñ ïîìîùüþ ïå- ðèôðàçà â òàêîì âèäå: «Ñûí ïîëó÷èë â íàñëåäñòâî îò îòöà äîì». Ëîãèêî-ëèíãâèñòè÷åñêàÿ ìîäåëü ïðåäëîæåíèÿ: L S p x x z w z2 2 1 20 0 0 0( ) ( , , , , , , , ( ) )� �� , L S2 2( ) � Ïîëó÷èë (ñûí, 0, 0, îòöà, 0, íàñëåäñòâî, 0, äîì). Åùå îäèí âàðèàíò çàïèñè òîæäåñòâåííîãî ïî ñìûñëó ïðåäëîæåíèÿ: «Äîì áûë ïîëó÷åí ñûíîì â íàñëåäñòâî îò îòöà». Òàêîé âàðèàíò èìååò ìåñòî, ïîñêîëü- êó ïðè ñòðàäàòåëüíîì è äåéñòâèòåëüíîì çàëîãàõ ãðàììàòè÷åñêîå âûðàæåíèå îäíèõ è òåõ æå îòíîøåíèé ìåæäó ïðîèçâîäèòåëåì äåéñòâèÿ è îáúåêòîì åãî äåé- ñòâèÿ îñóùåñòâëÿåòñÿ â ïàðàëëåëüíî ïðîòèâîïîëîæíîì íàïðàâëåíèè. Èìåííî ïðîòèâîïîëîæíûì ïàðàëëåëüíûì ïîñòðîåíèåì äîñòèãàåòñÿ ñìûñëîâîé ýôôåêò, ïàññèâíàÿ êîíñòðóêöèÿ ïðîèçâîäèò íå èçìåíåíèå â ôàêòè÷åñêîì ñîäåðæàíèè, à ëèøü ïåðåîöåíêó ðîëè åå îòäåëüíûõ ÷àñòåé. Òàêàÿ ïåðåîöåíêà îñóùåñòâëÿåòñÿ ÷èñòî ãðàììàòè÷åñêèìè ñðåäñòâàìè [13]. Ëîãèêî-ëèíãâèñòè÷åñêàÿ ìîäåëü ïðåäëîæåíèÿ: L S p x x z w z3 3 1 20 0 0 0( ) ( , , , , , , , ( ) )� �� , L S3 3( ) � Áûë_ïîëó÷åí (äîì, 0, 0, îòöà, 0, ñûíîì, 0, íàñëåäñòâî). Òàê êàê ñëîâà «ïîëó÷èë» è «áûë_ïîëó÷åí» ÿâëÿþòñÿ àêòèâíîé è ïàññèâíîé ôîðìàìè îäíîãî è òîãî æå ãëàãîëà; ñóùåñòâèòåëüíûå «îòåö» è «ñûí» ïðèíàä- ëåæàò ê êëàññó ãèïîíèìîâ; ãëàãîëû «îñòàâèë» è «ïîëó÷èë» ÿâëÿþòñÿ êîíâåð- ñèâàìè, ò.å. èìåþò îáðàòíûé ñìûñë, ïîýòîìó ìîæíî ñäåëàòü çàìåíû: ( )& ( )& ( )�� p p x x x x1 2 2 1 , �� z z , �� w z w z( ) ( ) , ( )&�� p p ( ( ) )& ( ( ))& ( )& (�� w z z x w z x x1 1 2 � � ��x x2 1 ) . Â ðåçóëüòàòå çàìåíû ëîãèêî-ëèíãâèñòè÷åñêèå ìîäåëè ïðåäëîæåíèé áóäóò èìåòü ñëåäóþùèé âèä: 178 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2015, òîì 51, ¹ 5 L S p x x z w z1 1 1 20 0 0 0( ) ( , , , , , , , ( ) )� � � � � � � , Îñòàâèë (îòåö, 0, 0, ñûíó, 0, íàñëåäñòâî, 0, äîì), L S p x x z w z2 2 1 20 0 0 0( ) ( , , , , , , , ( ) )� � � � � � � , Îñòàâèë (îòåö, 0, 0, ñûíó, 0, íàñëåäñòâî, 0, äîì), L S p x x z w z3 3 1 20 0 0 0( ) ( , , , , , , , ( ) )� � � � � � � , Îñòàâèë (îòåö, 0, 0, ñûíó, 0, íàñëåäñòâî, 0, äîì). Òàêèì îáðàçîì, ïîëó÷åíû îäèíàêîâûå ëîãèêî-ëèíãâèñòè÷åñêèå ìîäåëè äëÿ ðàçëè÷íûõ ïî ãðàììàòè÷åñêîé ñòðóêòóðå, íî òîæäåñòâåííûõ ïî ñìûñëó ïðåä- ëîæåíèé. Ñëîæíîñî÷èíåííîå ïðåäëîæåíèå ñ îäíîðîäíûìè ÷ëåíàìè. Ïóñòü çàäàíî ïðåäëîæåíèå «Ïîñëå ïðîâåäåíèÿ óêàçàííûõ îöåíîê íàñòóïàåò îòâåòñòâåííûé ìîìåíò îêîí÷àòåëüíîãî è áåñïîâîðîòíîãî âûáîðà åäèíñòâåííîé ñòðàòåãèè, è ýòîò âûáîð îñóùåñòâëÿåòñÿ àäìèíèñòðàòèâíûìè îðãàíàìè». Ëîãèêî-ëèíãâèñòè÷åñêàÿ ìîäåëü ïðåäëîæåíèÿ ñëîæíîñî÷èíåííîãî ïðåäëîæåíèÿ: L S L S L S L S L S( ) ( ( )& ( )& ( ))& ( )� � � � �� 1 2 3 2 � � � � � � � � � � � �( ( , ( ), , , , , ( ), ( ))&p x c x x x z p w z1 1 1 3 2 1 1 10 � � � � � � � � � � �p x c x x c x z p1 1 1 3 1 3 2 10 0( , ( ), , , ( ), , ( ), )&� � � � � � � � � � �p x c x x c x z p1 1 1 3 2 3 2 10 0( , ( ), , , ( ), , ( ), ))&� �� p x c x x c x2 3 3 2 20 0 0 0( , ( ), , , ( ), , , ) , L S L S L S L S L S( ) ( ( )& ( )& ( ))& ( )� � � � �� 1 2 3 2 = (Íàñòóïàåò (ìîìåíò, îòâåòñòâåííûé, âûáîðà, ïðîâåäåíèÿ, 0, îöåíîê, óêàçàííûõ, ïîñëå) & Íàñòóïàåò (ìîìåíò, îòâåòñòâåííûé, 0, âûáîðà, îêîí÷àòåëüíîãî, ñòðàòåãèè, åäèíñòâåííîé, 0) & Íàñòóïàåò (ìîìåíò, îòâåòñòâåííûé, 0, âûáîðà, áåñïîâîðîòíîãî, ñòðàòåãèè, åäèíñòâåííîé, 0)) & Îñóùåñòâëÿåòñÿ (âûáîð, ýòîò, 0, îðãàíàìè, àäìèíèñòðàòèâíûìè, 0, 0, 0). Òàê êàê ïðåäëîæåíèå ñîñòîèò èç äâóõ ÷àñòåé, òî êîìáèíàöèé äëÿ ôîðìèðî- âàíèÿ òîæäåñòâåííûõ åìó ïî ñìûñëó ïðåäëîæåíèé áóäåò, êàê ìèíèìóì, C 3 2 3 3 2 6� � ! ( )! , åñëè êàæäîå èç ïðîñòûõ ïðåäëîæåíèé èíòåðïðåòèðîâàòü òðåìÿ ðàçëè÷íûìè ãðàììàòè÷åñêèìè ïàðàìåòðàìè. Äëÿ êàæäîãî òîæäåñòâåííîãî ïî ñìûñëó ïðåäëîæåíèÿ ñòðîÿòñÿ ëîãèêî-ëèíã- âèñòè÷åñêèå ìîäåëè, îñóùåñòâëÿþòñÿ çàìåíû ñîãëàñíî ãðàììàòè÷åñêèì ïàðàìåò- ðàì, âñëåäñòâèå ÷åãî ëîãèêî-ëèíãâèñòè÷åñêèå ìîäåëè ïðåäëîæåíèé ïðèîáðåòàþò îäèíàêîâûé âèä. Ñëîæíîïîä÷èíåííîå ïðåäëîæåíèå ñ äååïðè÷àñòíûì îáîðîòîì. Ïóñòü èìååòñÿ ïðåäëîæåíèå «Äîñòèãíóâ óðîâíÿ ýêñïåðòà, ÷åëîâåê äåëèòñÿ îïûòîì ñ ó÷åíèêàìè, ÷òîáû ïåðåäàòü èì ñâîè çíàíèÿ». Ëîãèêî-ëèíãâèñòè÷åñêàÿ ìîäåëü ñëîæíîïîä÷èíåííîãî ïðåäëîæåíèÿ ñ äåå- ïðè÷àñòíûì îáîðîòîì: L S L S L S L S p x x z( ) ( ) ( ) ( ) ( , , , , , ,� � �� 1 2 3 1 20 0 0 0, )0 �� p x x z p z z( , , , , , , , ) ( , , , , , ,1 20 0 0 0 0 0 0 0 0 �� w p( ), )0 , L S L S L S L S( ) ( ) ( ) ( )� � �� 1 2 3 = Äîñòèã (÷åëîâåê, 0, 0, óðîâíÿ, 0, ýêñïåðòà, 0, 0) ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2015, òîì 51, ¹ 5 179 Äåëèòñÿ (÷åëîâåê, 0, 0, îïûòîì, 0, ó÷åíèêàìè, 0, 0) Ïåðåäàòü (0, 0, 0, ó÷åíèêàì, 0, çíàíèÿ, ñâîè, 0) . Èç ïðèìåðîâ âèäíî, ÷òî ñòðóêòóðà ïðåäëîæåíèÿ, â ÷àñòíîñòè íàëè÷èå îäíî- ðîäíûõ ÷ëåíîâ, ïðè÷àñòíûõ è äååïðè÷àñòíûõ îáîðîòîâ, à òàêæå âèä ïðåäëîæå- íèÿ, íåïîñðåäñòâåííî âëèÿåò íà êîëè÷åñòâî êîìïîíåíòîâ ëîãèêî-ëèíãâèñòè÷åñ- êîé ìîäåëè è íà îïåðàòîðû, êîòîðûå â íåé èñïîëüçóþòñÿ. Ðàññìîòðåíèå ðàçëè÷íûõ ïî ñèíòàêñè÷åñêîé ñòðóêòóðå ïðåäëîæåíèé, à òàê- æå îñîáåííîñòåé èõ ôîðìèðîâàíèÿ äàåò âîçìîæíîñòü èçëàãàòü îñíîâíûå ïðèíöè- ïû ñèíòåçà ëîãèêî-ëèíãâèñòè÷åñêèõ ìîäåëåé ñ öåëüþ ôîðìàëèçîâàòü ïðîöåññ èçâëå÷åíèÿ ñìûñëà èç ôðàãìåíòîâ òåêñòà. ÏÐÈÍÖÈÏÛ ÑÈÍÒÅÇÀ ËÎÃÈÊÎ-ËÈÍÃÂÈÑÒÈ×ÅÑÊÈÕ ÌÎÄÅËÅÉ Ñèíòåç ëîãèêî-ëèíãâèñòè÷åñêèõ ìîäåëåé — ýòî îáúåäèíåíèå è çàìåíà èõ ñòðóêòóðíûõ êîìïîíåíòîâ áëàãîäàðÿ âûÿâëåíèþ ñïîñîáîâ ëîãè÷åñêîé ñâÿçè ìåæäó ïðåäëîæåíèÿìè åñòåñòâåííîãî ÿçûêà â öåëÿõ ïðîñëåæèâàíèÿ åäèíîé òå- ìàòè÷åñêîé ïðîãðåññèè òåêñòîâîãî ôðàãìåíòà. Ñèíòåç ëîãèêî-ëèíãâèñòè÷åñêèõ ìîäåëåé ïðåäïîëàãàåò ïîëó÷åíèå íåêîòî- ðîé êàíîíè÷åñêîé ôîðìû, êîòîðàÿ ñîäåðæèò ýëåìåíòàðíûå îòíîøåíèÿ, èìåþùèå òîæäåñòâåííûé ñìûñë, è ïîçâîëÿåò îäíîçíà÷íî èíòåðïðåòèðîâàòü ïðåäëîæåíèÿ åñòåñòâåííîãî ÿçûêà ïðîèçâîëüíîé ñòðóêòóðû. Ìåæäó ñòðóêòóðíûì è ñåìàíòè÷åñêèì ïëàíàìè íåò òîæäåñòâà, íî åñòü ïà- ðàëëåëèçì, êîòîðûé ïðîÿâëÿåòñÿ â ñâÿçÿõ. Ïîñêîëüêó ëþáàÿ ñèíòàêñè÷åñêàÿ ñòðóêòóðà ñóùåñòâóåò äëÿ ïåðåäà÷è íåêîòîðîãî ñìûñëà, òî íàçíà÷åíèå ñòðóêòóð- íîãî ïëàíà — ñäåëàòü âîçìîæíûì âûðàæåíèå ìûñëåé, ò.å. îáúåêòîâ ñåìàíòè÷åñ- êîãî ïëàíà [13]. Ïîýòîìó ïðîèçâîëüíûé òåêñò ìîæíî ïðåäñòàâèòü â âèäå ñîâîêóïíîñòè ëîãèêî-ëèíãâèñòè÷åñêèõ ìîäåëåé ïðåäëîæåíèé: t L S g N t g g� � � �1 ( ) ( ) , (3) ãäå L Sg g( ) — ëîãèêî-ëèíãâèñòè÷åñêàÿ ìîäåëü ïðåäëîæåíèÿ S g , g N t�1, ( ) ; N t( ) — êîëè÷åñòâî ïðåäëîæåíèé â òåêñòå t. Ëîãè÷åñêèå ñâÿçè â òåêñòå ìîæíî îïðåäåëèòü êàê ïóòåì àíàëèçà ñëîæíîãî ïðåäëîæåíèÿ (íàëè÷èå äåñòðóêòèâíûõ ñëîâ è àíàôîðè÷åñêèõ ñâÿçåé â íåì), òàê è âûÿâëåíèåì ëåêñèêî-ãðàììàòè÷åñêèõ õàðàêòåðèñòèê (ðàçëè÷íûì ÿçûêîâûì îòíî- øåíèÿì ìåæäó ïðåäëîæåíèÿìè), êîòîðûå îáåñïå÷èâàþò ôîðìàëüíî-ãðàììàòè- ÷åñêóþ ñâÿçíîñòü òåêñòà, ò.å. êîãåçèþ [14]. Ïóñòü èìååòñÿ äâà ïðåäëîæåíèÿ åñòåñòâåííîãî ÿçûêà: S1 è S 2 , êàæäîìó èç íèõ ñîîòâåòñòâóåò ëîãèêî-ëèíãâèñòè÷åñêàÿ ìîäåëü: L S p x c x x x c x z p1 1 1 1 1 3 2 2 1( ) ( , ( ), , , ( ), , ( ),� � � � � � � � � � � �� w z( ) ) , L S p x c x x x c x z2 2 2 1 1 3 2 2( ) ( , ( ), , , ( ),� �� , ( ), ( ) )�� p w z2 , ïîñòðîåííàÿ ñîãëàñíî ôîðìóëàì (1), (2). Â öåëÿõ ïîëó÷åíèÿ ôîðìàëüíîé ìîäåëè, ñ ïîìîùüþ êîòîðîé ìîæíî îïèñàòü ôðàãìåíò òåêñòà, ó÷èòûâàåòñÿ ñìûñë ïðîèçâîëüíûõ ïðåäëîæåíèé åñòåñòâåííîãî ÿçûêà. Ðàññìîòðèì îñíîâíûå ïðèíöèïû ñèíòåçà ëîãèêî-ëèíãâèñòè÷åñêèõ ìîäåëåé. Ïðèíöèï 1. Åìó ñîîòâåòñòâóåò ñèòóàöèÿ, êîãäà äëÿ ñâÿçè ïðåäëîæåíèé â òåêñòå èñïîëüçóåòñÿ ñåìàíòè÷åñêîå ïîâòîðåíèå, ïðè ýòîì ñèíòàêñè÷åñêàÿ ñòðóêòóðà ïðåäëîæåíèé îäèíàêîâàÿ, íî ïðåäèêàò, ñóáúåêò èëè îáúåêò ìîæíî çà- ìåíèòü ñèíîíèìàìè, îäíîêîðåííûìè ñëîâàìè èëè îíè ìîãóò ïîâòîðÿòüñÿ. 180 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2015, òîì 51, ¹ 5 1. Åñëè õîòÿ áû îäíî èç îòíîøåíèé � � � � �p P x x� 1 1 2( , ) (ãäå � � �P x x1 1 2( , ) — ìíî- æåñòâî îòíîøåíèé ìåæäó ñóáúåêòîì �x1 è îáúåêòîì �x2 ïðåäëîæåíèÿ S1) òîæäåñò- âåííî èëè ÿâëÿåòñÿ ñèíîíèìîì õîòÿ áû îäíîãî èç îòíîøåíèé �� p P x x� 2 1 2( , ) ïðåäëîæåíèÿ S 2 , òî íåîáõîäèìî îñóùåñòâèòü ñèíòåç, ñäåëàâ â ëîãèêî-ëèíãâè- ñòè÷åñêèõ ìîäåëÿõ L S1 1( ) è L S2 2( ) çàìåíó � � ��p p� � : L S p x c x x x c x z p1 1 1 1 1 3 2 2 1( ) ( , ( ), , , ( ), , ( ),� � � � � � � � � � � �� w z( ) ) , L S p x c x x x c x z2 2 1 1 1 3 2 2( ) ( , ( ), , , ( ), ,� � �� ( ), ( ) )p w z2 . Ïîñëå ýòîãî ìîæíî êîíñòàòèðîâàòü ñóùåñòâîâàíèå òàêîãî îïåðàòîðà G li i( ) , êîòîðûé ñòàâèò â ñîîòâåòñòâèå âåêòîðó õàðàêòåðèñòèê li êàæäîãî ïðåäëîæå- íèÿ S i åñòåñòâåííîãî ÿçûêà îïðåäåëåííóþ êîìïîíåíòó ëîãèêî-ëèíãâèñòè÷åñ- êîé ìîäåëè u S Uk j( ) � ïðåäëîæåíèÿ S j åñòåñòâåííîãî ÿçûêà, ñâÿçàííîãî ïî ñìûñëó ñ ïðåäëîæåíèåì S i : G l U u Si i k j( ): ( ) , ãäå U — ìíîæåñòâî âîçìîæíûõ çíà÷åíèé êîìïîíåíò ëîãèêî-ëèíãâèñòè÷åñêîé ìîäåëè (2). Ñîãëàñíî ïðèíöèïó 1 (ï. 1) âåêòîðó l1 õàðàêòåðèñòèê ïðåäëîæåíèÿ S1 åñòåñ- òâåííîãî ÿçûêà ñòàâèòñÿ â ñîîòâåòñòâèå çíà÷åíèå u S u S pk j( ) ( )� � �1 2 1 , à âåêòî- ðó l2 õàðàêòåðèñòèê ïðåäëîæåíèÿ S 2 åñòåñòâåííîãî ÿçûêà ñòàâèòñÿ â ñîîòâå- òñòâèå çíà÷åíèå u S u S pk j( ) ( )� � ��1 1 2 . Ðàññìîòðèì ôðàãìåíò òåêñòà, ñîñòîÿùèé èç äâóõ ïðåäëîæåíèé: «Àíãëè÷àíå î÷åíü ëþáÿò ñïîðòèâíûå ñîðåâíîâàíèÿ» è «Îíè ëþáÿò çàíèìàòüñÿ ñïîðòîì, ñìîòðåòü ñîðåâíîâàíèÿ èëè îáñóæäàòü èõ». Ëîãèêî-ëèíãâèñòè÷åñêàÿ ìîäåëü ôðàãìåíòà èìååò ñëåäóþùèé âèä: L S p x x c x w z1 1 1 1 2 20 0 0 0( ) ( , , , , ( ), , , ( ) )� � � � � � � � , L S p p x x p2 2 1 21 1 21 10 0 0 0 0 0( ) ( & )( , , , , , , , )& (( &� � �� p x x22 1 220 0 0 0 0 0)( , , , , , , , )� �� (( & )( , , , , , , , )p p x x1 23 1 220 0 0 0 0 0 , L S1 1( ) � Ëþáÿò (àíãëè÷àíå, 0, 0, ñîðåâíîâàíèÿ, ñïîðòèâíûå, 0, 0, î÷åíü), L S2 2( ) � Ëþáÿò & çàíèìàòüñÿ (àíãëè÷àíå, 0, 0, ñïîðòîì, 0, 0, 0, 0) & (Ëþáÿò & ñìîòðåòü (àíãëè÷àíå, 0, 0, ñîðåâíîâàíèÿ, 0, 0, 0, 0) � Ëþáÿò & îáñóæäàòü (àíãëè÷àíå, 0, 0, ñîðåâíîâàíèÿ, 0, 0, 0, 0)) . 2. Åñëè ñóáúåêò �x1 ïðåäëîæåíèÿ S1, � � �x X1 1, ãäå �X 1 — ìíîæåñòâî ñóáúåêòîâ ïðåäëîæåíèÿ S1, ÿâëÿåòñÿ ñèíîíèìîì, îäíîêîðåííûì ñëîâîì èëè òîæäåñòâåííî ðàâåí ñóáúåêòó ��x1 ëèáî îáúåêòó ��x2 ïðåäëîæåíèÿ S 2 , �� x X1 1 , �� x X x2 1( ) , ãäå ��X 1 — ìíîæåñòâî ñóáúåêòîâ ïðåäëîæåíèÿ S 2 , à ��X — ìíîæåñòâî ñóùíîñòåé ïðåäëîæåíèÿ S 2 , òî â ðåçóëüòàòå ñèíòåçà áóäóò ïîëó÷åíû ëîãèêî-ëèíãâèñòè÷å- ñêèå ìîäåëè, â êîòîðûõ ( ) ( )�� x x x x1 1 2 1 . Ñîîòâåòñòâåííî êîðòåæ õàðàêòåðè- ñòèê áóäåò òàêæå ñîîòâåòñòâîâàòü çàìåíÿåìîé ñóùíîñòè: L S p x c x x x c x z p1 1 1 1 1 3 2 2 1( ) ( , ( ), , , ( ), , ( ),� � � � � � � � � � � �� w z( )) , L S p x c x x x c x z2 2 2 1 1 3 2 2( ) ( , ( ), , , ( ), ,� �� ( ), ( ))�� p w z2 èëè L S p x c x x x c x z p1 1 1 1 1 3 2 2 1( ) ( , ( ), , , ( ), , ( ),� � � � � � � � � � � �� w z� �( ) ) , L S p x c x x x c x z2 2 2 1 1 3 1 1( ) ( , ( ), , , ( ), ,� �� ( ), ( ))�� p w z2 . ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2015, òîì 51, ¹ 5 181 Âåêòîðó l1 õàðàêòåðèñòèê ïðåäëîæåíèÿ S1 åñòåñòâåííîãî ÿçûêà ñòàâèòñÿ â ñîîòâåòñòâèå çíà÷åíèå u S u S x c xk j( ) ( ) & ( )� � �� 2 2 1 1 èëè u S u Sk j( ) ( )� �4 2 � �� x c x2 2& ( ) , à âåêòîðó l2 õàðàêòåðèñòèê ïðåäëîæåíèÿ S 2 åñòåñòâåííîãî ÿçûêà ñòàâèòñÿ â ñîîòâåòñòâèå çíà÷åíèå u S u S x c xk j( ) ( ) & ( )� � � � �2 1 1 1 . Ðàññìîòðèì ôðàãìåíò òåêñòà, ñîñòîÿùèé èç äâóõ ïðåäëîæåíèé: «Èñïîêîí âå- êîâ áðèòàíñêîé èãðîé ñ÷èòàëñÿ êðîêåò» è «Êðîêåò îëèöåòâîðÿåò äóõ Àíãëèè». Ëîãèêî-ëèíãâèñòè÷åñêàÿ ìîäåëü ôðàãìåíòà èìååò ñëåäóþùèé âèä: L S p x x c x w z1 1 1 1 2 20 0 0 0( ) ( , , , , ( ), , , ( ))� � � � � � � � , L S p x x z2 2 2 1 20 0 0 0 0( ) ( , , , , , , , )� �� , L S1 1( ) � Ñ÷èòàëñÿ (êðîêåò, 0, 0, èãðîé, áðèòàíñêîé, 0, 0, èñïîêîí âåêîâ), L S2 2( ) � Îëèöåòâîðÿåò (êðîêåò, 0, 0, äóõ, 0, Àíãëèè, 0, 0). 3. Ñèíòåç îñóùåñòâëÿåòñÿ àíàëîãè÷íî ï. 2, íî ïî îòíîøåíèþ ê ðàâåíñòâó ñóáúåêòà ��x2 âòîðîãî ïðåäëîæåíèÿ. Òîãäà ëîãèêî-ëèíãâèñòè÷åñêèå ìîäåëè ïðèîáðåòàþò âèä L S p x c x x x c x z p1 1 1 2 2 3 2 2( ) ( , ( ), , , ( ), , (� � �� 1 ), ( ))w z� � , L S p x c x x x c x z2 2 2 1 1 3 2 2( ) ( , ( ), , , ( ),� �� , ( ), ( ))�� p w z2 èëè L S p x c x x x c x z p1 1 1 1 1 3 2 2( ) ( , ( ), , , ( ), , (� � � � � � �� 1 ), ( ))w z� � , L S p x c x x x c x z2 2 2 1 1 3 2 2( ) ( , ( ), , , ( ),� �� , ( ), ( ))�� p w z2 . Âåêòîðó õàðàêòåðèñòèê l1 ïðåäëîæåíèÿ åñòåñòâåííîãî ÿçûêà S1 ñòàâèòñÿ â ñîîòâåòñòâèå çíà÷åíèå u S u S x c xk j( ) ( ) & ( )� � �� 4 2 2 2 , à âåêòîðó õàðàêòåðèñòèê l2 ïðåäëîæåíèÿ åñòåñòâåííîãî ÿçûêà S 2 ñòàâèòñÿ â ñîîòâåòñòâèå çíà÷åíèå u S u S x c xk j( ) ( ) & ( )� � � � �2 1 1 1 èëè u S u S x c xk j( ) ( ) & ( )� � � � �4 1 2 2 . Ðàññìîòðèì ôðàãìåíò òåêñòà, ñîñòîÿùèé èç äâóõ ïðåäëîæåíèé: «Èñïîêîí âå- êîâ áðèòàíñêîé èãðîé ñ÷èòàëñÿ êðîêåò» è «Â êðîêåò èãðàþò â øêîëàõ, êîëëåä- æàõ, óíèâåðñèòåòàõ». Ëîãèêî-ëèíãâèñòè÷åñêàÿ ìîäåëü ôðàãìåíòà èìååò ñëåäóþùèé âèä: L S p x x c x w z1 1 1 2 2 20 0 0 0( ) ( , , , , ( ), , , ( ) )� � �� , L S p x z p x1 1 2 2 1 2 20 0 0 0 0 0 0 0 0( ) ( , , , , , , , )& ( , , ,� �� , , , , )&0 0 02��z �� p x z2 2 30 0 0 0 0 0( , , , , , , , ) , L S1 1( ) � Ñ÷èòàëñÿ (êðîêåò, 0, 0, èãðîé, áðèòàíñêîé, 0, 0, èñïîêîí âåêîâ) , L S2 2( ) � Èãðàþò (0, 0, 0, êðîêåò, 0, øêîëàõ, 0, 0) & Èãðàþò (0, 0, 0, êðîêåò, 0, êîëëåäæàõ, 0, 0) & Èãðàþò (0, 0, 0, êðîêåò, 0, óíèâåðñèòåòàõ, 0, 0) . Ïðèíöèï 2. Ïðèíöèï ñèíòåçà ëîãèêî-ëèíãâèñòè÷åñêèõ ìîäåëåé áàçèðóåòñÿ íà äåéêòè÷åñêîì ïîâòîðåíèè. Ýòî îäèí èç ñïîñîáîâ êîíòàêòíîé ñâÿçè â òåêñòàõ è îçíà÷àåò, ÷òî íà óæå íàçâàííûå ïðåäìåòû, õàðàêòåðèñòèêè è îáñòîÿòåëüñòâà ññû- ëàþòñÿ â ñëåäóþùèõ ïðåäëîæåíèÿõ, èñïîëüçóÿ òàêèå ñïåöèàëüíûå ñëîâà, êàê, íà- ïðèìåð, ìåñòîèìåíèÿ, íàðå÷èÿ. 1. Åñëè ñóáúåêò ��x1 èëè îáúåêò ��x2 ïðåäëîæåíèÿ S 2 ( �� x X1 1 , �� x X x2 1( ) , ãäå ��X 1 — ìíîæåñòâî ñóáúåêòîâ ïðåäëîæåíèÿ S 2 , à ��X — ìíîæåñòâî ñóùíîñòåé ïðåäëîæåíèÿ S 2), ÿâëÿåòñÿ ìåñòîèìåíèåì, òî âñëåäñòâèå ñèíòåçà îíè áóäóò çàìå- íåíû íà ýëåìåíò ìíîæåñòâà X � (ñóùíîñòåé ïðåäëîæåíèÿ S1), ãðàììàòè÷åñêèå õà- ðàêòåðèñòèêè êîòîðîãî ñîâïàäàþò ñ õàðàêòåðèñòèêàìè ��x1 èëè ��x2 . Ïðè ýòîì êîð- 182 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2015, òîì 51, ¹ 5 òåæ õàðàêòåðèñòèê ñóáúåêòà ��x1 èëè îáúåêòà ��x2 ïðåäëîæåíèÿ S 2 áóäåò ñîõðàíÿòü- ñÿ ïðåæíèì. Òàêèì îáðàçîì, â ðåçóëüòàòå ñèíòåçà äâóõ ïðåäëîæåíèé áóäóò ïîëó÷åíû ëîãèêî-ëèíãâèñòè÷åñêèå ìîäåëè, â êîòîðûõ ( ) ( )�� x x x x1 1 2 1 : L S p x c x x x c x z p1 1 1 1 1 3 2 2 1( ) ( , ( ), , , ( ), , ( ),� � � � � � � � � � � �� w z� �( )) , L S p x c x x x c x z2 2 2 1 1 3 2 2( ) ( , ( ), , , ( ), ,� �� ( ), ( ))p w z2 èëè L S p x c x x x c x z p1 1 1 1 1 3 2 2 1( ) ( , ( ), , , ( ), , ( ),� � � � � � � � � � � �� w z� �( )) , L S p x c x x x c x z2 2 2 1 1 3 1 2( ) ( , ( ), , , ( ), ,� �� ( ), ( ))p w z2 . Âåêòîðó õàðàêòåðèñòèê l1 ïðåäëîæåíèÿ S1 åñòåñòâåííîãî ÿçûêà ñòàâèòñÿ â ñîîòâåòñòâèå çíà÷åíèå u S u S xk j( ) ( )� � ��2 2 1 èëè u S u S xk j( ) ( )� � ��4 2 2 , à âåêòîðó õàðàêòåðèñòèê l2 ïðåäëîæåíèÿ S 2 åñòåñòâåííîãî ÿçûêà ñòàâèòñÿ â ñîîòâåòñòâèå çíà÷åíèå u S u S xk j( ) ( )� � �2 1 1. Ðàññìîòðèì ôðàãìåíò òåêñòà, ñîñòîÿùèé èç òàêèõ ïðåäëîæåíèé: «Àíãëè÷àíå î÷åíü ëþáÿò ñïîðòèâíûå ñîðåâíîâàíèÿ» è «Îíè çàíèìàþòñÿ ñïîðòîì». Ëîãèêî-ëèíãâèñòè÷åñêàÿ ìîäåëü ôðàãìåíòà èìååò ñëåäóþùèé âèä: L S p x x c x w z1 1 1 1 2 20 0 0 0( ) ( , , , , ( ), , , ( ))� � � � � � � � , L S p x x2 2 2 1 20 0 0 0 0 0( ) ( , , , , , , , )� �� , L S1 1( ) � Ëþáÿò (àíãëè÷àíå, 0, 0, ñîðåâíîâàíèÿ, ñïîðòèâíûå, 0, 0, î÷åíü), L S2 2( ) � Çàíèìàþòñÿ (àíãëè÷àíå, 0, 0, ñïîðòîì, 0, 0, 0, 0). 2. Åñëè ñðåäè ïàðàìåòðîâ êîðòåæà îòíîøåíèé �� ( )p2 âûÿâëåíû íàðå÷èÿ â âèäå ñëîâ-óêàçàòåëåé, òî ñîñòàâëÿþùèå � �� ( )p1 è �� ( )p2 ìîæíî îòîæäåñòâèòü, âûïîëíèâ ñèíòåç ëîãèêî-ëèíãâèñòè÷åñêèõ ìîäåëåé ïðåäëîæåíèé, â êîòîðûõ �� ( ) ( )p p2 1 : L S p x c x x x c x z p1 1 1 1 1 3 2 2 1( ) ( , ( ), , , ( ), , ( ),� � � � � � � � � � � �� w z� �( )) , L S p x c x x x c x z2 2 2 1 1 3 2 2( ) ( , ( ), , , ( ),� �� , ( ), ( ))�� p w z1 . Âåêòîðó õàðàêòåðèñòèê l1 ïðåäëîæåíèÿ S1 åñòåñòâåííîãî ÿçûêà ñòàâèòñÿ â ñîîòâåòñòâèå çíà÷åíèå u S u S pk j( ) ( ) ( )� � �� 6 2 2� , à âåêòîðó õàðàêòåðèñòèê l2 ïðåäëîæåíèÿ S 2 åñòåñòâåííîãî ÿçûêà ñòàâèòñÿ â ñîîòâåòñòâèå çíà÷åíèå u S u S pk j( ) ( ) ( )� � � �6 1 1� . Ðàññìîòðèì ôðàãìåíò òåêñòà, ñîñòîÿùèé èç äâóõ ïðåäëîæåíèé: «Ýêñïåðòû îçâó÷èëè ïðîäîëæèòåëüíîñòü ïðåáûâàíèÿ íà Ìàðñå» è «Òàì ïðîâîäèëèñü ýêñïå- ðèìåíòû íà æèâîòíûõ». Ëîãèêî-ëèíãâèñòè÷åñêàÿ ìîäåëü ôðàãìåíòà èìååò ñëåäóþùèé âèä: L S p x x z w z1 1 1 1 20 0 0 0( ) ( , , , , , , , ( ))� � � � � � � , L S p x x w z2 2 2 1 20 0 0 0 0( ) ( , , , , , , , ( ))� �� , L S1 1( ) � Îçâó÷èëè (ýêñïåðòû, 0, 0, ïðîäîëæèòåëüíîñòü, 0, ïðåáûâàíèÿ, 0, Ìàðñå), L S2 2( ) � Ïðîâîäèëèñü (ýêñïåðèìåíòû, 0, 0, æèâîòíûõ, 0, 0, 0, Ìàðñå). Ïðèíöèï 3. Ïðèíöèï ôîðìóëèðóåòñÿ, èñõîäÿ èç ïîâòîðåíèÿ ãðàììàòè÷åñ- êèõ çíà÷åíèé â ïðåäëîæåíèÿõ. Òàê, â ñâÿçíîì òåêñòå ãëàãîëüíûå ôîðìû îáúåäè- íÿþò ïðåäëîæåíèÿ åñòåñòâåííîãî ÿçûêà îáùèì âðåìåííûì ïëàíîì, íåñìîòðÿ íà òî, ÷òî êàê ïðåäèêàòû, òàê è îáúåêòû äâóõ ïðåäëîæåíèé íå ÿâëÿþòñÿ òîæäå- ñòâåííûìè. Â ýòîì ñëó÷àå ñèíòåç ëîãèêî-ëèíãâèñòè÷åñêèõ ìîäåëåé áóäåò èìåòü ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2015, òîì 51, ¹ 5 183 ñëåäóþùèé âèä: L S p x c x x x c x z p1 1 1 1 1 3 2 2 1( ) ( , ( ), , , ( ), , ( ),� � � � � � � � � � � �� w z� �( ) ) , L S p x c x x x c x z2 2 2 1 1 3 2 2( ) ( , ( ), , , ( ),� �� , ( ), ( ) )�� p w z2 . Âåêòîðó õàðàêòåðèñòèê l1 ïðåäëîæåíèÿ S1 åñòåñòâåííîãî ÿçûêà ñòàâèòñÿ â ñîîòâåòñòâèå çíà÷åíèå u S u S pk j( ) ( )� � �1 2 1, à âåêòîðó õàðàêòåðèñòèê l2 ïðåäëîæåíèÿ S 2 åñòåñòâåííîãî ÿçûêà ñòàâèòñÿ â ñîîòâåòñòâèå çíà÷åíèå u S u S pk j( ) ( )� � ��1 1 2 . Ðàññìîòðèì ôðàãìåíò òåêñòà, ñîñòîÿùèé èç äâóõ ïðåäëîæåíèé: «Èñïîêîí âå- êîâ áðèòàíñêîé èãðîé ñ÷èòàëñÿ êðîêåò» è «Ôóòáîë ÿâëÿëñÿ ñàìîé ïîïóëÿðíîé èãðîé â Àíãëèè». Ëîãèêî-ëèíãâèñòè÷åñêàÿ ìîäåëü ôðàãìåíòà èìååò ñëåäóþùèé âèä: L S p x x c x w z1 1 1 2 2 20 0 0 0( ) ( , , , , ( ), , , ( ) )� � �� , L S p x x c x w z2 2 2 1 2 20 0 0 0( ) ( , , , , ( ), , , ( ) )� �� , L S1 1( ) � Ñ÷èòàëñÿ (êðîêåò, 0, 0, èãðîé, áðèòàíñêîé, 0, 0, èñïîêîí âåêîâ), L S2 2( ) � ßâëÿëñÿ (ôóòáîë, 0, 0, èãðîé, ñàìîé ïîïóëÿðíîé, 0, 0, Àíãëèè). Ïðèíöèï 4. Ïðèíöèï áàçèðóåòñÿ íà çàìåíå ñèíîíèìîâ êàê èç îäíîé, òàê è ðàç- íûõ ÷àñòåé ðå÷è. Ýòî ñòàíîâèòñÿ âîçìîæíûì áëàãîäàðÿ ñèíòàêñè÷åñêîé èëè òðàíñ- ïîçèöèîííîé äåðèâàöèè: ïåðåõîäå ñëîâà èç îäíîé ÷àñòè ðå÷è â äðóãóþ áåç çàìåíû èõ ëåêñè÷åñêèõ çíà÷åíèé [15]. Íàèáîëåå ðàñïðîñòðàíåííûå ñïîñîáû ïîñòðîåíèÿ òà- êîãî ðîäà ñèíîíèìè÷åñêèõ êîíñòðóêöèé: «ãëàãîë1» — «ãëàãîë2 + îäíîêîðåííîå ñó- ùåñòâèòåëüíîå ãëàãîëà1», «ãëàãîë1 — îäíîêîðåííîå ñóùåñòâèòåëüíîå ãëàãîëà1» è «ãëàãîë1 — îäíîêîðåííîå ïðèëàãàòåëüíîå ãëàãîëà1». Ïðèâåäåíèåì ãëàãîëüíîé ôîð- ìû ïðåäèêàòîâ ê ýêâèâàëåíòíûì ñóùåñòâèòåëüíûì ìîæíî îñóùåñòâèòü ñèíòåç ëî- ãèêî-ëèíãâèñòè÷åñêèõ ìîäåëåé, ïðè êîòîðîì ñóáúåêò ��x1 ïðåäëîæåíèÿ S 2 çàìåíÿåòñÿ ïðåäèêàòîì � � � � �p P x x� 1 1 2( , ) ïðåäëîæåíèÿ S1 , ïðè ýòîì îáúåêòû �� x x2 2 ïðåäëîæå- íèé òàêæå ðàâíû ñîãëàñíî ïðèíöèïó 2 ñèíòåçà: L S p x c x x x c x z p1 1 1 1 1 3 2 2 1( ) ( , ( ), , , ( ), , ( ),� � � � � � � � � � � �� w z� �( ) ) , L S p p x x c x z p2 2 2 1 3 2 2 20( ) ( , , , , ( ), , ( )� �� , ( ) )�� w z . Âåêòîðó õàðàêòåðèñòèê l1 ïðåäëîæåíèÿ S1 åñòåñòâåííîãî ÿçûêà ñòàâèòñÿ â ñîîòâåòñòâèå çíà÷åíèå u S u S x c x xk j( ) ( ) & ( )&� � �� 2 2 1 1 2 , à âåêòîðó õàðàêòåðè- ñòèê l2 ïðåäëîæåíèÿ S 2 åñòåñòâåííîãî ÿçûêà ñòàâèòñÿ â ñîîòâåòñòâèå çíà÷åíèå u S u S p xk j( ) ( ) &� � � �1 1 1 2 . Ðàññìîòðèì ôðàãìåíò òåêñòà, ñîñòîÿùèé èç äâóõ ïðåäëîæåíèé: «Êíèãà çàèíòå- ðåñîâàëà ëþáèòåëåé ïðèêëþ÷åíèé» è «Êíèãà èíòåðåñíà ëþáèòåëÿì ïðèêëþ÷åíèé». Ëîãèêî-ëèíãâèñòè÷åñêàÿ ìîäåëü ôðàãìåíòà èìååò ñëåäóþùèé âèä: L S p x x z1 1 1 1 20 0 0 0 0( ) ( , , , , , , , )� � � � � , L S p x x z2 2 2 1 20 0 0 0 0( ) ( , , , , , , , )� �� , L S1 1( ) � Çàèíòåðåñîâàëà (êíèãà, 0, 0, ëþáèòåëåé, 0, ïðèêëþ÷åíèé, 0, 0), L S2 2( ) � Èíòåðåñíà (êíèãà, 0, 0, ëþáèòåëÿì, 0, ïðèêëþ÷åíèé, 0, 0). Ïðèìåíÿÿ ïðèíöèïû ñèíòåçà ëîãèêî-ëèíãâèñòè÷åñêèõ ìîäåëåé ðåêóðñèâíî è ïðîõîäÿ âñå öåïî÷êè ñâÿçåé îò êàæäîãî èç ïðåäëîæåíèé, ìîæíî ïîëó÷èòü êîíå÷- íîå ìíîæåñòâî ìîäåëåé t� , âûðàæàþùèõ âñå ýëåìåíòû ñìûñëà. Ñôîðìóëèðîâàííûå âûøå ïðèíöèïû ñèíòåçà ëîãèêî-ëèíãâèñòè÷åñêèõ ìîäå- ëåé èñïîëüçóþòñÿ äëÿ ôîðìèðîâàíèÿ ìíîæåñòâà ïðîäóêöèé D òåêñòîâîé áàçû. 184 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2015, òîì 51, ¹ 5 Òàêîå ìíîæåñòâî ñîäåðæèò ìîäåëè �L S� ( ), êîòîðûå ïî ñìûñëó ïðåäøåñòâóþò ìî- äåëè ��L S� ( ) , ò.å. � ��L S L S� �( ) ( ) . Íà îñíîâàíèè òàêèõ ñâÿçåé ñòðîèòñÿ îáùàÿ ñîäåðæàòåëüíàÿ ìîäåëü òåêñòà. ÇÀÊËÞ×ÅÍÈÅ Îñíîâíûå êîìïîíåíòû ïðåäñòàâëåíèÿ ñìûñëà ïðåäëîæåíèÿ — ýòî ëåêñè÷åñêèé ñîñòàâ è ñèíòàêñè÷åñêàÿ ñòðóêòóðà. Ñèíòàêñèñ çàäàåò íà ìíîæåñòâå ëåêñåì îò- íîøåíèå ïîä÷èíåíèÿ, ïî êîòîðîìó ìîæíî âûÿâèòü ïðåäèêàòíî-àðãóìåíòíûå îò- íîøåíèÿ ìåæäó îïåðàòîðîì è îïåðàíäîì â ñåìàíòè÷åñêîé ñòðóêòóðå [16]. Ïðåäëîæåííàÿ â ñòàòüå ôîðìà (1)–(2) ïîñòðîåíèÿ ëîãèêî-ëèíãâèñòè÷åñêèõ ìîäå- ëåé ïðåäëîæåíèé åñòåñòâåííîãî ÿçûêà ó÷èòûâàåò èõ ñåìàíòèêî-ñèíòàêñè÷åñêóþ ñòðóêòóðó, ÷òî ïîçâîëÿåò ôîðìàëüíî îïèñûâàòü ñìûñë òåêñòîâîé èíôîðìàöèè. Ñèíòåç ëîãèêî-ëèíãâèñòè÷åñêèõ ìîäåëåé ïðåäëîæåíèé åñòåñòâåííîãî ÿçûêà ÿâëÿåòñÿ íåîòúåìëåìîé ñîñòàâëÿþùåé ïðîöåññà ëèíãâèñòè÷åñêîãî àíàëèçà òåê- ñòà â öåëîì. Òîëüêî ñ ïîìîùüþ ñèíòåçà ëîãèêî-ëèíãâèñòè÷åñêèõ ìîäåëåé ìîæíî ïîñòðîèòü ôîðìàëüíóþ ìîäåëü òåêñòà. Äàëüíåéøèå èññëåäîâàíèÿ íàïðàâëåíû íà ñîçäàíèå ìåòîäà àâòîìàòèçèðîâàííîãî ïîñòðîåíèÿ ëîãèêî-ëèíãâèñòè÷åñêèõ ìî- äåëåé ýëåêòðîííûõ òåêñòîâ â öåëÿõ èõ ñðàâíåíèÿ ïî ñìûñëó è ïîèñêà ëîãè÷åñêèõ ïðîòèâîðå÷èé. ÑÏÈÑÎÊ ËÈÒÅÐÀÒÓÐÛ 1. Ê à ò à ë î ã ëèíãâèñòè÷åñêèõ ïðîãðàìì è ðåñóðñîâ â Cåòè — http://www.rvb.ru/soft/catalogue/ catalogue.html. 2. Ã à ë ü ï å ð è í È . Ð . Òåêñò êàê îáúåêò ëèíãâèñòè÷åñêîãî èññëåäîâàíèÿ. Èçä. 5-å, ñòåðåîòèï- íîå. — Ì.: ÊîìÊíèãà, 2007. — 144 ñ. 3. Ôèëèïïîâ Ê.À. Ëèíãâèñòèêà òåêñòà. Êóðñ ëåêöèé. — ÑÏá.: Èçä-âî Ñ.-Ïá óí-òà, 2008. — 336 ñ. 4. Ë à é î í ç Ä æ . Ëèíãâèñòè÷åñêàÿ ñåìàíòèêà. — Ì.: ßçûêè ñëàâÿíñêîé êóëüòóðû, 2003. — 400 ñ. 5. Ë ³ í ã â ³ ñ ò è ÷ í ³ òà òåõíîëîã³÷í³ îñíîâè òëóìà÷íî¿ ëåêñèêîãðàô³¿ / Â.À. Øèðîêîâ, Â.Ì. Á³ëî- íîæåíêî, Î.Â. Áóãàêîâ òà ³í.— Êè¿â: Äîâ³ðà, 2010. — 295 ñ. 6. À â ò î ì à ò è ÷ å ñ ê à ÿ îáðàáîòêà òåêñòîâ íà åñòåñòâåííîì ÿçûêå è êîìïüþòåðíàÿ ëèíãâèñòèêà / Å.È. Áîëüøàêîâà, Ý.Ñ. Êëûøèíñêèé, Ä.Â. Ëàíäý, À.À. Íîñêîâ, Î.Â. Ïåñêîâà, Å.Â. ßãóíîâà. — Ì.: ÌÈÝÌ, 2011. — 272 ñ. 7. Â à â ³ ë å í ê î â à À . ² . Ëîã³êî-ë³íãâ³ñòè÷íà ìîäåëü ÿê çàñ³á â³äîáðàæåííÿ ñèíòàêñè÷íèõ îñîá- ëèâîñòåé òåêñòîâî¿ ³íôîðìàö³¿ // Ìàòåìàòè÷í³ ìàøèíè òà ñèñòåìè. — 2010. — ¹ 2. — Ñ. 134–137. 8. J u r a f s k y D . , M a n n i n g C h . Natural language processing, 2012. — https://www.coursera.org/ course/nlp (accessed 15.05.2014). 9. Ï î ä ä å ð æ ê à ñèíîíèìîâ â ïðîãðàììàõ ïîèñêà. — http://www-01.ibm.com/support/ knowledgecenter/SSEPGG_8.2.0/com.ibm.db2.ii.of.doc/admin/iiysasynsupp.htm?lang=ru. 10. Ð ó ñ ñ ê è é Wordnet. — http://wordnet.ru/. 11. A B B Y Y Intelligent Search SDK. — http://www.abbyy.ru/isearch/compreno/. 12. Â à â ³ ë å í ê î â à À . ² . Ìåòîäèêà ïåðåòâîðåííÿ ðå÷åííÿ â ëîã³êî-ë³íãâ³ñòè÷íó ìîäåëü // Ì³æíà- ðîä. íàóê.-òåõí. êîíô. «Êîìï’þòåðí³ ñèñòåìè òà ìåðåæí³ òåõíîëîã³¿». — Êè¿â: ÍÀÓ, 2008. — Ñ. 49–53. 13. Ò å í ü å ð Ë . Îñíîâû ñòðóêòóðíîãî ñèíòàêñèñà: ïåð.ñ ôðàíö. — Ì.: Ïðîãðåññ, 1988. — 656 ñ. 14. Ë ó ê à ø å â è ÷ Í . Â . Êîãåçèÿ êàê ñòðóêòóðíàÿ ñâÿçíîñòü òåêñòà, 2011. — http://like-money.ru/stati/271-kogeziya-kak-strukturnaya-svyaznost-teksta. 15. Ê î ð ì å í Ò . Àëãîðèòìû: ïîñòðîåíèå è àíàëèç. Èçä. 3-å / Ò. Êîðìåí, È. ×àðëüç, Ð. Ëåéçåðñîí, Ë. Ðèâåñò, K. Øòàéí. — ÑÏá.: Âèëüÿìñ, 2013. — 1328 ñ. 16. Ï à ä ó ÷ å â à Å . Â . Ñåìàíòè÷åñêèå èññëåäîâàíèÿ. — Ì.: ßçûêè ðóññêîé êóëüòóðû, 1996. — 464 ñ. Ïîñòóïèëà 06.08.2014 ISSN 0023-1274. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2015, òîì 51, ¹ 5 185

Основные принципы синтеза логико-лингвистических моделей

Institution

Ähnliche Einträge