ВИДЫ ФОРМАЛЬНОГО КОНЦЕПТА ДЛЯ ОБЪЕКТА С АТРИБУТАМИ SORTS OF FORMAL CONCEPTS OF AN OBJECT WITH ATTRIBUTES ФОМИН Валерий Григорьевич - кандидат физико-математических наук, доцент, профессор кафедры математики, Московский государственный гуманитарно-экономический университет (e-mail: fmnvlr@gmail.com). <...> Понятие объекта есть не просто множество атрибутов, а есть конъюнкция или дизъюнкция атрибутов. <...> Объект имеет не просто множество соответствующих признаков, а конъюнкцию (конгрегатецию) и дизъюнкцию (опционцию) признаков, причем учитывается совместность и несовместность признаков. <...> В этом случае предлагается структура формального концепта (пространства объектов с признаками), структура множеств объектов и признаков с операциями, аналогичными тем, которые совершаются при мышлении. <...> Предлагаемая формальная теория состыковывается с анализом формальных понятий (АФП). <...> Введение Рассматриваются множества объектов S и простых атрибутов Ф. <...> Яблоко s1 является красным (атрибут г), яблоко s2 - желтым (атрибут у), и яблоко s3 - красножелтый (r y). <...> Алгебра совместных признаков Пусть мы имеем множество элементарных атрибутов Ф и множество индижества, называемые «блоки несовместных признаков» i n i1ФФ; ФФ i ij Ф j при i j. <...> Признаки, расположенные в одном блоке несовместных признаков Фi, называются «несовместные между собой признаки», а любые несколько признаков из разных блоков несовместности признаков называются «совместными между собой признаками». <...> Обозначим множество всех совместных признаков объекта s в момент времени t символом atr(t;s). <...> Это множество для каждого объекта sS имеет разбиение на подмножество постоянных признаков (s) и подмножество изменяющихся возможных признаков (t;s)v = ( vv (s) = щихся признаков v(t;s). s) (t (t;s), ), (s) (s) (t;s) =, (s) t в данный момент времени t: atr(t,s) tatr(t,s). <...> При описании объекта s мы ставим признаки из множества постоянных признаков (s) в конъюнктивную операцию, а признаки из множества изменяющихся возможных признаков <...>