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

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

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


Скачати цю роботу безкоштовно
Пролистати роботу: 1  2  3  4  5  6  7  8  9  10  11 
МІНІСТЕРСТВО ОСВІТИ УКРАЇНИ
ХАРКІВСЬКИЙ ДЕРЖАВНИЙ ТЕХНІЧНИЙ
УНІВЕРСИТЕТ РАДІОЕЛЕКТРОНІКИ
ГВОЗДІНСЬКА НАТАЛІЯ АНАТОЛІЇВНА
УДК 519.7
ПРЕДИКАТНІ МОДЕЛІ ЛОГІЧНИХ ПРОСТОРІВ В
СИСТЕМАХ ПОДАННЯ ЗНАНЬ
01.05.02 _математичне моделювання та обчислювальні методи
АВТОРЕФЕРАТ
дисертації на здобуття наукового ступеня
кандидата технічних наук
Харків _1999


Дисертацією є рукопис.
Робота виконана в Харківському державному технічному університеті радіоелектроніки, Міністерство освіти України.
Науковий керівник доктор технічних наук, професор Шабанов-Кушнаренко Юрій Петрович, Харківський державний технічний університет радіоелектроніки, професор кафедри "Програмного забезпечення ЕОМ"
Офіційні опоненти: доктор технічних наук, професор Шаронова Наталія Валеріївна, Харківський гуманітарний інститут "Народна українська академія", завідувач кафедрою "Інформаційних технологій та документоведення", проректор по НДР;
кандидат технічних наук, доцент Соколов Олександр Юрійович, Харківський державний аерокосмічний університет ім. М.Є. Жуковського "ХАІ", завідувач кафедрою "Інформатики"
Провідна установа Інститут проблем машинобудування ім. А.М. Підгорного НАН України, м.Харків.
Захист відбудеться "19" жовтня 1999р. о 1300 годині на засіданні спеціалізованої вченої ради Д 64.052.02 в Харківському державному технічному університеті радіоелектроніки, м.Харків, пр.Леніна, 14, fax (0572) 40-91-13
З дисертацією можна ознайомитись у бібліотеці Харківського державного технічного університету радіоелектроніки, м.Харків, пр.Леніна, 14.
Автореферат розісланий "10" вересня 1999р.
Вчений секретар
спеціалізованої вченої ради Безкоровайний В.В.


ЗАГАЛЬНА ХАРАКТЕРИСТИКА РОБОТИ
Актуальність теми. Сучасна епоха характерна бурхливим розвитком галузей застосування найновітніших інформаційних технологій. Але введення інофрмації в комп'ютер залишилося незмінним та традиційним. Відсутні суворо формалізовані підходи до подання знань і привабливі методи моделювання знань. У зв'язку з цим виникла та набула великої актуальністі проблема створення апарату для формалізації опису та комп'ютерного подання різноманітної інформації, поданої у вигляді текстів природної мови або логічних структур мислення. Як відомо, для моделювання подібних явищ та процесів використовуються алгоритми штучного інтелекту. Але найбільшим недоліком систем штучного інтелекту, що суттєво обмежує галузь їх практичного застосування, є нездатність машини розуміти людську мову і, як наслідок, нездатність змістовної обробки нею текстів. Пошук методів формалізації висловлювань природної мови може відкрити шляхи для удосконалення роботи діалогових людинно-машинних систем. У зв'язку з цим виникла необхідність у нових методах опису мовної взаїмодії в діалогових системах, звідки виникає задача формалізації моделі спілкування як частини системи подання знань, бо образність та виразність опису моделі предметної області весь час зростає. Багато сучасних досліджень присвячено розробці математичного апарату для формального опису природної мови. За основу для його розробки можна взяти алгебру скінченних предикатів, мовою якої можна описати будь-який закон інтелекту, що реалізується на ЕОМ. Внаслідок цього найбільш перспективним є використання такого розділу математики як логічний аналіз. За допомогою такої його частини як логічна алгебра можна вести дослідження роботи інтелекту людини.
Важливі результати можна отримати, якщо провести аналогію між лінійною алгеброю, засобами якої формалізуються різноманітні системи у вигляді математичних моделей, і логічною алгеброю, що є основою мислення людини. Серед напрямків логічного аналізу найменш дослідженим є математичний апарат векторних логічних просторів. Створення математичних засобів для опису таких проторів має заповнити існуючу прогалину та надати можливість розробляти математичні моделі інформаційних процесів, особливо моделі природної мови. Слід відзначити, що великий внесок у розв'язання задачі формалізації природної мови зробили Віноград Т., Попов Є.В., Рубашкін В.

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



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

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