|
Лицензионное соглашение об использовании научных материалов.
|
РАЗРАБОТКА МЕТОДА АВТОМАТИЗАЦИИ ПОПОЛНЕНИЯ МНОЖЕСТВА БЕСКВАНТОРНЫХ ПРЕДЛОЖЕНИЙ НОВЫМИ НА ОСНОВЕ ОНТОЛОГИЙ ПРЕДМЕТНЫХ ОБЛАСТЕЙ
|
Гуревич Михаил Ильич
Новосибирский государственный университет
|
|
Дата поступления рукописи в редакцию:
11 июня 2014
г.
|
|
Аннотация.
Статья посвящена проблеме автоматического пополнения множества предложений истинными, которые явно не содержатся в исходном. В качестве объекта пополнения выступают бескванторные предложения, а в качестве способа - информация из онтологии предметной области. Обозначаются необходимые условия для такого пополнения, описывается техническая реализация пополнения и логического вывода. Также приводятся примеры использования разработанного подхода в рамках систем логического вывода.
|
Ключевые слова и фразы:
пополнение множества бескванторных предложений
онтологии
WordNet
автоматизация логического вывода
улучшение логического вывода
augmentation of set of quantifier-free statements
ontologies
automation of logical inference
improvement of logical inference
|
|
Открыть
полный текст статьи в формате PDF. Бесплатный просмотрщик PDF-файлов можно скачать здесь.
|
|
Список литературы:
- Власов Д. Ю., Пальчунов Д. Е., Степанов П. А. Автоматизация извлечения отношений между понятиями из текстов естественного языка // Вестник НГУ. Серия: Информационные технологии. 2010. Т. 8. Вып. 3. С. 23-33.
- Лукашевич Н. В. Тезаурусы в задачах информационного поиска. М.: Издательство Московского университета, 2011. 512 с.
- Пальчунов Д. Е. Моделирование мышления и формализация рефлексии. Ч. 2. Онтологии и формализация понятий // Философия науки. 2008. № 2 (37). С. 62-99.
- Пальчунов Д. Е. Поиск и извлечение знаний: порождение новых знаний на основе текстов естественного языка // Философия науки. 2009. № 4 (43). С. 70-90.
- Пальчунов Д. Е., Яхъяева Г. Э., Хамутская А. А. Программная система управления информационными рисками RiskPanel // Программная инженерия. 2011. № 7. С. 29-36.
- Русский WordNet [Электронный ресурс]. URL: http://wordnet.ru/ (дата обращения: 02.03.2014).
- Яхъяева Г. Э., Ясинская О. В. Методы согласования знаний по компьютерной безопасности, извлеченных из различных документов // Вестник НГУ. Серия: Информационные технологии. 2013. Т. 11. Вып. 3. С. 63-73.
- Яхъяева Г. Э., Ясинская О. В. Применение методологии прецедентных моделей в системе риск-менеджмента, направленного на раннюю диагностику компьютерного нападения // Вестник НГУ. Серия: Информационные технологии. 2012. Т. 10. Вып. 2. С. 106-115.
- Cycorp Documentation [Электронный ресурс]. URL: http://www.cyc.com/documentation (дата обращения: 02.03.2014).
- Ontology (Information Science) [Электронный ресурс]. URL: https://en.wikipedia.org/wiki/Ontology_(computer_science) (дата обращения: 01.04.2014).
- Prolog [Электронный ресурс]. URL: http://progopedia.ru/language/prolog/ (дата обращения: 01.03.2014).
- Prover9 and Mace4 [Электронный ресурс]. URL: http://www.cs.unm.edu/~mccune/prover9/ (дата обращения: 23.02.2014).
- The Open Biological and Biomedical Ontologies [Электронный ресурс]. URL: http://obofoundry.org/ (дата обращения: 01.05.2014).
- Web Ontology Language (OWL) [Электронный ресурс]. URL: http://www.w3.org/2001/sw/wiki/OWL (дата обращения: 13.05.2014).
- WordNet [Электронный ресурс]. URL: https://en.wikipedia.org/wiki/WordNet (дата обращения: 23.02.2014).
|
