NetNado
  Найти на сайте:

Учащимся

Учителям



Программа Президиума ран № «Фундаментальные проблемы информатики и информационных технологий»


Институт систем информатики им. А.П. Ершова СО РАН



Проект


Формальные языки и методы спецификации,

анализа и синтеза информационных систем

Программа Президиума РАН №
«Фундаментальные проблемы информатики
и информационных технологий»


Руководитель: ___________ д.ф.-м.н. А.Г. Марчук

Новосибирск 2008

«Формальные языки и методы спецификации,

анализа и синтеза информационных систем»

1. Обоснование необходимости проведения исследований

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

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

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

В рамках логического направления предполагается исследовать возможности применения различных логических формализмов (логик) к задачам спецификации, анализа и синтеза ИС. Главная задача в рамках этого направления состоит в исследовании синергетики комбинированных логических формализмов для более полного и эффективного решения задач спецификации, анализа и синтеза ИС.

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

Большинство ИС, работающих с текстовыми ресурсами, нуждаются в специализированных сервисах, позволяющих автоматически обрабатывать тексты на естественном языке (ЕЯ-сервисы). Они используются для решения таких задач как: тематическая классификация документов, определение релевантности документа предметной области, определение жанра документа, автоматической наполнение БД системы, поддержка семантического поиска и запросов на естественном языке, аннотирование документов и т.п.

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

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

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

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

1.1. Сложившиеся тенденции и современный уровень решения проблем

Логическое направление В последние 10-15 лет стал очевиден интерес специалистов к комбинации логических формализмов для спецификации и верификации ИС. Прежде всего в это время активно изучались комбинации темпоральных логик с логикой ролей и понятий (DL) для спецификации и анализа изменяющихся во времени баз данных и эпистемической логикой для спецификации и анализа распределенных и мультиагентных систем.

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

Несколько иначе обстоит дело в исследованиях по комбинации алгебраического аппарата анализа формальных понятий (FCA) с перечисленными логическими формализмами. Нам известно только несколько (и то очень свежих) исследований по комбинации FCA с DL. Условно в этих исследованиях можно выделить два направления: использование инструментария FCA для усиления инструментария DL и представление алгебраических операций FCA логическими средствами DL и наоборот.

Онтологическое направление В настоящее время известно много подходов к разработке онтологий. Одни из них описывают, как строить онтологию с нуля или, переиспользуя другие онтологии (метод Cyc, метод Ушолда и Кинга, методология METHONTOLOGY и др.). Другие — определяют способ построения онтологии путем трансформации других онтологий, например, используя методы реинжиниринга или слияния онтологий. Существуют также подходы к такой специфической деятельности при разработке онтологий, как оценка или развитие онтологий. Однако, уровень формализации большинства из этих подходов позволяет лишь частично автоматизировать процесс спецификации, анализа и синтеза ИС, основанных на онтологиях.

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

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

Современные технологии анализа текста, используемые в системах автоматической обработки текста, обеспечивают эффективность и точность результата обработки за счет использования знаний о предметной области и накладывания ограничений на естественный язык. С этой целью разрабатываются и используются тезаурусы (WordNet, OntoSem, RussNet, RuThes), которые помимо лингвистических знаний включают предметные знания о терминах. Описание и применение дополнительных экстралингвистических знаний, выходящих за рамки рассматриваемого (обрабатываемого) текста, в настоящее время является плохо формализованной областью. Таким образом, исследование экстралингвистических факторов и их формализация — актуальная задача в рамках построения дружественных к пользователю ИС.

Формально-языковое направление Современный уровень исследований по разработке формальных языков спецификации, анализа и синтеза ИС, можно охарактеризовать как этап становления этой области исследования — этап языкотворчества. Появляющиеся языки можно условно разделить на новые языки, базирующиеся на конкретном математическом формализме (логики, процессные алгебры, сети и т. д.) и языки, полученные в результате адаптации формальных языков, предназначенных для произвольных программных систем, или адаптации универсальных языков проектирования и моделирования (таких как UML, WSDL и пр.).

1.2. Оценка проделанной работы в этом направлении в ИСИ СО РАН

Логическое направление В ИСИ СО РАН ведутся исследования по комбинированным логикам знаний и времени. Основной вывод из результатов этих исследований таков: основные алгоритмические проблемы для комбинированных логик знаний и времени или неразрешимы, или имеют очень высокую алгоритмическую сложность, но при правильном представлении данных некоторые алгоритмы анализа (model checking) все-таки могут быть эффективно реализованы на ЭВМ (несмотря на их высокую сложность). Также сотрудинками института получены результаты по комбинации DL и FCA и алгоритмическим проблемам FCA.

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

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

Лингвистическое направление Для решения задачи анализа документов в ИСИ СО РАН разрабатывается семантически-ориентированный подход, использующий как лингвистические знания, так и знания о предметной и проблемной областях. В рамках данного направления разработаны методы и программные средства, автоматизирующие построение предметных словарей для задачи анализа текстов, исследованы способы декларативного описания значимой информации, которую необходимо извлекать из текста, разработан подход к моделированию жанровой структуры документов. Также разработаны методы и программные средства автоматического извлечения фактов из текстов деловых и научных документов.

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

Экспериментальное направление В ИСИ СО РАН накоплен большой опыт в разработке информационных систем. Предложены в высокой степени обоснованные принципы построения фактографических баз данных, ориентированных на фиксацию исторической информации. Построена онтология неспецифических данных, сформирована архитектура информационных систем архивной направленности, разработана технология сбора и обработки архивных документов и данных, а также интерфейсов просмотра, навигации и поиска. Решены вопросы обработки первичных документов, надежного хранения их электронных образов в хранилище данных. Созданы электронные архивные системы, такие как Электронный архив академика А.П.Ершова http://ershov.iis.nsk.su, Хроника Сибирского отделения http://chronicle.iis.nsk.su, Исторический портал ММФ НГУ http://www.globalmmf.ru. Создан электронный фотоархив Сибирского отделения РАН http://soran1957.ru , произведено его первичное наполнение документами и информацией.

Создан портал знаний «Компьютерная лингвистика» (http://speedy.iis.nsk.su/cl/) и археологический портал знаний (http://www.sati.archaeology.nsc.ru/classarch2/).

Выполнен ретроспективный анализ опыта инновационных проектов по системной информатике и программированию, основные результаты которого представлены на международной конференции «Развитие вычислительной техники в России и странах бывшего СССР: история и перспективы», которая проходила под эгидой IFIP в 2006 году Петрозаводске (10 докладов).

1.3. Цели и предполагаемые результаты исследований

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

Предполагается, что будут получены следующие результаты:

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

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

Будут исследованы выразительная сила и алгоритмические свойства комбинации DL (расширенной средствами FCA) с другими логическими формализмами (с фреймовой, эпистемической и темпоральной логиками).

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

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

Лингвистическое направление Для улучшения качества работы сервисов обработки текстов предлагается исследовать возможность привлечения знаний, обычно называемых экстралингвистическими, таких как знания о проблемной области, справочная информация, результаты ранее обработанных текстов, статистическая и содержательная информация о корпусе документов и конечных пользователях ЕЯ-сервисов. Эти знания образуют коммуникативно-прагматический контекст обрабатываемого документа.

Для достижения данной цели будут разработаны методы представления коммуникативно-прагматического контекста ЕЯ-сервиса в ИС, которые предполагается использовать их для расширения существующей базы знаний системы анализа документов. Также будет разработана методология формирования лингвистической и коммуникативно-прагматической базы знаний.

Для создания программных средств поддержки ЕЯ-сервиса на основе лингвистических и коммуникативно-прагматических знаний будут разработаны новые и развиты существующие методы автоматического извлечения прагматических данных из текстов деловых или научных документов.

Формально-языковое направление Будут разработаны логико-программные языки спецификации ИС, комбинирующие конструкции дескриптивной, эпистемической (логики знаний) и темпорально-программной логик с фундаментальными конструкциями языков программирования. Будут исследованы методологические аспекты применения логико-программных языков к спецификации и анализу ИС. Будут предложены формальные семантики для разработанных логико-программных языков, базирующиеся на операционном, аксиоматическом, денотационном и онтологическом подходах или их комбинации. Будет разработано математическое и методическое обоснование методов дедуктивного анализа и анализа проверкой на моделях спецификаций ИС, базирующихся на логико-программных языках.

Экспериментальное направление Предложенные языки и методы спецификации и анализа ИС будут апробированы на ИС, разработанных в ИСИ СО РАН, с целью улучшения качественных характеристик этих систем. Они также будут использованы при построении нескольких новых ИС. Будут реализованы программные компоненты, позволяющие эксперту конструировать базу знаний для определенного ЕЯ-сервиса и разработаны универсальные промежуточные формате ее представления. Будут разработаны экспериментальные ЕЯ-сервисы для ИС определенной тематики и проведена оценка качества их работы.

2. Основные блоки (этапы) проекта, сроки их реализации

Выполнение проекта предполагается с 2009 по 2011 год.

В соответствии с целями проекта планируется проводить исследования по следующим темам, которые естественно вписываются в вышеупомянутые направления.

Логические методы (отв. исполнитель: Шилов Н.В.)

  • исследовать выразительную силу и алгоритмические свойства комбинаций отдельных логических формализмов (логики ролей и понятий, фреймовой, эпистемической и темпоральной логик) с алгебраическим аппаратом анализа формальных понятий;

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

Информационные системы на основе онтологий (отв. исполнитель: Загорулько Ю.А.)

  • развитить формальные и программные методы и средства построения онтологий;

  • разработать методы и средства автоматического построения компонентов ИС (пользовательского интерфейса, базы данных) на основе онтологий;

  • разработать методы анализа и визуализации онтологий и информационного наполнения ИС;

  • разработать методы эволюции и реинжиниринга онтологий, используемых в ИС.

Методы автоматического извлечения фактов из текстов на естественном языке (отв. исполнитель: Сидорова Е.А.)

  • разработать методы представления коммуникативно-прагматического контекста ЕЯ-сервиса в информационных системах;

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

  • разработать методологии формирования лингвистической и коммуникативно-прагматической базы знаний;

  • разработать методы и средства поддержки ЕЯ-сервиса на основе лингвистических и коммуникативно-прагматических знаний.

Формально-языковые проблемы информационных систем (отв. исполнитель: Ануреев И.С.)

  • разработать логико-программные языки спецификации ИС, комбинирующие конструкции дескриптивной, эпистемической (логики знаний) и темпорально-программной логик с фундаментальными конструкциями языков программирования;

  • исследовать методологические аспекты применения логико-программных языков к спецификации и анализу ИС;

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

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

  • апробировать предлагаемые методы на примерах информационных систем, разрабатываемых в ИСИ СО РАН — портале знаний «Компьютерная лингвистика», археологическом портале знаний, электронном фотоархиве СО РАН.

Принципы и инструментальные средства электронной фактографии (отв. исполнитель: Марчук А.Г.)

  • разработать и обосновать принципы электронной фактографии для фиксации фактов и данных о сопряженных им сущностях;

  • предложить новые методики построения распределенных баз данных и документов;

  • разработать новые формальные спецификации для описания предметных областей и формирования базы знаний;

  • развить созданную в ИСИ СО РАН онтологию неспецифических сущностей, позволяющую структурировать разносортную информацию;

  • разработать инструментальные программные средства для сбора и редактирования информации: обработки, представления и анализа данных в едином распределенном информационном поле;

  • исследовать взаимодействие средств локального хранения данных и средств, предоставляющих возможности формирования общего поля данных и документов;

  • апробировать предлагаемые методы на примерах фактографических информационных систем.

Теоретические исследования и программные эксперименты по математической лингвистике (отв. исполнитель: Мурзин Ф.А.)

Блок: Теоретические исследования по математической лингвистике

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

  • провести формальный анализ конструкций, применяемых в системах синтаксического анализа с целью их оптимизации;

  • провести исследования по распараллеливанию лингвистических алгоритмов.

Блок: Программные эксперименты

  • развить имеющуюсяв настоящий момент исследовательскую систему для анализа текстов на естественном языке;

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

  • создать специализированные модификации систем синтаксического анализа;

  • разработать и развить ряд поисковых систем;

  • провести эксперименты с лингвистическими алгоритмами на параллельных вычислительных системах.

Участники проекта


Координатор проекта — д.ф.-м.н. А. Г. Марчук.

Коллектив проекта включает 27 человек,

в том числе, 2 доктора наук, 11 кандидатов наук, 15 молодых ученых и аспирантов.

Финансирование


Общий объем финансирования проекта на 2009 год — 1 250 000 рублей

3. Список публикаций сотрудников ИСИ СО РАН по теме проекта


  1. Ануреев И.С. Язык описания онтологических систем переходов OTSL как средство формальной спецификации программных систем // Вестник НГУ, серия «Информационные технологии» , Т. 6, вып. 3. — 2008.

  2. Anureev I.S. Ontological models in OTSL // Problems in Programming. — 2008. — № 2-3. — P. 41-49.

  3. Shilov N.V., Anureev I.S., Garanina N.O. Combining Two Formalism for Reasoning about Concepts // Proceedings of the 2007 International Workshop on Description Logics (DL2007). — Brixen Italy, 2007. — Vol. 250. — P. 459-466.

  4. N.V. Shilov, N.O. Garanina, I.S. Anureev. Combining Propositional Dynamic Logic with Formal Concept Analysis // Proc. Workshop on Concurrency, Specification and Programming (CS&P’2006), Humboldt University, Berlin, 2006.

  5. Anureev I.S. Ontological Transition Systems // Joint NCC&IIS Bulletin, Series Computer Science. — 2007. — Vol. 26 — P. 1-18.

  6. Anureev I.S. A Language of Actions in Ontological Transition Systems // Joint NCC&IIS Bulletin, Series Computer Science. — 2007. — Vol. 26. — P. 19-38.

  7. Ануреев И.С. Онтологические системы переходов // Труды XIII Байкальской Всероссийской конференции «Информационные и математические технологии в науке и управлении», Том 1, 2008. — С. 307-315.

  8. Anureev I.S. An Approach to Formal Human-Oriented Specifications of Programming Languages // Proc. Workshop on Concurrency, Specification and Programming (CS&P’2006), Humboldt University, Berlin, 2006.

  9. Ануреев И.С. Онтологии и системы переходов // Материалы 11 национальной конференции по искусственному интеллекту с международным участием (КИИ-08), Дубна, 2008. — Том 3. — С. 173-180.

  10. Anureev I.S. Unified semantic language: syntax, semantics, and pragmatics // Joint NCC&IIS Bulletin, Series Computer Science. — 2004. — Vol. 20. — P. 1-30.

  11. Shilov N.V., Garanina N.O., Choe K.-M. Update and Abstraction in Model Checking of Knowledge and Branching Time. Fundameta Informaticae, 72(1-3), pp.347-361, 2006.

  12. Shilov N.V., Garanina N.O. Modal Logics for reasoning about Multiagent Systems. In Encyclopedia of Artificial Intelligence. J.R. Rabuсal, J. Dorado, A.P. Sierra, editors. Information Science Reference. 2008.

  13. Shilov N.V., Han S.-Y. A proposal of Description Logic on Concept Lattices. Proceedings of the Fifth International Conference on Concept Lattices and their Applications, 2007. CEUR Workshop Proceedings, v.331, pp.165-176, 2008.

  14. Shilov N.V., Garanina N.O. Model Checking Knowledge And Fixpoints. Proc. 4th Int. Workshop on Fixed Points on Computer Science, Copenhagen, Denmark, pp.25-39, 2002.

  15. Garanina N.O., Kalinina N.A., Shilov N.V. Model checking knowledge, actions and fixpoints. Proceedings of Concurrency, Specification and Programming Workshop CS&P'2004. Humboldt Universitat, Berlin, Informatik-Bericht, 170, pp.351-357, 2004.

  16. Shilov N.V., Garanina N.O. Well-structured Model Checking of Multiagent Systems. Lect. Notes Comput.Sci., 4378, pp.364-377, 2006.

  17. Shilov N.V. Realization Problem for Formal Concept Analysis. In Proceedings of the 21st International Workshop on Description Logics (DL2008). CEUR Workshop Proceedings, v.353, 2008.

  18. Гаранина Н.О. и Шилов Н.В. Верификация комбинированных логик знаний, действий и времени в моделях. – В сб. Системная информатика, вып.10. Новосибирск, Издательство СО РАН, 2006, С.114-173.

  19. Ануреев И.С., Бодин Е.В., Городняя Л.В., Марчук А.Г., Мурзин Ф.А., Шилов Н.В. Проблема классификации компьютерных языков // Материалы 11 национальной конференции по искусственному интеллекту с международным участием (КИИ-08), Дубна, 2008. — Том 3. — С. 199-207.

  20. Загорулько Ю. А., Боровикова О. И. Технология построения онтологий для порталов научных знаний // Вестник НГУ. Серия: Информационные технологии (ISSN 1818-7900), том 5, выпуск 2, -2007. -с. 42-52

  21. Загорулько Ю.А., Боровикова О.И. Подход к построению порталов научных знаний // Автометрия. № 1, 2008, т. 44, -с. 100–110..

  22. Yury Zagorulko, Olesya Borovikova. Methodology of Building and Using Ontology for Providing Content-Based Access to Scientific Information Resources. // New Trends in Software Methodologies, Tools, and Techniques. Proceedings of the six SoMeT_07, Rome, Italy. Hamido Fujita, Domenico M. Pisanelli (Eds.) – IOS Press, -Amsterdam, -2007. -P.105-115

  23. Загорулько Г.Б. Использование онтологий для представления и визуализации знаний и данных в медицинских диагностических системах // Тр. IX Междунар. конф. "Проблемы управления и моделирования в сложных системах". – Самара: Самарский Научный Центр РАН, 2007. – С. 434-440.

  24. Андреева О.А., Боровикова О.И., Булгаков С.В. и др. Археологический портал знаний: содержательный доступ к знаниям и информационным ресурсам по археологии // Тр. X национальной конф. по искусственному интеллекту с международным участием КИИ'2006. – М.: Физматлит, 2006. – Т. 3. – С. 832-840.

  25. Боровикова О.И., Загорулько Ю.А., Загорулько Г.Б., Кононенко И.С. Подход к построению портала знаний по компьютерной лингвистике // Тр. II Междунар. конф. "Системный анализ и информационные технологии" (10-14 сентября 2007 г., Обнинск, Россия). –М.: Издательство ЛКИ, 2007. – Т.1. – С. 126-129.

  26. Апанович З. В. Средства для работы с графами большого объема: построение и оптимизация компоновочных планов. // Системная информатика. Вып. 10: Методы и модели современного программирования. — Новосибирск: Издательство СО РАН — 2006. — С. 7-58.

  27. Апанович З.В. Методы интерактивной визуализации информации//Проблемы управления и моделирования в сложных системах: Труды X Международной конференции (Самара, 23-25 июля 2008 г.) .— 2008.— С. 478-489.

  28. E. Sidorova, Y. Zagorulko, I. Kononenko Knowledge-based approach to document analysis // International Jornal “Information technologies and Knowledge”, Vol. 2, Number 1, 2008. – pp.17–22.

  29. Ю.А. Загорулько, И.С. Кононенко, Е.А. Сидорова. Ю.В. Костов. Подход к интеллектуализации документооборота // "Информационные технологии" № 11, 2004, -с. 2-11.

  30. Е.А. Сидорова Интеллектуальная обработка документов // Искусственный интеллект, №4, Киев, 2004, с. 738-747

  31. Сидорова Е.А. Онтологический подход к представлению знаний для задачи анализа текстовых ресурсов // Материалы Всероссийской конференции с международным участием «Знания – Онтология – Теория» (ЗОНТ–07). Новосибирск: Институт математики им. С.Л. Соболева СО РАН, 2007. Т1. –С. 166-175.

  32. E. Sidorova, Yu. Zagorulko. Ontology-based approach to text analysis // Joint Bull. of NCC. Ser.: Comput. Sci. — 2007. — Is. 26. –P. 133-146.

  33. Sidorova E.A., Kononenko I.S., ZagorulkoYu.A. Automated Extraction of Facts from Internet-Documents. In: Computer Science and Information Technologies CSIT’2007. Ufa-Krasnousolsk, Russia, 2007, Vol. 1. –pp. 47-51. (Proceedings of the 7th International Workshop)

  34. Боровикова О.И., Загорулько Ю.А., Сидорова Е.А. Автоматизация сбора онтологической информации в Интернет-портале знаний // V международная конференция «Интеллектуальный анализ информации ИАИ-2005». Сборник трудов под редакцией Т.А. Таран. –Киев: Просвита, 2005. – С.82–91.

  35. Сидорова Е.А. Технология разработки тематических словарей на основе сочетания лингвистических и статистических методов // Труды международной конференции Диалог'2005 "Компьютерная лингвистика и интеллектуальные технологии". – Звенигород. М.: Наука, 2005. С.443-449.

  36. Загорулько Ю.А., Кононенко И.С., Сидорова Е.А. Семантический подход к анализу документов на основе онтологии предметной области // Компьютерная лингвистика и интеллектуальные технологии: Труды международной конференции Диалог’2006 "Компьютерная лингвистика и интеллектуальные технологии". – М.: Изд. РГГУ, 2006. – С.468–473.

  37. Сидорова Е.А. Подход к разработке лингвистических онтологий // Труды 11-ой национальной конференции по искусственному интеллекту с международным участием КИИ-2008 (г.Дубна, Россия). –М.: ЛЕНАНД, 2008. –Т.3. –С.181-189.

  38. Сидорова Е.А. Подход к построению предметных словарей по корпусу текстов // Труды международной конференции «Корпусная лингвистика –2008». –СПб.:С.-Петербургский гос. университет, Факультет филологии и искусств, 2008. –С.365-372.

  39. Batura T., Murzin F. Logical Methods for Representing Meaning of Natural Language Texts // 4th International Conference on Computational Science - ICCS 2004, Krakуw, Poland, June 6-9, 2004. Proceedings, Part III, LNCS 3038, p. 545 – 551.

  40. Батура Т.В., Мурзин Ф.А. О логических методах анализа текста на естественном языке // Междунар. научно-практическая конф. "Казахстанское общество: приоритеты и ключевые факторы конкурентоспособности", том 1, г. Тараз, Унивеситет "Аулие-Ата", Респ. Казахстан, 2007. - С. 240-245.

  41. Batura Tatyana, Murzin Feodor Logical Analysis of Texts in a Natural Language and a Sense Representation // Bull. of NCC. Ser.: Comput. Sci. — 2007. — Is. 26. - С. 147-158.

  42. D. Ponomaryov. Properties of relatively decomposable theories. // Материалы всероссийской конференции “Знания-Онтологии-Теории” (ЗОНТ-07), Новосибирск, 2007 – Т. I, С. 116-121.

  43. Н.А. Омельянчук, В.В. Миронова, Е.М. Залевский, И.С. Шамов, Н.Л. Подколодный, Д.К. Пономарев, Н.А. Колчанов. Извлечение знаний из опубликованных данных по генетике растений: база данных AGNS и ее приложения. // Материалы всероссийской конференции “Знания-Онтологии-Теории” (ЗОНТ-07), Новосибирск, 2007 – Т. II, С. 54-60.

  44. Morozov, D. Ponomaryov. The decomposability problem for finite Horn theories is undecidable. // Тез. международной конференции «Теория функций, алгебра и математическая логика», посвященная 90-летию академика А.Д. Тайманова, Алматы, 2007 – С. 89-90.

  45. Ponomaryov. Generalized decomposability notions for first-order theories. // Bulletin of the Novosibirsk Computing Center / Computer Science – Novosibirsk, 2007 – IIS Special Issue: 26 – В печати.

  46. Марчук А.Г., Марчук П.А. Платформа интеграции электронных архивов. // Электронные библиотеки: перспективные методы и технологии, электронные коллекции / Всероссийская научная конференция. – Переславль-Залесский, 2007 – Том 1, c. 89-94.

  47. Марчук П.А. Технологии создания распределенных фактографических информационных систем. // Исследовано в России / Электронный многопредметный научный журнал. – МФТИ, Москва, 2007 – 9с. – Рекомендована, но пока не размещена

  48. Марчук П.А. Использование специфических онтологий для хранения фактографических данных. // Сборник института систем информатики – Новосибирск, 2007 – 7с. – В печати

  49. Ponomaryov D. Semantic Web basics in logical consideration. // Proc. Applications of Semantic Technologies workshop at the Informatik-2006 conference, Dresden _ 2006 _ P.337-344.

  50. Пономарев Д.К. Проблема разложимости при формальном описании знаний. – Новосибирск, 2006 – 21 стр. – (Препр. / СО РАН. Ин-т систем информатики; N135).

  51. Ponomaryov D., Omelianchuk N, Kolchanov N., Mjolsness E., Meyerowitz E. Semantically rich ontology of anatomical structure and development for Arabidopsis thaliana (L.). // Proc. Bioinformatics of Genome Regulation and Structure (BGRS'2006), Novosibirsk _ 2006 _ P. 227-230.

  52. Mironova V.V., Poplavsky A.S., Ponomaryov D.K., Omelianchuk N.A. Ontology of Arabidopsis Genenet Supplementary Database(AGNS): Cross references to TAIR ontology. // Proc. Bioinformatics of Genome Regulation and Structure (BGRS'2006), Novosibirsk _ 2006 _ P. 209-212.

  53. Ponomaryov D., Omelianchuk N, Kolchanov N., Mjolsness E., Meyerowitz E. A program method for inferring relationships between phenotypic abnormalities of Arabidopsis. // Proc. Bioinformatics of Genome Regulation and Structure (BGRS'2006), Novosibirsk _ 2006 _ P. 231-234.

  54. Ponomaryov D. Lattice semantics for incremental data extraction from declarative knowledge bases. – Новосибирск 2006 – 13 с. – (Препр. / СО РАН. Ин-т систем информатики; N134).

  55. Пономарев Д.К. Задача разложимости элементарных теорий и проблема минимизации из аксиом // Тез. Конференции-конкурса “Технологии Microsoft в информатике и программировании”, Новосибирск, 22-24 февраля, 2006. –С. 213-215

  56. Miginsky D.S., Sokolov S.A., Labuzhsky V.V., Nikitin A.G., Tarancev I.G. Object-Oriented Approach to Bioinformatics Software Resources Integration// Proceedings Of The Fifth International Conference On Bioinformatics Of Genome Regulation And Structure (BGRS'2006), 2006, V.3, P.288-291. ISBN 5-7692-0848-1

  57. Ершов Ю.Л., Клименко О.А., Матвеева И.И., Рабинович Л.Р., Филиппов В.Э., Филиппова М.Я. Древовидный каталог математических Интернет-ресурсов // Информационные ресурсы России — 2006. — №1. — С. 5-8

  58. Батура Т.В., Мурзин Ф.А. Обработка поисковых запросов на естественном языке с помощью REFAL-подобных конструкций. // Проблемы интеллектуализации и качества систем информатики. ИСИ СО РАН, – Новосибирск, 2006. – С. 24 – 33.

  59. Батура Т.В., Мурзин Ф.А. Машинно-ориентированные методы анализа текста на естественном языке. Шестая междунар. Конф. Памяти акад. А.П. Ершова, Рабочий семинар “Наукоемкое программное обеспечение”. – Новосибирск, 2006. – С. 33 – 34.

  60. Батура Т.В., Мурзин Ф.А. О формировании речи человека и и анализе текстов на естественном языке// Междунар. научно-практическая конф. "Казахстан на этапе социально-политического и экономического развития в условиях глобализации", том 1, г. Тараз, Унивеситет "Аулие-Ата", Респ. Казахстан, 2008. - С. 271-273.

  61. Дунаев А.А. Исследовательская система для анализа текстов на естественном языке // Технологии Microsoft в теории и практике программирования. – Новосибирск, 2008. – С. 118 – 119.

  62. Перфильев А.А. Информационно поисковая система, ориентированная на использование лингвистических алгоритмов // Технологии Microsoft в теории и практике программирования. – Новосибирск, 2008. – С. 152 – 153.




страница 1


скачать

Другие похожие работы: