Процедурный характер систем научного знания

5.1 Операции, действия, процессы, процедуры и алгоритмы

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

Более глубокий подход к этому вопросу обнаруживает сложное строение таких подсистем. Они оказываются такими же необходимыми и неотъемлемыми частями систем, как их логико-лингвистическая и модельно – репрезентативная подсистемы.

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

Характеристики процедурной системы (описаний, действий, процессов, операций, алгоритмов, методов):

1) Действиями называются единичные элементы, из которых складывается научная деятельность, направленная и регулируемая конкретной системой знаний;

2) Процессом называется система взаимосвязанных действий, в которой выделены начальное и конечное действия;

3) Операцией называется реализация соответствия, т.е. преобразования каждого исходного объекта во вполне определённый результат, или, по- другому, реализация некоторой функции.

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

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

Конструктивно заданная система правил выполняется определённой операцией (не обязательно конструктивной), которая называется процедурной (инструкцией). Алгоритмом называется процедура, которая удовлетворяет дополнительному требованию, состоящему в том, что все предполагаемые ею выполняемые операции являются конструктивными.Алгоритмы можно считать формализованными процедурами. Они отличаются большой точностью и использованием только реализуемых операций.

Менее чёткими, чем процедуры, могут быть действия. Объединение действий в цепочку в промышленности, которое называется технологией, является технологической картой. Превращение всех этих действий (технологической карты) в алгоритм создаёт возможность автоматизации выполнения её предписаний.

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

К методамотносятся процедуры, порядок которых больше единицы, т.е.способов исполнения процедуры возможно больше, чем один. Описаний может быть довольно много для какой- либо процедуры как на естественном языке, так и на специализированных ( Фортран, Паскаль и др).

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

5.2 Реализуемость и сложность как оценки действий и операций

Специальными видами реализуемости процедур и алгоритмов являются абстрактная, теоретическая и практическая реализуемости.

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

Сложность реализации, как категория оценки действий и операций достижения цели, включает в себя:

- концептуальные трудности описания проблемной ситуации, понимания задачи,

- необходимость перевода задачи на язык имеющихся систем знаний, теоретического моделирования объектов её предметной области,

- возможность создания условий для практической реализации имеющихся знаний.

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

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

Теория сложности различает статические и динамические типы сложности. Статические меры сложности характеризуют объём описания (представления) алгоритма действий. Динамические – показывают затраты ресурсов, которые требуются для реализации алгоритма получения результата. Аналогично могут быть проанализированы и другие оценки, связанные с операционной системой научного знания, например, с позиции удобства пользователя, по критериям оценки, понятности, достижимости, рациональности, универсальности.