Журналы
Email: Пароль: Войти Регистрация
E-mail: ndpetukhova@gmail.com

Cтарший преподаватель и аспирантка кафедры математики Санкт-Петербургского государственного морского технического университета.

Статьи автора:

Статья посвящена изложению алгоритма выделения максимальной общей с точностью до имён переменных подформулы двух элементарных конъюнкций атомарных предикатных формул. Предлагаемый алгоритм использует введённую ранее автором модификацию обратного метода Маслова, а также Муравьиные тактики и параллельные вычисления. Проблема выделения максимальной общей с точностью до имён переменных подформулы предикатных формул имеет достаточно широкое применение при построении эффективных алгоритмов решения задач искусственного интеллекта, допускающих формализацию средствами исчисления предикатов. Приведены асимптотические оценки числа шагов работы описанного алгоритма. С. 17-25.

The article is devoted to the describing of an algorithm which extract a maximal common up to the names of variables sub-formula of two elementary conjunctions of atomic predicate formulas. The offered algorithm uses the proposed earlier by the author modification of inverse method of S. Yu. Maslov as well as Ant tactics and concurrent processing. The problem of the extraction of a maximal common up to the names of variables sub-formula of predicate formulas has wide enough application while development of an effective algorithm solving an Artificial Intelligence problem permitting its description in the frameworks of predicate calculus language. Asymptotic estimates of the number of run steps for the described algorithm are formulated.

Ключевые слова: искусственный интеллект, логико-предметное распознавание образов, исчисление предикатов, сложность алгоритмов, обратный метод Маслова, параллельные вычисления, неполная выводимость.
Keywords: artificial intelligence, logic-objective approach to pattern recognition, predicate calculus, complexity theory, inverse method of S. Yu. Maslov, concurrent processing, partial deducibility.
Статья посвящена модификации Обратного метода Маслова для особой формы предикатных формул, используемых для решения задач искусственного интеллекта, допускающих формализацию средствами исчисления предикатов. Приведен и обоснован алгоритм доказательства выводимости формул особого типа, основанный на обратном методе. Получены оценки числа шагов работы этого алгоритма. Рассмотрен пример применения алгоритма для выделения и распознавания заданного объекта из составного. С. 9-20.

The paper is devoted to the modifying of Maslov inverse method for a special form of predicate formulas used in the solution of an artificial intelligence problem permitting its setting in the frameworks of predicate calculus. An algorithm based on the inverse method application for such a type formula is justified. Upper and lower bounds of the number of steps of the proposed algorithm are obtained. An example of the extraction and recognition of a given object included into a complex one by means of the presented algorithm is regarded.

Ключевые слова: искусственный интеллект, логико-предметное распознавание образов, исчисление предикатов, обратный метод Маслова.
Keywords: artificial intelligence, logic-objective approach to pattern recognition, predicate calculus, inverse method of S.Yu.Maslov, complexity theory.
Для пополнения баланса выберите страну, оператора и отправьте СМС с кодом на указанный номер. Отправив одну смс, вы получаете доступ к одной статье.
Закрыть