Естественные и технические науки, № 6, 2014 Теоретические основы информатики Лютикова Л.А., кандидат физикоматематических наук, зав. отделом Научно-исследовательского института прикладной математики и автоматизации Кабардино-Балкарского научного центра Российской академии наук ЛОГИЧЕСКИЙ ПОДХОД К МОДЕЛИ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ В статье рассматривается логический подход к представлению знаний. <...> Предлагаемый метод моделирует систему знаний по исходным данным, минимизирует предметную область до необходимого набора правил, что существенно сокращает объемы используемой информации, осуществляет быстрый и качественный вывод. <...> Использование в качестве кодируемого алфавита предикатов с переменной значностью повышает выразительность характеристик и оптимизирует представление данных. <...> Ключевые слова: база знаний, интеллектуальная система, логика предикатов, переменозначный предикат, решающая функция, класс, предметная область, алгоритм минимизации. <...> The proposed method simulates a system of knowledge from raw data, minimizes the subject area to the required set of rules, which significantly reduces the volume of the information used, provides a fast and qualitative conclusion Use as a coded alphabet predicate variable valence increases expressiveness and optimizes performance reporting. <...> Keywords: knowledge base, intelligent, predicate logic, displaced an open predicate, the key function, class, subject area, the minimization algorithm. <...> Постановка задачи моделирования баз знаний Описание объекта представляет собой n-мерный вектор, где n – число признаков, используемых для характеристики объекта, причем j-я координата этого вектора равна значению j-го признака, j=1,.,n. <...> В описании объекта допустимо отсутствие информации о значении того или иного признака. <...> Задача состоит в разработке методов, позволяющих моделировать и минимизировать базу знаний по исходной информации. <...> X xw x w x wj jj j Ww – множество характеризуемых объектов. <...> Вид функции W = f(X) не задан. j m j n ( ),12( ). ( )} – вектор качественных признаков, каждый элемент которого фиксированный признак характеризуемого объекта. <...> Каждый соответствующий признак xj(wj) в <...>