В работе предложен метод вывода следствий в исчислении предикатов первого порядка из новых фактов, в случае, когда база знаний не полностью определена. Метод позволяет получать ответ на вопрос: «Какие следствия (выводимые факты) могут быть получены при имеющемся наборе исходных посылок в изменившихся обстоятельствах внешней среды, характеризуемых новыми поступившими фактами и какие дополнительные факты могут потребоваться для получения этих следствий?» Подобные задачи возникают во многих областях человеческой деятельности: прогнозирование, мониторинг, диагностика, формальная верификация и других. Метод базируется на операции деления дизъюнктов. В статье представлены: формальная постановка задачи вывода следствий на основе не полностью определенной базы знаний, описание процедур частичного и полного деления дизъюнктов, процедуры вывода и метода вывода. Работа метода иллюстрируется на примере.
The paper presents the method of sequences inference in predicate calculus of the new facts in the case where the knowledge base is not fully defined. The method allows to obtain an answer to the question: «What are the sequences (deducible facts) can be obtained by having a set of basic assumptions in the changed circumstances of external environment characterized by new facts entered and what additional facts may be required to produce these sequences?». Similar problems arise in many areas of human activity: forecasting, monitoring, diagnostics, formal verification and others. The method is based on the disjuncts division operation. The paper presents: a formal statement of the problem of the sequences inference with not fully defined knowledgebase, the description of the partial and complete disjuncts division procedures, inference procedure and inference method. Working of method are illustrated by example.
1. Вагин В.Н. Достоверный и правдоподобный вывод в интеллектуальных системах / В. Н. Вагин, Е.Ю. Головина, А.А. Загорянская, М.В. Фомина. – М.: ФизМатЛит, 2008. – 712 с.
2. Вагин В.Н., Кутепов В.П., Хотимчук К.Ю. Параллельный логический вывода на многоядерном компьютере // Вестник Московского энергетического института. – 2011. – № 3. – C. 82–87.
3. Долженкова М.Л., Мельцов В.Ю., Страбыкин Д.А., Чистяков Г.А. Метод вывода следствий из новых фактов делением дизъюнктов в исчислении предикатов // Современные наукоемкие технологии. – 2016. – № 9–1. – С. 28–35.
4. Страбыкин Д.А. Логическое прогнозирование развития ситуаций в интеллектуальных системах на основе дедуктивного вывода / Д.А. Страбыкин. – Киров: Изд-во Вят. гос. ун-та, 2014. – 182 с.
5. Страбыкин Д.А. Логический вывод в системах обработки знаний / Д.А. Страбыкин. – СПб.: Издательство СПбГЭТУ, 1998. – 164 с.
6. Чери С. Логическое программирование и базы данных / С. Чери, Г. Готлоб, Л. Танка. – М.: Мир, 1992. – 352 с.
7. Dolgenkova M.L., Chistyakov, G.A. Out of New Facts Sequences Inference Method Based on Not Fully Defined Knowledgebase in Predicate Calculus (Example) [Электронный ресурс] // URL: https://zenodo.org/record/163473 (дата обращения: 27.10.2016).
8. Meltsov V.Yu. High-Perfomance Systems of Deductive Inference // Yelm, WA, USA: Science Book Publishing House, 2014. – 216 p.