Abstract
One of the promising areas for using Prolog-systems is to solve logical tasks. This study outlines a solution approach based on the state generation procedure and the verification procedure. A solution to a logical task is presented, which demonstrates in practice the proposed approach and method of specifying a procedure for generating states. In the proposed example, a bit chain is generated that defines the code of a particular letter in the solution of the applied problem. Building a solution by means of code generation with verification allows not storing in the knowledge base a binary tree of all possible codes. The process of generating new states can be associated with the training of the program, with the dynamic formation of the knowledge base. The approach is based on the capabilities of software environments for adding facts and rules to existing ones, which were obtained as the results of the program or its stages. In this case, the entire program is the generating rule. An analysis of the constructed and tested procedures for the dynamic generation of states and the generation of facts allows us to talk about the applicability of such a solution for certain applied problems.
Highlights
Одним из перспективных направлений использования языка Prolog является решение логических задач
Процесс генерации новых состояний можно связать с обучением программы и с динамическим формированием базы знаний
This study outlines a solution approach based on the state generation procedure and the verification procedure
Summary
Одним из перспективных направлений использования языка Prolog является решение логических задач. Ключевые слова: Prolog, база знаний, предикаты, логические задачи, дерево решений, процедура генерации состояний. В этом случае Prolog-программу можно рассматривать как базу знаний, реализующую выполнение двух процедур: 1) построение претендента на решение и 2) согласование претендента с имеющимся набором фактов и правил. Целью данной работы является анализ вычислительной базы Prolog-системы для построения генераторов состояний. Проверяемые условия или правила также могут корректироваться по ходу поиска Prolog-системой решения, например с учетом уже добавленных состояний в динамическую базу знаний. В этом случае на этапе проектирования базы знаний программы их следует вывести и формализовать либо получить знания о правилах динамической генерации самих правил, поскольку можно построить и реализовать обобщенную модель знаний о знаниях предметной области решаемой задачи. Поиск всех возможных вариантов (с учетом максимальной длины кода) выполнен намеренно, чтобы подчеркнуть возможности процедуры генерации состояний для объекта (кодовых слов) для решения подобных задач. Поэтому решение описанной выше задачи можно завершить при первой удачной проверке сгенерированного программой кода
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
