Русский | Home | Procedure of Аrticles Publication | Archive of Scientific Articles | About the Publishing

Archive of Scientific Articles

SOURCE:	Almanac of Modern Science and Education. Tambov: Gramota, 2014. № 7. P. 61-65.
SCIENTIFIC AREA:	Technical Sciences
Procedure of Scientific Articles Publication \| To Show Issue Content \| To Show All Articles in Section \| Subject Index

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

Gurevich Mikhail Il'ich
Novosibirsk State University

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, WordNet, automation of logical inference, improvement of logical inference

Open the whole article in PDF format. Free PDF-files viewer can be downloaded here.

References:

Vlasov D. Yu., Pal'chunov D. E., Stepanov P. A. Avtomatizatsiya izvlecheniya otnoshenii mezhdu ponyatiyami iz tekstov estestvennogo yazyka // Vestnik NGU. Seriya: Informatsionnye tekhnologii. 2010. T. 8. Vyp. 3. S. 23-33.
Lukashevich N. V. Tezaurusy v zadachakh informatsionnogo poiska. M.: Izdatel'stvo Moskovskogo universiteta, 2011. 512 s.
Pal'chunov D. E. Modelirovanie myshleniya i formalizatsiya refleksii. Ch. 2. Ontologii i formalizatsiya ponyatii // Filosofiya nauki. 2008. № 2 (37). S. 62-99.
Pal'chunov D. E. Poisk i izvlechenie znanii: porozhdenie novykh znanii na osnove tekstov estestvennogo yazyka // Filosofiya nauki. 2009. № 4 (43). S. 70-90.
Pal'chunov D. E., Yakh"yaeva G. E., Khamutskaya A. A. Programmnaya sistema upravleniya informatsionnymi riskami RiskPanel // Programmnaya inzheneriya. 2011. № 7. S. 29-36.
Russkii WordNet [Elektronnyi resurs]. URL: http://wordnet.ru/ (data obrashcheniya: 02.03.2014).
Yakh"yaeva G. E., Yasinskaya O. V. Metody soglasovaniya znanii po komp'yuternoi bezopasnosti, izvlechennykh iz razlichnykh dokumentov // Vestnik NGU. Seriya: Informatsionnye tekhnologii. 2013. T. 11. Vyp. 3. S. 63-73.
Yakh"yaeva G. E., Yasinskaya O. V. Primenenie metodologii pretsedentnykh modelei v sisteme risk-menedzhmenta, napravlennogo na rannyuyu diagnostiku komp'yuternogo napadeniya // Vestnik NGU. Seriya: Informatsionnye tekhnologii. 2012. T. 10. Vyp. 2. S. 106-115.
Cycorp Documentation [Elektronnyi resurs]. URL: http://www.cyc.com/documentation (data obrashcheniya: 02.03.2014).
Ontology (Information Science) [Elektronnyi resurs]. URL: https://en.wikipedia.org/wiki/Ontology_(computer_science) (data obrashcheniya: 01.04.2014).
Prolog [Elektronnyi resurs]. URL: http://progopedia.ru/language/prolog/ (data obrashcheniya: 01.03.2014).
Prover9 and Mace4 [Elektronnyi resurs]. URL: http://www.cs.unm.edu/~mccune/prover9/ (data obrashcheniya: 23.02.2014).
The Open Biological and Biomedical Ontologies [Elektronnyi resurs]. URL: http://obofoundry.org/ (data obrashcheniya: 01.05.2014).
Web Ontology Language (OWL) [Elektronnyi resurs]. URL: http://www.w3.org/2001/sw/wiki/OWL (data obrashcheniya: 13.05.2014).
WordNet [Elektronnyi resurs]. URL: https://en.wikipedia.org/wiki/WordNet (data obrashcheniya: 23.02.2014).

Procedure of Scientific Articles Publication | To Show Issue Content | To Show All Articles in Section | Subject Index