Автоматизация семантического анализа текста технического задания тема диссертации и автореферата по ВАК РФ 05.13.12, кандидат технических наук Орлова, Юлия Александровна

• Орлова, Юлия Александровна
• кандидат технических наук
• 2008

Оглавление диссертации кандидат технических наук Орлова, Юлия Александровна

Введение.

1 Состояние вопроса и постановка задачи исследования.

1.1 Обзор методов проектирования программного обеспечения.

1.1.1 Понятие проектировании ПО.

1.1.2 Стадии и этапы разработки программ.

1.1.3 Моделирование в проектировании ПО.

1.1.4 Современные CASE-средства.

1.2 Обработка естественного языка в автоматизированных системах.

1.2.1 Обзор систем обработки естественного языка.

1.2.2 Методы моделирования языковой деятельности.

1.2.3 Лингвистические теории и их реализации.

1.3 Цели и задачи исследования.

2 Методика анализа текста технического задания.

2.1 Основные положения методики анализа текста технического задания.

2.2 Семантическая модель текста документа «Техническое задание».

2.3 Требования к тексту технического задания.

Введение диссертации (часть автореферата) на тему «Автоматизация семантического анализа текста технического задания»

Проектирование программного обеспечения (ПО) это процесс составления описания, его преобразование, определения архитектуры, компонентов, интерфейсов, других характеристик системы и конечного состава программного продукта, результатом которого является проектное решение, удовлетворяющее заданным требованиям. Проектирование представляет собой трудоемкий процесс, требующий от пользователя глубокого знания предметной области и навыков в проектировании. В связи с этим весьма актуальна задача модификации проектных процедур таким образом, чтобы процесс создания программных продуктов стал более доступным.

В настоящее время проектирование включает разработку требований или технического задания (ТЗ), разработку системы или технического проекта, программирование или рабочее проектирование, пробную эксплуатацию, сопровождение и улучшение. Необходимо учитывать взаимозависимость всех основных частей процесса проектирования от инструментария, технологий и организации работ. Большинство работ в области САПР направлены на создание и совершенствование инструментария для автоматизации процесса проектирования. Значительный вклад в развитие САПР внесли В.И.Аверченков, Г.С.Альтшуллер, А.В.Андрейчиков, Н.П.Бусленко, В.П.Быков, Б.С.Воинов, Г.Д.Волкова, В. Гаспарский, Дж. К. Джонс, Дж. Диксон, М.Ф.Зарипов, В.А. Камаев, К.В.Кумунжиев, В.М.Курейчик, П.М.Ма-зуркин, И. Мюллер, И.П.Норенков, И.Ю.Петрова, А.И.Половинкин, А.Ф.Похилько, Ю.М. Соломенцев, Ф.Ханзен, П. Хилл, А. Холл и др.

Наиболее известные из коммерческих программных продуктов, используемых для проектирования программного обеспечения, предназначены для визуализации промежуточных и конечных результатов процесса проектирования. Некоторые из них позволяют полностью автоматизировать последние этапы проектирования: генерация кода, создание отчетной и сопровождающей документации и т.д. При этом задача автоматизации начального этапа проектирования - формирование и анализ текста 4 технического задания остается открытой. Это связано с необычайной сложностью проблемы синтеза и анализа семантики технического текста, для решения которой необходимо использовать симбиоз методов искусственного интеллекта, прикладной лингвистики, психологии и т.п. [70, 72, 74, 75].

Таким образом, актуальной является задача автоматизации начального этапа проектирования программного обеспечения, главным аспектом которой является автоматизация семантического анализа текста технического задания.

Цель и задачи исследования.

Целью диссертационной работы является повышение эффективности проектирования программного обеспечения за счет автоматизации семантического анализа текста технического задания.

Для достижения поставленной цели необходимо решить следующие задачи: a) Провести анализ процесса проектирования программного обеспечения и моделей семантического анализа текста. b) Разработать методику анализа текста технического задания. c) Разработать и исследовать семантическую модель текста технического задания. d) Разработать алгоритмическое обеспечение анализа текста технического задания и автоматического построения модели программного обеспечения. e) Реализовать разработанные формализмы, методику и алгоритмы в виде системы автоматизации начального этапа проектирования программного обеспечения.

Провести исследование разработанной программной среды при проектировании программного обеспечения: систем расчета локальной сети, диспетчерского контроля и принятия решений.

Объектом исследования является текст технического задания на проектирование программного обеспечения.

Предметом исследования является эффективность проектирования программного обеспечения.

Методы исследования. При разработке методики анализа текста использовался математический аппарат теории автоматов, нечетких множеств, методы структурной и прикладной лингвистики, методы представления знаний в искусственном интеллекте. Разработка программных и информационных средств произведена на основе современных принципов построения САПР.

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

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

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

3. Разработан метод построения модели программного обеспечения, описанного в техническом задании, на примере диаграмм потоков данных.

Положения, выносимые на защиту:

1. Фреймовая структура теста технического задания, являющаяся представлением требований к проектируемому программному обеспечению, описанному в техническом задании.

2. Семантическая модель текста технического задания в виде расширенной нечеткой атрибутной грамматики над фреймовой структурой для анализа текста технического задания.

3. Методика и алгоритмическое обеспечение анализа технического задания и построения модели программного обеспечения по результатам анализа.

Практическая ценность работы заключается в следующем:

1. Разработанная методика анализа текста позволяет упростить процесс проектирования программного обеспечения на начальных этапах.

2. Разработанные формализмы анализа текста технических заданий могут использоваться для анализа других технических текстов и на других языках в различных предметных областях при автоматизации проектирования программного обеспечения.

3. В результате разработки и внедрения предлагаемой методики повышается качество проектирования за счет автоматизации рутинного труда человека по извлечению полезной информации из стандартного документа и отображению ее в виде модели программного обеспечения.

Достоверность полученных результатов подтверждается теоретическим обоснованием использованных и предлагаемых подходов к анализу текста технического задания, а также результатами исследований разработанной программной среды.

Автоматизированная система семантического анализа текста технического задания внедрена в АГТУ, АНО "СНТО сетей МГУ", ВолгГТУ, и ООО "Связь и строительство".

Апробация работы.

Основные положения и результаты работы докладывались и обсуждались на: V-ой международной научно-технической конференции "Интеллектуальные системы (AIS'05). Интеллектуальные САПР (CAD-2005)" (Россия, Черноморское побережье, Дивноморское, 3-10 сентября 2005г.); VI International conference: "Interactive systems and technologies: The problems of human-Computer Interaction" (г.Ульяновск, Россия, 26-30 сентября 2005г.); Х-ой Международной конференции и Российской научной школе (научный центр "АССОНИКА"): "Системные проблемы надежности, качества, информационных и электронных технологий: Инноватика-2005" (г.Сочи, 3-14 октября 2005г.); V-ой Международной научно-методической конференции: "Дистанционное обучение - образовательная среда XXI века" (Белоруссия, г.Минск, 10-11 ноября 2005г.); Х-ой и ХП-ой региональных конференциях молодых исследователей Волгоградской области по направлению "Компьютерное и информационное обеспечение теоретических и прикладных задач (г. Волгоград, 8-11 ноября 2005-2006гг.); Всероссийской конференции студентов, аспирантов и молодых ученых: "Технологии Microsoft в теории и практике программирования" (г.Москва, 2-3 марта 2006г.); Всероссийской конференции студентов, аспирантов и молодых ученых: "Технологии Microsoft в теории и практике программирования"(г.Нижний Новгород, 21-22 марта 2006г.); "Научной сессии МИФИ-2006: Интеллектуальные системы" (г.Москва, 2006г.); VI-ой международной конференции "Информационные технологии в образовании, медицине и технике" (г.Волгоград, 2006г.); IV-ой всероссийской конференции "Прогрессивные технологии в обучении и производстве" (г.Камышин, 2006г.); "Научной сессии МИФИ-2007: Интеллектуальные системы" (г.Москва, 2007г.); IV-ой международной научно-практической конференции "Интегрированные модели и мягкие вычисления в искусственном интеллекте" (г.Коломна, 28-30 мая 2007г.); Joint International Scientific Events on Informatics - ITA2008, "International Conference on Intelligent Information and Engineering Systems - INTOS2008"(r.BapHa, 23 июня - 03 июля 2008г.).

Работа "Естественно-языковое проектирование программного обеспечения. Формализация технического задания" удостоена дипломом третьей степени на Х-ой Региональной конференции молодых исследователей Волгоградской области (2005г.), "Автоматизированное проектирование программного обеспечения по тексту технического задания" дипломом за активное участие в конференции аспирантов и молодых ученых "Технологии

Microsoft в теории и практике программирования" (2006г.), а работа "Подсистема предварительной обработки текста" удостоена поощрительной грамоты на XI-ой Региональной конференции молодых исследователей Волгоградской области (2006г.).

Автор является победителем программы "Участник молодежного научно-инновационного конкурса" (У.М.Н.И.К. - 2008).

По теме диссертации опубликовано 27 работ, в том числе: 4 статьи опубликованы в изданиях, входящих в перечень ВАК; 2 статьи в международных журналах; 12 статей в сборниках трудов; 9 материалов конференций.

Структура и содержание диссертационной работы.

Диссертация состоит из введения, пяти глав, выводов, списка литературы и приложений.

Заключение диссертации по теме «Системы автоматизации проектирования (по отраслям)», Орлова, Юлия Александровна

4.6 Основные результаты и выводы к главе 4

Спроектирована автоматизированная система семантического анализа текста технического задания, разработана общая архитектура, функциональная структура автоматизированной системы, представлена структура выходных файлов, показаны диаграммы классов, оценена область применимости спроектированной автоматизированной системы.

Недостатками данной системы является недоработанный графический интерфейс диалога с пользователем, ограниченный формат входных и выходных данных, высокие системные требования.

5 Пример обработки технического задания и построения модели программного обеспечения

В данной главе будет проведена комплексная проверка предложенной методики и алгоритмов, приведена оценка эффективности предложенной методики. В полном объеме пример представлен в приложении Д.

5.1 Техническое задание на систему расчета локальной сети

1. Наименование и область применения

Полное наименование программы - "Автоматизированная система расчета локальной сети".

Краткое наименование программы - "Проектировщик сети".

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

2. Основание для разработки

Основанием для разработки является приказ N1 от 01.01.01 по отделу программных разработок корпорации Имярек.

3. Назначение разработки

Целью разработки системы является создание программного продукта, с помощью которого можно бы было спроектировать аппаратную часть сети: последовательность соединения компьютеров.

Пользователями системы будут инженеры-проектировщики, системные и сетевые администраторы.

4. Технические требования к программному изделию

4.1. Требования к входным и выходным данным

4.1.1. Входные данные

На входе система должна получать следующие данные: Целое число "Количество компьютеров"

Массив целых чисел "Расстояния между компьютерами" Число "Стоимость дополнительных затрат при прокладке кабеля между компьютерами"

Число "Стоимость аппаратурных единиц"

4.1.2. Выходные данные

На выход система должна выдавать информацию: Массив строк "Требуемые аппаратные средства" Массив целых чисел "Последовательность соединения компьютеров в сети"

Число "Сумма на закупку требуемой аппаратуры"

4.2. Требования к функциональным характеристикам

Система должна выполнять следующие функции:

Система должна определять последовательность соединения компьютеров в сети по количеству компьютеров, расстояниям между компьютерами, стоимости дополнительных затрат при прокладке кабеля между компьютерами, стоимость аппаратурных единиц при минимизации расходов. Система должна выводить требуемые аппаратные средства Система должна выводить последовательность соединения компьютеров

Система должна выводить сумму на закупку требуемой аппаратуры Система должна вычислять последовательность соединения компьютеров в сеть, требуемые аппаратные средства, сумму на закупку требуемой аппаратуры

5. Стадии и этапы разработки

Проектирование программы происходит следующим образом: а) Разработка технического задания; б) Разработка технического проекта; в) Тестирование и подготовка программной документации; г) Ввод в эксплуатацию.

6. Технико-экономические показатели

6.1. Эффективность создания и внедрения

Эффективность создания и внедрения системы достигается за счет обеспечения аппаратными и программными продуктами высокой надежности и легкости в эксплуатации.

6.2. Экономическая эффективность

Экономическая эффективность данного программного продукта будет вычисляться как отношение денежного эффекта от эксплуатации программного продукта к затратам на его разработку.

7. Порядок контроля и приёмки

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

Заключение

Основная цель повышения эффективности проектирования программного обеспечения за счет автоматизации семантического анализа текста технического задания была достигнута.

Основные научные и прикладные результаты диссертационной работы заключаются в следующем:

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

2. Разработана методика анализа текста технического задания, предназначенная для обработки текста на начальных этапах проектирования программного обеспечения и содержащая формализмы, необходимые для представления семантики требований к программному обеспечению на ранних этапах проектирования: семантическую модель текста технического задания, фреймовую структуру и формальную модель. Методика анализа включает три этапа: семантическую обработку текста, создание фреймовой структуры и создание модели программного обеспечения в виде диаграмм потоков данных системы, описанной в техническом задании.

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

4. Разработано алгоритмическое обеспечение семантического анализа текста технического задания: предварительная обработка текста, синтаксический, семантический анализ и построение модели программного обеспечения. Предварительная обработка текста осуществляется с использованием аппарата конечных автоматов, результатом которой являются сформированные таблицы разделов, предложений и лексем технического задания. Семантический анализ текста производится на основе разработанной нечеткой атрибутной грамматики. Для вычисления смысла лингвистической переменной и построения нечеткого вывода использовались функции принадлежности. Синтаксический и морфологический анализ производятся только в том случае, если имеется необходимость, что значительно сокращает время выполнения семантического анализа. На основе дерева лингвистических переменных и семантических атрибутов создается фреймовое описание системы и осуществляется построение модели программного обеспечения в виде диаграмм потоков данных.

5. Разработанные формализмы, методика и алгоритмы реализованы в виде системы автоматизации начального этапа проектирования программного обеспечения "СемантикаТЗ" на платформе Microsoft .NET Framework 2.0 (язык разработки С#) с использованием визуальной среды программирования Visual Studio 2005. Построение диаграмм потоков данных осуществляется в MS Visio.

6. Проведено исследование разработанной программной среды при проектировании программного обеспечения: систем расчета локальной сети, диспетчерского контроля и принятия решений. Результаты исследования позволяют сделать вывод, что разработанные формализмы, методика и алгоритмы соответствуют поставленной цели и задачам.

Повышение эффективности заключается в значительном сокращении времени анализа текста технического задания и построения модели программного обеспечения (от 40% до 70% в зависимости от числа функциональных единиц в ТЗ). Также значительно повысился процент обнаружения и исправления ошибок, сделанных на этапе формализации и анализа ТЗ.

В результате использования разработанной системы повышается качество проектирования программного обеспечения за счет автоматизации рутинного труда человека по извлечению полезной информации из стандартного документа и отображению ее в виде модели программного обеспечения.

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

Список литературы диссертационного исследования кандидат технических наук Орлова, Юлия Александровна, 2008 год

1. Алгоритмы оптимизации проектных решений/ под ред. А.И Половинкина.- М.: Энергия, 1976.- 150 с.

2. Апресян, Ю.Д. Избранные труды. В4т.Т.1. Лексическая семантика/ Ю.Д.Апресян.- 2-е изд., испр. и доп.- М.: Восточная литература, 1995.- 472 с.

3. Апресян, Ю.Д. Лингвистическое обеспечение системы ЭТАП-2/ Ю. Д. Апресян, И. М. Богуславский, Л. Л. Иомдин и др. М.: Наука, 1989.- 296 с.

4. Брукс, Ф.П. Как проектируются и создаются программные комплексы: мифический человеко-месяц: очерки по систем, программир./ Ф.П. Брукс; пер. с англ. Н.А. Черемых; под ред. Ершова,- М.: Наука, 1979.- 151 с.

5. Бутенко, Л.Н. Техническое творчество: теория, методология, практика, энциклопедический словарь-справочник/ Л.Н. Бутенко, A.M. Дворянкин, В.А. Камаев и др.; под ред. А.И. Половинкина, В.В. Попова.- М.: НПО "Информ-систем", 1995. 408 с.

6. Буч, Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++/ Г. Буч.- 2-е изд.- М.: Издательство Бином, СПб: Невский диалект, 1998.- 560 с.

7. Вагин В.Н., Головина Е.Ю., Загорянская А.А., Фомина М.В. Достоверный и правдоподобный вывод в интеллектуальных системах/ Под редакцией В.Н. Вагина, Д.А.Поспелова.- М.: Физматлит, 2007

8. Вендров А. М. Проектирование программного обеспечения экономических информационных систем/ А. М. Вендров.- М.: Финансы и статистика, 2005

9. Выготский, Л.П. Мышление и речь/ Л.П. Выготский.- М.: Лабиринт, 1999.-416 с.

10. Гвенцадзе, М.А. Коммуникативная лингвистика и типология текста/ М.А. Гвенцадзе.- Тбилиси: Ганатлеба, 1986.- 316 с.

11. Гийом, Г. Принципы теоретической лингвистики/ Г. Гийом.- М.: Культура, 1992.- 218 с.

12. Гильберт, Д. Основания математики. Теория доказательств: пер. с нем./ Д. Гильберт, П. Бернайс,- М.: Наука, 1982 — 652с.

13. Гладкий, А.В. Синтаксические структуры естественного языка в автоматизированных системах общения/ А.В. Гладкий.- М.: Наука, 1985.- 144с.

14. Дворянкин, A.M. Основы трансляции: учеб. пособие/ A.M. Дворянкин; ВолгГТУ.-Волгоград, 1997.- 80с

15. Диксон, Д. Проектирование систем: изобретательство, анализ, принятие решений: пер. с англ./ Д. Диксон.- М.: Мир, 1989.- 440 с.

16. Дракин, В.И Общение конечных пользователей с системами обработки данных/ В.И Дракин., Э.В. Попов, А.Б. Преображенский.- М.: Радио и связь, 1988.- 288 с.

17. Ермаков А.Е. Автоматическое извлечение фактов из текстов досье: опыт установления анафорических связей/ Компьютерная лингвистика и интеллектуальные технологии: труды Международной конференции Диалог'2007. Москва, Наука, 2007

18. Заболеева-Зотова, А.В Анализ семантической структуры и реферирование текстов на естественном языке: матер, междун. науч.-техн. конф.- М.: Изд-во Физ-мат литературы, 2003.- 226 с.

19. Заболеева-Зотова, А.В Введение в системологию/ А.В Заболеева-Зотова; ВолгГТУ.- Волгоград, 1999.- 109 с.

20. Заболеева-Зотова А.В Естественный язык в автоматизированных системах. Семантический анализ текстов/ А.В Заболеева-Зотова; ВолгГТУ.-Волгоград: РПК "Политехник", 2002.- 228 с.

21. Заболеева-Зотова, А.В. Лингвистические системы: модели, методы, приложения: монография/ А.В Заболеева-Зотова; ВолгГТУ.- Волгоград: РПК "Политехник", 2004.- 220 с.

22. Заболеева-Зотова, А.В. Подсистема предварительной обработки текста технического задания / Научная сессия МИФИ-2007: сб. науч. тр. В 17 т. Т. 3. Интеллектуальные системы и технологии /Моск. инж. физ. институт (гос. ун-т) и др.- М., 2007.- С.162-163.

23. Заболеева-Зотова, А.В Естественно-Языковое сопровождение процесса проектирования программных продуктов / А.В.Заболеева-Зотова,

24. Ю.А.Орлова // Дистанционное обучение — образовательная среда XXI века: матер. V Междунар. науч.-метод. конф., (10-11 ноября 2005 г.) / Белорус, гос. ун-т информатики и радиоэлектроники.- Минск, 2005.- С. 229-232.

25. Зализняк, А.А. Русское именное словоизменение/ А.А. Зализняк.- М.: Наука, 1967.- 153 с.

26. Камаев, В.А. Технологии программирования: учебник/ В.А. Камаев, В.В. Костерин.- М.: Высш.шк., 2005.- 359с.

27. Карл И. Вигерс Разработка требований к программному обеспечению/ Карл И. Вигерс.- М.: Русская редакция, 2006.- 576с.

28. Карпилович, Т.П. Алгоритмы порождения предложений естественного языка (обзор и анализ)/ Т.П. Карпилович.- Минск, 1977.- 300 с.

29. Кибрик, А.Е. Константы и переменные языка/ А.Е. Кибрик.- СПб.: Алетейя, 2003.- 720 с.

30. Киров, Е.Ф. Теоретические проблемы моделирования языка/ Е.Ф. Киров.- Казань.: Изд-во Казан, ун-та., 1989.- 255 с.

31. Клини, С. Введение в метаматематику: пер. с англ./ С. Клини.- М.: ИЛ, 1957.- 526 с.

32. Клир, Дж. Системология. Автоматизация решения системных задач: пер. с англ./ Дж. Клир.- М.: Радио и связь, 1990.- 544 с.

33. Компьютерная лингвистика и интеллектуальные технологии: Труды международной конференции «Диалог 2007» (Бекасово, 30 мая 3 июня 2007 г.) / Под ред. JI.J1. Иомдина, Н.И. Лауфер, А.С. Нариньяни, В.П. Селегея. - М.: Изд-во РГГУ, 2007. 658 е.: ил.

34. Котов, Р.Г. Прикладная лингвистика и информационная технология/ Р.Г. Котов.- М.: Наука, 1987.- 161 с.

35. Кречетова, Т. В. Формальный аппарат лингвистических описаний для систем понимания текста на естественном языке/ Т. В. Кречетова// Сборник трудов 12 Международной научной конференции, Новгород, 1999 г./ Новгород. Гос. ун-т.- Новгород, 1999.- С. 65-68.

36. Кулагина, О.С., О проблемах автоматической обработки текстов на естественном языке/ О.С. Кулагина// Интеллектуальные системы.- 1996.- Т.1, вып. 1-4.-С. 109-116.

37. Кустова Г.И., Ляшевская О.Н., Падучева Е.В., РахилинаЕ.В. Семантическая разметка лексики в Национальном корпусе русского языка: принципы, проблемы, перспективы // Национальный корпус русского языка: 2003-2005. Результаты и перспективы. М.: 2005.

38. Лурия, А.Р. Язык и сознание/ А.Р. Лурия; под ред. Е.Д. Хомской.-Ростов-на-Дону: Феникс, 1998.- 416 с.

39. Мальковский, М. Г. Диалог с системой искусственного интеллекта/ М.Г. Мальковский.- М.: МГУ, 1985.- 214 с.

40. Мальковский, М.Г. Лингвистический процессор в составе системы распознавания речи/ М.Г. Мальковский, И.А. Волкова, П.В. Благовещенский //Интеллектуальные системы.- 1996.- Т.1, вып. 1-4.- С. 67-78.

41. Мальцев, А.А. Алгебраические системы/ А.А. Мальцев.-М.: Наука, 1970.- 392с.

42. Мамиконов, А.Г. Модели и системы проектирования информационного обеспечения АСУ/ А.Г. Мамиконов, А.Н. Пискунова, А.Р. Цвиркун.- М.: Статистика, 1978.- 374 с.

43. Марков, В.А. Фреймы/ В.А. Марков.- М.: АН СССР, 1954.- 374 с.

44. Мельчук, И. А Опыт теории лингвистических моделей "Смысл<^>Текст". Семантика, синтаксис/ И.А. Мельчук.- М.: Наука, 1974.- 436 с.

45. Минский, М. Фреймы для представления знаний/ М. Минский.- М., 1975.- 184 с.

46. Моделирование языковой деятельности в интеллектуальных системах/ Под. ред. А.Е. Кибрика, А.С. Нариньяни.- М.: Наука, 1987.- 280 с.

47. Морфологический анализ научного текста на ЭВМ/ АН СССР, Ин-т языковедения им А.А. Потебки.- Киев: Наук, думка, 1989.- 262 с.

48. Невзорова, О.А. Машинное обучение и задачи обработки естественного языка/ О.А. Невзорова// Новости искусственного интеллекта. — 1998.- №1.- С.35-42.

49. Нильсон, Н. Принципы искусственного интеллекта/ Н. Нельсон.- М.: Радио и связь, 1985.- 634 с.

50. Норенков И. П. Основы автоматизированного проектирования/ И. П.Норенков.- М.: МГТУ им. Н.Э. БАУМАНА, 2006.- 450 с.

51. Искусственный интеллект. Системы общения и экспертные системы: справочник/ под ред. Э.В. Попова.- М.: Радио и связь, 1990.- 464 с.

52. Искусственный интеллект. ВЗт. Т.2. Модели и методы: справочник/ Под ред. Э.В. Попова.- М.: Радио и связь, 1990.- 464 с.

53. Половинкин, А.И. Методы инженерного творчества/ А.И. Половинкин.- Волгоград: ВолгПИ, 1984.- 365 с.

54. Половинкин, А.И. Основы инженерного творчества/ А.И. Половинкин.- М.: Машиностроение, 1988. 368 с.

55. Поляков, В.Н. Синтез формальных моделей языка и смысла как проблема семантической обработки естественного языка/ В.Н. Поляков// Новости искусственного интеллекта.- 1997.- №1.- С. 23-34.

56. Попов, М.Ю. Концепция системы семантического анализа текста/ М.Ю. Попов, А.В. Заболеева-Зотова// Труды Международного семинара Диалог'2002 по компьютерной лингвистике и ее приложениям.-2002.- №1,- С. 32-36.

57. Попов, М.Ю. Реализация семантико-семантического анализатора естественного языка в системе классификации полнотекстовых текстов/ М.Ю. Попов, А.В. Заболеева-Зотова, С. А. Фоменков// Успехи современного естествознания,- 2004.- №5.- С. 87-89.

58. Попов, Э.В. Общение с ЭВМ на естественном языке/ Э.В. Попов.- М.: Наука, 1982.- 360 с.

59. Поспелов, Д.А. Логико-лингвистические модели в системах управления/ А.Д. Поспелов.- М.: Энерго, 1981.-231 с.

60. Пранц, М.Г. ТАСС — диалоговая система обработки текста: разработка и применение лингвистических процессоров/ М.Г. Пранц; ВЦ ОС АН СССР.-Новосибирск, 1983.- 115 с.

61. Преображенский, А.Б. Состояние развития систем естественноязыкового общения/ А.Б. Преображенский.- М.: Радио и связь, 1990.- 395 с.

62. Прикладные нечеткие системы: Перевод с япон./ К. Асаи, Д. Ватада, С. Иваи и др.; под ред. Т. Тэрано, К. Асаи, М. Сугено. М.: Мир, 2006.

63. Процессор автоматизированного морфологического анализа без словаря Диалог.- [2001].- Режим доступа: http://www.dialog-21 .ru/Archive/2000/ Dialogue 2000-2/284.htm

64. Серебряков, В.А. Лекции по конструированию компиляторов/ В.А. Серебряков.- М.: Москва, Д993.- 180 с.

65. Системы автоматизированного проектирования. В9т. Т.4. Математические модели технических объектов/ под ред. И.П.Норенкова.- М.: Высш. шк., 1986.- 160с.

66. Системы автоматизированного проектирования. В9т. Т.5. Автоматизация функционального проектирования/ под ред. И.П.Норенкова.-М.: Высш. шк., 1986.-160с.

67. Системы автоматизированного проектирования. В9т. Т.9. Иллюстрированный словарь/ под ред. И.П.Норенкова.- М.: Высш. шк., 1986.159 с.

68. Системы автоматизированного проектирования. В9т. Т.1. Принципы построения и структура/ под ред. И.П.Норенков.- М.: Высш. шк., 1986.- 127с.

69. Старостин С.А., Мальковский М.Г. Модель синтаксиса в системе морфосинтаксического анализа «Treeton» // Компьютерная лингвистика и интеллектуальные технологии: Труды международной конференции «Диалог 2006». М.: Изд-во РГГУ, 2006. С. 481-492.

70. Технология системного моделирования/ Е.Ф. Аврамчук, А.А. Вавилов, С.В. Емельянов и др., под общ. ред. С.В. Емельянова и др.- М.: Машиностроение, 1988.- 520 с.

71. Финн, В. К. О машинно-ориентированной формализации правдоподобных рассуждений в стиле Бэкона-Милля/ В.К. Финн// Семиотика и информатика.- 1983.-№20.- С.35-101.

72. Хомский, Н. Формальные свойства грамматик/ Н. Хомский // Кибернетика.- 1966.- №2.- С. 121-130.

73. Хомский, Н. Язык и мышление/Н. Хомский.- М.: МГУ, 1972.- 159 с.

74. Хомский, Н. Язык и проблемы знания/ Н. Хомский // Вестник МГУ. Сер.9.Филология.- 1995.- №4.-С.130-157.

75. Цейтин, Г.С. К вопросу о построении математических моделей языка/ Г.С. Цейтин// Тезисы Совещания по математической лингвистике/ ЛГУ.-Л., 1959.- 45 с.

76. Шенк, Р. Обработка концептуальной информации: пер. с англ./ Р. Шенк.- М.: Мир, 1987.- 274 с.

77. Шенк, Р. Познать механизмы мышления: реальность и прогнозы искусственного интеллекта: пер. с англ./ Р. Шенк.- М.: Мир, 1987.- 156 с.

78. Antidze, Mishelashvili. Software Tools for morphological and Syntactic Analyses of Natural Language Texts, Proceedings of the conference III Georgian Language and Computer Technologirs, Tbilisi, 2005.

79. Amardeilh F. "Semantic Annotation & Ontology Population", In Semantic Web Engineering in the Knowledge Society, Cardoso Jorge and Lytras Miltiadis D. (Eds), Idea Group Reference, 2008.

80. Benoit Marchal, XML by Example. Indianapolis, IN: Que, 2006.

81. Gill A.J., French R.M. Level of representation and semantic distance: Rating author personality from texts. Proceedings of the Second European Cognitive Science Conference (EuroCogsci07), Delphi, Greece, May 2007.

82. Howard GregorySemantic/ Paperback: Routledge, 2006. PP. 104.

83. Joski, A.K. An introduction to TAG. Mathematics of language/ A.K. Joski// International journal: computers and mathematics with application.- 1992.-№2-5.-P. 87-115.

84. Kamsay, A. Computer-aided syntactic description of language systems/ A. Kamsay// Computational linguistics. An international handbook on computer-oriented language research and applications.- Boston: Walter de Giuyter, 1989.-P.204-218

85. PalaK. Word Sketches and Semantic Roles // Труды международной конференции «Корпусная лингвистика-2006». СПб.: Изд-во С.-Петерб. ун-та, 2006. С. 307-317.

86. Pitrat, J. Using declarative knowledge for understanding natural language/ J. Pitrat// Natural language parsing systems.- Berlin: Springer-Verlag, 1987.-P. 93-136.

87. Rene Witte, Qiangqiang Li, Yonggang Zhang and Juergen Rilling. Text Mining and Software Engineering: An Integrated Source Code and Document Analysis Approach. IET Software Journal, Volume 2, Issue 1, 2008, pp.3-16.

88. Reyle, U. Natural language parsing and linguistic theories/ U. Reyle.-Berlin: Rohrer Dordrecht, 2008.- 625 p.

89. Savitch, W.I. A formal method for context-free languages augmented with reduplication/ W.I. Savitch// Computational linguistics.-1989.- №4,- P.250-261.

90. Seki Y. Automatic summarization focusing on document genre and text structure. Doctoral abstract // ACM SIGIR Forum, №39(1). New York, 2005.

91. Stroustrup, B. An Overview of С++/ B. Stroustrup //ACM SIGPLAN Notices.- 1986.- № 8.- P. 7-18.

92. Tablan V., Damljanovic D. and Bontcheva K. "A natural language query interface to structured information"/ In Proceedings of the 5th European Semantic Web Conference (ESWC 2008).- Tenerife, Spain, June, 2008.

93. Thiel, M. Weighted parsing/M. Thiel// Natural language parsing systems.-Berlin: Springer-Verlag, 1987.-P. 137-160.