Вывод сложных суждений как инструмент понятийного мышления интеллектуальных мобильных систем

Обоснована целесообразность разработки инструментальных средств автоматического формирования суждений как одного из мыслительных актов понятийного мышления интеллектуальных мобильных систем различного назначения. Применение таких средств вывода суждений позволяет сформировать недостающие для принятия решений знания в процессе планирования целенаправленного поведения в априори неописанных условиях проблемной среды. Для решения данной проблемы в качестве исходных элементов представления знаний использованы условно - зависимые предикаты обеспечивающие возможность вывода как простых, так и сложных суждений определяющих различные закономерности целенаправленного преобразования текущих условий функционирования. Разработаны инструменты позволяющие формировать сложные суждения из простых суждений, полученных путем означивания переменных сорта «объекты» и «отношения» условно зависимых предикатов объектами, находящимися в проблемной среде и оценками отношений, которые наблюдаются в ней между данными объектами. В качестве примера показывающего эффективность использования предложенных инструментальных средств получения новых недостающих для вывода решений знаний, построен алгоритм планирования целенаправленного поведения автономного мобильного подводного робота обеспечивающий ему возможность выполнять достаточно сложные задания, связанные с поиском различных объектов, обладающих определенными свойствами и их перевозкой в заданную точку проблемной среды.

The expediency of developing tools for automatic formation of judgments as one of the mental acts of conceptual thinking of intelligent mobile systems for various purposes has been substantiated. The use of such means of inference makes it possible to form the knowledge that is missing for decision-making in the process of planning purposeful behavior in a priori undescribed conditions of a problematic environment. To solve this problem, conditionally dependent predicates were used as the initial elements of knowledge representation, providing the ability to derive both simple and complex judgments that determine various patterns of purposeful transformation of the current conditions of functioning. Tools have been developed that allow to form complex judgments from simple judgments obtained by designating variables of the sort "objects" and "relations" of conditionally dependent predicates by objects located in a problematic environment and estimates of relations that are observed in it between these objects. As an example showing the effectiveness of using the proposed tools for obtaining new knowledge that is missing for the conclusion of solutions, an algorithm for planning the purposeful behavior of an autonomous mobile underwater robot has been built, which provides it with the ability to perform rather complex tasks related to the search for various objects with certain properties and their transportation to a given point of the problem Wednesday.