Изоморфизм формул исчисления предикатов в задачах Искусственного Интеллекта

В работе излагается применение понятия изоморфизма элементарных конъюнкций формул исчисления предикатов к решению некоторых задач Искусственного Интеллекта и уменьшению их вычислительной сложности. Даны основные определения, необходимые для понимания. Описаны основные идеи решения таких задач, как “задание метрики в пространстве элементарных конъюнкций предикатных формул”; построение “многоуровневого описания классов в задачах распознавания”, существенно снижающего вычислительную сложность задач при их многократном решении; построение “логических баз данных”; построение “логических онтологий”; формирование “предикатной сети”; формирование “нечёткой предикатной сети”. Библ. – 15 назв.