Non-procedural problem-solving models in next-generation intelligent computer systems
In the article, an approach to the design of problem solvers of intelligent systems based on nonprocedural models is considered. The developed approach makes it possible to integrate any problem-solving models, including the principles of logical inference, to solve problems based on a general formal model.