Принцип VI (фальсифицируемость и аргументируемость результатов работы Решателя)
Под декларативным знанием понимают систему утверждений, которая определяет класс решаемых задач. Таковыми утверждениями являются дескриптивные утверждения, характеризующие как предметную область, так и структуру данных, представленных, в частности, в БФ (примерами структур данных являются булевские структуры, а также структуры данных, в которых объектами являются графы, пространственные графы… Читать ещё >
Принцип VI (фальсифицируемость и аргументируемость результатов работы Решателя) (реферат, курсовая, диплом, контрольная)
Уточним предварительно идею «знание в компьютерной системе». Знания в компьютерной системе (КС) подразделяются на процедурные и декларативные. Под процедурными знаниями понимают задание алгоритмов и их комбинаций, применяемых в Решателе для достижения цели, и представимой классом задач. Процедурными знаниями являются стратегии решения задач, образованные посредством комбинирования различных видов рассуждений и вычислений, которые, соответственно, осуществляются Рассуждателем и Вычислителем. Взаимодействие же Рассуждателя и Вычислителя производится Синтезатором.
Под декларативным знанием понимают систему утверждений, которая определяет класс решаемых задач. Таковыми утверждениями являются дескриптивные утверждения, характеризующие как предметную область, так и структуру данных, представленных, в частности, в БФ (примерами структур данных являются булевские структуры, а также структуры данных, в которых объектами являются графы, пространственные графы, системы отношений и т. п.).
Декларативными знаниями в ИС являются также утверждения, выражающие в импликативном виде (если …, то …) правила правдоподобного вывода Рассуждателя (в том числе правила вывода в КПЭ-рассуждениях для индукции и аналогии). Эти утверждения входят в метатеорию ИС и создают возможность исследования процесса функционирования ИС на логическом уровне. Если КС есть ИС, то цель Р1 достигается посредством осуществления Принципа V, применяемого к БФ и БЗ.
Обозначим множество декларативных знаний ИС посредством, тогда применение Решателя к объединению и БФ представим как Решатель (БФ)= [R], где R=БФ, Решатель — упорядоченная пара, называемая каркасом ИС, а [R] - множество всех результатов применения Решателя к БФ.
Принцип VI состоит в том, что в ИС должны содержаться средства фальсификации результатов применения Решателя к БФ. Таковыми могут быть утверждения из, которые накладывают ограничения на [R], или же автоматически порожденные фальсификаторы, которые извлекаются из отрицательных примеров БФ и запрещают некоторые гипотезы, порождаемые Решателем.
Аргументируемость результатов из [R] означает, что порождаемые Решателем гипотезы имеют аргументы за их применение и не имеют контраргументов, их запрещающих. Очевидно, что этот принцип ИАД соответствует интеллектуальной способности (5) и свойству А6 КПЭ-рассуждений.