Труды КНЦ вып.7 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып.2 4/2011(7))

УДК 004.89, 004.9 А.А. Зуенко СИНТЕЗ МЕТОДОВ ЛОГИКО-СЕМАНТИЧЕСКОГО АНАЛИЗА В РАМКАХ ЗАКОНОВ КЛАССИЧЕСКОЙ ЛОГИКИ* Аннотация Дается краткое введение в теоретические основы математических структур, часто используемых в информационных технологиях и тесно связанных с алгеброй кортежей (АК). Доказывается, что АК относится к классу булевых алгебр. Приводится обзор методов АК, позволяющих унифицировать процедуры дедуктивного и недедуктивного анализа. Ключевые слова: булевы алгебры, алгебра кортежей, логико-семантический анализ, дедуктивные рассуждения, недедуктивные рассуждения. A.A. Zuenko SYNTHESIS OF METHODS OF LOGICAL-SEMANTIC ANALYSIS BASED ON LAWS OF CLASSICAL LOGIC Abstract The article presents the theoretical bases of mathematical structures often used in informational technologies and closely related to N-tuple algebra (NTA). We prove that N-tuple algebra belongs to the class of Boolean algebras. Review of NTA methods for unifying the procedures of deductive and non-deductive analyses is given. Keywords: boolean algebra, N-tuple algebra, logical-semantic analysis, deductive and non-deductive reasoning. Введение При разработке современных средств моделирования структурно-сложных систем наметилась тенденция к интеграции хорошо зарекомендовавших себя методов (например, методов теории управления), и новых для этой области исследований методов искусственного интеллекта [1]. В результате, в состав упомянутых программных комплексов включаются такие компоненты, как нейронные сети; базы знаний; компоненты, реализующие рассуждения и т.д. Однако, как правило, компоненты, предназначенные для моделирования рассуждений, основаны на аксиоматическом методе, и поэтому реализуют только один вид рассуждений. Дело в том, что различные виды рассуждений (дедукция, абдукция, аналогия, индукция) формализуются различными система­ ми аксиом и правил вывода, что затрудняет их сопряжение в единой програм­ мной среде. В связи с этим, представляется актуальной проблема создания мате­ матического аппарата, который бы мог послужить базой для разработки интегрированных методов логико-семантического анализа, синтезирующих различные познавательные процедуры. "Работа выполнена при финансовой поддержке РФФИ (проект № 09-07-00066, № 11-08-00641-а), ОНИТ РАН (проект 2.3 в рамках текущей Программы фундаментальных научных исследований) и Президиума РАН (проект 4.3 Программы № 15). 112