Головна Головна -> Реферати українською -> Дисертації та автореферати -> АКСІОМАТИЧНІ МОДЕЛІ І МЕТОДИ ПРОЕКТУВАННЯ ЛІНГВІСТИЧНИХ ТРАНСЛЯТОРІВ

АКСІОМАТИЧНІ МОДЕЛІ І МЕТОДИ ПРОЕКТУВАННЯ ЛІНГВІСТИЧНИХ ТРАНСЛЯТОРІВ

Назва:
АКСІОМАТИЧНІ МОДЕЛІ І МЕТОДИ ПРОЕКТУВАННЯ ЛІНГВІСТИЧНИХ ТРАНСЛЯТОРІВ
Тип:
Реферат
Мова:
Українська
Розмiр:
15,59 KB
Завантажень:
424
Оцінка:
 
поточна оцінка 5.0


Скачати цю роботу безкоштовно
Пролистати роботу: 1  2  3  4  5  6  7  8  9 
Національна академія наук України
Інститут кібернетики імени В. М. Глушкова
На правах рукопису
КОНДРАТЕНКО Вікторія Олександрівна
УДК 681.3
АКСІОМАТИЧНІ МОДЕЛІ І МЕТОДИ
ПРОЕКТУВАННЯ ЛІНГВІСТИЧНИХ ТРАНСЛЯТОРІВ
01.05.03 – математичне та програмне забезпечення
обчислювальних машин і систем
Автореферат дисертації на здобуття наукового ступеня
кандидата фізико-математичних наук
Київ-2001
Дисертацією є рукопис.
Роботу виконано в Інституті кібернетики імені В.М. Глушкова НАН України.
Науковий керівник: доктор фізико-математичних наук, професор
ПРОВОТАР Олександр Іванович, Київський
Державний лінгвістичний університет,
завідувач кафедри інформатики.
Офіційні опоненти: доктор фізико-математичних наук, професор
ВЕЛЬБИЦЬКИЙ Ігор Вячеславович,
Міжнародний науковий центр технології програмування
ТЕХНОСОФТ НАН України, директор.
кандидат фізико-математичних наук, доцент
ШКІЛЬНЯКСтепан Степанович,
Київський національний університет імені Тараса Шевченка
Провідна установа: Інститут програмних систем НАН України.
Захист відбудеться 25.05.2001 р. о 14 годині на засіданні спеціалізованої вченої ради Д26.194.02 при Інституті кібернетики імені В.М. Глушкова НАН України за адресою:
03680 МСП Київ 187, проспект Академіка Глушкова, 40.
З дисертацією можна ознайомитися в науково-технічному архіві інституту.
Автореферат розісланий 23.04.2001 р.
Учений секретар
спеціалізованої вченої ради СИНЯВСЬКИЙ В.Ф.
ЗАГАЛЬНА ХАРАКТЕРИСТИКА РОБОТИ
 
Актуальність теми. Як відомо, традиційні методології проектування лінгвістичних трансляторів, тобто таких, що орієнтовані на роботу з компо-нентами природних мов, грунтуються на граматичних моделях останніх і побудові спеціалізованих стекових автоматів для граматичного аналізу (розпіз-навання) виразів вхідної мови й породження (генерації) синтаксично (але не семантично) адекватних виразів вихідної мови. Недоліки такого підходу полягають в тому, що для кожної пари мов необхідний свій спеціалізований автомат, трудозатрати на створення якого обчислюються людино-роками навіть для алгоритмічних мов середньої складності.
Крім того, переклади лінгвістичних текстів, виконані такими транслято-рами, як правило, є досить абсурдними - до невпізнанності спотворюють зміст тексту. Пояснюється це тим, що транслятори-перекладачі грунтуються на концепції синтаксично керованої трансляції, всупереч необхідної - семантично керованої трасляції.
Дослідженню цих актуальних теоретичних і практичних проблем, пов'язаних зі створенням і реалізацією ефективних лінгвістичних трансляторів, присвячена дисертаційна робота.
Зазначимо, що запропонований в дисертації підхід до проектування лінгвістичних трансляторів, в основі якого лежать методи штучного інтелекту, став можливим завдяки теоретичному й практичному доробку як закордонних (М. Девіс, П. Гілмор, Х. Патнем, Дж. Робінсон, Новіков П. С., Поспєлов Г. С.) так і вітчизняних учених (Сергієнко І.В., Редько В.Н., Андон П.І., Скурихін В.І., Капітонова Ю. В., Летичевський О. А.).
Мета работи. Мета дисертаційної роботи полягає в розробці й реалізації аксіоматичних моделей проектування лінгвістичних трансляторів, що дозволить значно скоротити трудозатрати на розробку останніх.
Для досягнення поставленої мети в роботі розв'язувалися наступні задачі:
- аналіз формальних моделей і методів проектування лінгвістичних трансляторів;
- розробка правил еквівалентних перетворень продукцій контекстно-вільних (КВГ) і атрибутних транслюючих граматик (КЗГ) у правила логіки предикатів;
- розробка алгоритму трансляції на основі резолютивного виведення;
- побудова й дослідження абстрактних моделей логічних числень;
- реалізація моделей і методів проектування лінгвістичних трансляторів.
Наукова новизна. В дисертації одержані наступні нові результати:
- запропонований аксіоматичний підхід до проектування лінгвістичних трансляторів;
- розроблені алгоритми трансформації аксіоматичних моделей трансляції в правила логіки предикатів;
- розроблені алгоритми розпізнавання ланцюжків формальної мови та реалізації синтаксично-керованих переведень, що грунтуються на резолютив-ному виведенні;
- доведено ряд теорем для абстрактних моделей логічних числень;
- побудовані узагальнені конструкції алгоритму уніфікації й методу резо-люцій;
- реалізовані основні компоненти мови GIPLANG в системі програмування Arity Prolog.

Завантажити цю роботу безкоштовно
Пролистати роботу: 1  2  3  4  5  6  7  8  9 



Реферат на тему: АКСІОМАТИЧНІ МОДЕЛІ І МЕТОДИ ПРОЕКТУВАННЯ ЛІНГВІСТИЧНИХ ТРАНСЛЯТОРІВ

BR.com.ua © 1999-2017 | Реклама на сайті | Умови використання | Зворотній зв'язок