Pan-Art Pedagogy. Theory & Practice Philology. Theory & Practice Manuscript

Archive of Scientific Articles

ISSUE:    Almanac of Modern Science and Education. 2014. Issue 7
COLLECTION:    Technical Sciences

All issues

License Agreement on scientific materials use.

DEVELOPING AUTOMATION METHOD OF AUGMENTATION OF SET OF QUANTIFIER-FREE STATEMENTS WITH NEW ONES ON THE BASIS OF SUBJECT FIELDS ONTOLOGIES

Mikhail Il'ich Gurevich
Novosibirsk State University
Submitted: June 11, 2014
Abstract. The article deals with the automatic augmentation of the statements set with true ones that are not explicitly contained in the source. Quantifier-free statements act as an object of augmentation, and information from subject field ontology acts as a method. Necessary conditions for such augmentation are denoted; the technical realization of augmentation and logical inference is described. The examples of the developed approach application in the framework of logical inference systems are also given.
Key words and phrases:
пополнение множества бескванторных предложений
онтологии
WordNet
автоматизация логического вывода
улучшение логического вывода
augmentation of set of quantifier-free statements
ontologies
automation of logical inference
improvement of logical inference
Reader Open the whole article in PDF format. Free PDF-files viewer can be downloaded here.
References:
  1. Власов Д. Ю., Пальчунов Д. Е., Степанов П. А. Автоматизация извлечения отношений между понятиями из текстов естественного языка // Вестник НГУ. Серия: Информационные технологии. 2010. Т. 8. Вып. 3. С. 23-33.
  2. Лукашевич Н. В. Тезаурусы в задачах информационного поиска. М.: Издательство Московского университета, 2011. 512 с.
  3. Пальчунов Д. Е. Моделирование мышления и формализация рефлексии. Ч. 2. Онтологии и формализация понятий // Философия науки. 2008. № 2 (37). С. 62-99.
  4. Пальчунов Д. Е. Поиск и извлечение знаний: порождение новых знаний на основе текстов естественного языка // Философия науки. 2009. № 4 (43). С. 70-90.
  5. Пальчунов Д. Е., Яхъяева Г. Э., Хамутская А. А. Программная система управления информационными рисками RiskPanel // Программная инженерия. 2011. № 7. С. 29-36.
  6. Русский WordNet [Электронный ресурс]. URL: http://wordnet.ru/ (дата обращения: 02.03.2014).
  7. Яхъяева Г. Э., Ясинская О. В. Методы согласования знаний по компьютерной безопасности, извлеченных из различных документов // Вестник НГУ. Серия: Информационные технологии. 2013. Т. 11. Вып. 3. С. 63-73.
  8. Яхъяева Г. Э., Ясинская О. В. Применение методологии прецедентных моделей в системе риск-менеджмента, направленного на раннюю диагностику компьютерного нападения // Вестник НГУ. Серия: Информационные технологии. 2012. Т. 10. Вып. 2. С. 106-115.
  9. Cycorp Documentation [Электронный ресурс]. URL: http://www.cyc.com/documentation (дата обращения: 02.03.2014).
  10. Ontology (Information Science) [Электронный ресурс]. URL: https://en.wikipedia.org/wiki/Ontology_(computer_science) (дата обращения: 01.04.2014).
  11. Prolog [Электронный ресурс]. URL: http://progopedia.ru/language/prolog/ (дата обращения: 01.03.2014).
  12. Prover9 and Mace4 [Электронный ресурс]. URL: http://www.cs.unm.edu/~mccune/prover9/ (дата обращения: 23.02.2014).
  13. The Open Biological and Biomedical Ontologies [Электронный ресурс]. URL: http://obofoundry.org/ (дата обращения: 01.05.2014).
  14. Web Ontology Language (OWL) [Электронный ресурс]. URL: http://www.w3.org/2001/sw/wiki/OWL (дата обращения: 13.05.2014).
  15. WordNet [Электронный ресурс]. URL: https://en.wikipedia.org/wiki/WordNet (дата обращения: 23.02.2014).
All issues


© 2006-2025 GRAMOTA Publishing