Об организации баз знаний, ориентированных на автоматическое решение задач

В работе описывается схема организации и использования баз знаний, хранящих многообразия приемов автоматического решения задач. На основе этой схемы была разработана и отлажена процедура автоматического решения задач из некоторых разделов элементарной математики. Процессы решения задач данной процедурой носят, в основном, градиентный характер, и лишь изредка в них возникает ветвление, приводящее к появлению элементов перебора. Последовательность предпринимаемых здесь действий, после определенной регулировки управляющей компоненты рассматриваемых приемов, почти не отличается от естественной последовательности действий при решении задач человеком. Предлагаемая общая схема упрощает согласование друг с другом процедур решения задач из различных предметных областей и разработку энциклопедических процедур решения задач, охватывающих сразу многие предметные области.