В работе предложен метод вывода следствий в исчислении предикатов первого порядка на основе исходных правил и фактов базы знаний из новых поступивших фактов. Метод позволяет получать ответ на вопрос: «Какие следствия (выводимые факты) могут быть получены при имеющемся наборе исходных посылок в изменившихся обстоятельствах внешней среды, характеризуемых новыми поступившими фактами?». Практические задачи, сводимые к данной формулировке, возникают в таких областях, как принятие решений, прогнозирование, мониторинг, диагностика, формальная верификация и других. Метод реализует разновидность дедуктивного вывода и базируется на операции деления дизъюнктов. В статье представлены: формальная постановка задачи вывода следствий, описание процедур частичного и полного деления дизъюнктов, процедуры вывода и метода вывода. Работа процедур и метода иллюстрируется на примерах.
This paper presents a method of sequences inference in predicate calculus on the basis of the initial rules and facts of knowledge base from the new evidence received. The method allows to obtain an answer to the question «What 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?». Practical problems, reducible to this formulation, occur in such areas as decision making, forecasting, monitoring, diagnostics, formal verification and other. The method implements a kind of deductive inference and based on the disjuncts division operation. The paper presents: a formal statement of the problem the sequences inference, the description of the partial and complete disjuncts division procedures, inference procedure and inference method. Working of procedures and method are illustrated by examples.
1. Вагин В.Н. Достоверный и правдоподобный вывод в интеллектуальных системах / В.Н. Вагин, Е.Ю. Головина, А.А. Загорянская, М.В. Фомина. – М.: ФизМатЛит, 2008. – 712 с.
2. Вагин В.Н., Кутепов В.П., Хотимчук К.Ю. Параллельный логический вывода на многоядерном компьютере // Вестник Московского энергетического института. – 2011. – № 3. – C. 82–87.
3. Страбыкин Д.А. Логическое прогнозирование развития ситуаций в интеллектуальных системах на основе дедуктивного вывода. – Киров: Изд-во Вят. гос. ун-та, 2014. – 182 с.
4. Страбыкин Д.А. Логический вывод в системах обработки знаний. – СПб.: Изд-во СПбГЭТУ, 1998. – 164 с.
5. Чери С. Логическое программирование и базы данных / С. Чери, Г. Готлоб, Л. Танка. – М.: Мир, 1992. – 352 с.
6. Элти Дж. Экспертные системы: концепции и примеры / Дж. Элти, М. Кубс. – М.: Финансы и статистика, 1987. – 192 с.
7. Dolgenkova M.L., Chistyakov G.A. Sequences Inference Method out of New Facts by Disjuncts Division in Predicate Calculus (Example) [Электронный ресурс]. – URL: https://zenodo.org/record/57859 (дата обращения 23.08.2007).
8. Meltsov V.Yu. High-Perfomance Systems of Deductive Inference // Yelm, WA. – USA: Science Book Publishing House, 2014. 216 p.
9. Russell S.J. Artificial Intelligence: A Modern Approach / S.J. Russell, P. Norvig // Pearson Education. – 2009. – 1104 p.