Теория S-символов: формализация знаний об S-задачах

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