Решение некоторого класса логических задач на основе предикатных моделей с генератором состояний

Olga N Polovikova,Alexey V Zenkov

doi:10.32603/2071-2340-2019-1-54-67

Abstract

In this study, the method of solving logic tasks by declarative language Prolog based on the method of searching in the space of configurations is identified and analyzed. The essence of the method is to declare the generator of configurations, which forms the search space, and the selection procedure for sifting the constructed States according to a certain principle. The study proposes a classification of solutions by this method. Described a formal model of the decision of following problems: The generalized problem of the crossing, The task of the blood work and The problem of constructing code words.  For the description of objects and their configurations it is offered to use bit chains, and for generation of the next state - bit operations. The described approaches to the construction of the desired options allow us to find all possible solutions of a given dimension.  The perspectives of the generating rules of the knowledge base. The examples of declarative models obtained in the course of the study are used in teaching the course  <<functional and logical programming>> at the Altai State University.

Highlights

В этом случае соответствующие предикаты построят и проверят варианты для искомого бинарного кода в рамках заданных ограничений по размерности и сформируют пустой результирующий список
In this study, a method for solving Logical Tasks in the declarative language Prolog is identified and analyzed using the State Space Search Method. The essence of this method is to declare a State Generator, which forms the Search Space, and a Selection Procedure for sifting the constructed states according to a certain principle
Solving a Certain Class of Logical Tasks on the Prolog Language by Declaring State Generators

Summary

ВВЕДЕНИЕ

Проблематика машинного решения задач, в том числе и логических, обозначилась в ранних исследованиях по искусственному интеллекту [1]. Решение некоторого класса логических задач на языке Prolog декларированием генераторов состояний метода решения — поиск в пространстве состояний. Как и для любого способа автоматического решения задач, данный метод определяется двумя аспектами: представление и поиск. Вопрос о выборе представления – общий для любого способа решения задач, но, к сожалению, в исследованиях по искусственному интеллекту ещё не выработано универсального автоматического метода для нахождения искусных формулировок задачи [2, с. Высокоуровневые языки логического программирования зарекомендовали себя как инструмент поиска решения нетривиальных задач различного уровня сложности и не только в области искусственного интеллекта [5,6,7,8]. В рамках данного исследования ограничимся построением генераторов для некоторого класса логических задач декларативным языком Prolog. В. Результатом данного исследования является построение и анализ предикатных моделей решения для некоторого класса логических задач методом поиска в пространстве состояний. В работе предложена классификация подходов построения элементов пространства состояний, а также представлены способы декларирования самих генераторов

КЛАССИФИКАЦИИ РЕШЕНИЙ НА ОСНОВЕ МЕТОДА ПОИСКА В ПРОСТРАНСТВЕ СОСТОЯНИЙ

ШАБЛОНЫ МОДЕЛЕЙ РЕШЕНИЯ ЛОГИЧЕСКИХ ЗАДАЧ НА ЯЗЫКЕ PROLOG

ГЕНЕРАЦИЯ САМИХ ПРЕДИКАТОВ В МОДЕЛЯХ РЕШЕНИЯ