 |
|
|
ОБЪЯВЛЕНИЯ
|
|
|
|
|
|
|
|
|
|
Основные принципы tExp Основные идеи tExp'а, позволяющие эффективно решить поставленные задачи и проблемы, в тезисной форме таковы:
Логические принципы tExp
- Для анализа текста используется следующая теоретико-модельная интерпретация: текст интерпретируется как линейно-упорядоченная алгебраическая система.
- носитель системы, представляющей текст, это множество слов данного текста, упорядоченное естественным образом.
- сигнатура содержит унарные предикатные символы для выделения различных характеристик (например, грамматических и лексических) элементов этой системы (т.е. слов текста). Также возможно пополнение сигнатуры за счёт введения более сложных предикатов, позволяющих ускорить процесс обработки текста.
- в сигнатуре этой системе есть функциональные символы, позволяющие сдвигаться по тексту в ту или иную сторону.
Далее будем отождествлять текст с интерпретирующей его алгебраической системой. - Языковые структуры в тексте выделяются как формульные множества.
- Для выделения формульных множеств первого порядка никаких ограничений нет - принципиально возможно использование полного языка первого порядка соответствующей сигнатуры. В силу большой выразительной силы языка первого порядка это позволяет решить проблему неопределённости границ и форм языковых структур.
- Кроме того, в языке существует эффективное средство для выделения формульных множеств второго порядка (т.н. механизм репликации шаблонов) на основе семантики формул первого порядка, что даёт принципиальные возможности для решения проблемы неопределённости размера языковых структур.
Синтаксические принципы tExp
- Декларативность программы на tExp позволяет отвлечься от всех деталей механизма выделения структур, кроме их смысла и логической организованности. Это одна из важнейших предпосылок, почему tExp - чисто логический декларативный язык. На практике это позволяет очень существенно уменьшить объём программы, улучшить её читаемость, хотя и усложняет задачу эффективной реализации интерпретатора/компилятора языка.
- Иерархичность областей даёт адекватное (в том числе удобное) средство для отражения естественной иерархичности языковых структур в тексте, например иерархии предложение - простое предложение - однородные члены - слово. Кроме того, этот принцип позволяет обойтись без условного оператора в какой-либо форме.
- Иерархичность синтаксиса tExp позволяет для задач/подзадач различных уровней сложности использовать структуры адекватной синтаксической сложности.
Иерархия синтаксиса tExp
Иерархия синтаксических структур tExp состоит из 6 уровней (по мере усложнения)
- Элементарный унарный предикат. Обозначается предельно лаконично.
Пример: N, Adj, Adv, "хотя", 'автобус', TF[Some_Template], Dict[частица] :
- Элементарная булева комбинация. Составляется из элементарных унарных предикатов при помощи логических связок (и, или, не, следует).
Пример: {-Dict[неизвестное]}&{-{","}|-{"-"}|-{"+"}|Adj}
Является унарной булевой функцией на тексте. - Парапредикат. Может описываться при помощи одного/нескольких элементарных булевых комбинаций, и уже быть не унарным.
Пример: Sequence[X1={-V|TF[In_Commas]}+ .. X1+X2=TF[Potential_Name]](X1,X2)
- Формула. Даёт возможность полностью использовать выразительную силу логики первого порядка.
Пример: Formula F[Template_Name1,Field_Name1,Word1](X,Y) = (Exists.Z ( (TempField[Template_Name1,Field_Name2](Y))& (In['Word1'](Z))& ( (Table[Table_Name1,Row1,Column1](X))v (TempField[Template_Name2,FieldName_1](Y))v ) ) )
- Шаблон. Эта синтаксическая конструкция даёт возможность имитировать семантику формул второго порядка при помощи формул первого порядка. Использование шаблонов позволяет решить одну из главных отмеченных выше проблем - проблему неопределённости размера языковых конструкций. Если элемент конструкции описывается не одним словом из текста, а множеством слов, то эта проблема решается.
- Команда. Задаёт последовательность наложения шаблонов на текст и исполнения других команд. Позволяет легко оперировать крупными блоками программного кода, возможно из нескольких программных модулей.
|
|
|
|
|
|
