Action Planning Logic in Intelligent IT Systems Using the Example of Bots

The logic of action planning adopted in the adaptive technology Smart Plus is considered. The key features of the approach adopted here include distinguishing between two formalisms (action planning and organization of interaction); a two-level action planning formalism; sensory data; the possibility of dynamic type generation; and the assumption of a negative result from the actions performed. The proposed formal action planning system allows the user to define the process of choosing a behaviour as an action planning process. In the framework of the formal action planning system proposed in this paper, the concept of goal attainability is formalized in terms of plans, and a foundation is created for effective inference procedures. A general approach to the automated creation of bots based on logical and linguistic models has been proposed. A general scheme of the web-based system using the chatbot was developed. One of the key features of this solution is the automation of the chain of activities, the implementation of which leads to the fulfilment of the user's query.