Признаки и схема понятия
Сущности, составляющие объем понятия, различаются с помощью признаков. Признаковые отношения предписывают одним понятиям выполнять роль некоторых качественных свойств по отношению к другим понятиям. Признаки понятий могут быть отнесены к одному из следующих типов: дифференциальные, характеристические и валентные.
Дифференциальные признаки используются в качестве характеристики содержания понятия.
Характеристические — это признаки, которые позволяют отличить сущности, относящиеся к объему одного и того же понятия.
Валентные — это признаки, обеспечивающие связь между различными понятиями. Без потери общности можно считать такие связи бинарными.
Признак характеризуется именем и значением. Можно выделить несколько типов значений признаков: логические, числовые, символьные и др. Имя признака вместе с его значением образует полное наименование соответствующего признака. Например, признак ВОЗРАСТ вместе со значением «30 лет» образует наименование признака «возраст 30 лет».
Имя признака позволяет указать ту семантическую роль, которую играет его значение в организации связи между сущностью и признаком, ее характеризующим. Так, в предыдущем примере имя признака ВОЗРАСТ характеризует определенную роль понятия «30 лет» по отношению к некоторой сущности, в качестве которой выступает конкретный человек.
Совокупность имен дифференциальных, характеристических и валентных признаков составляет схему понятия, обозначаемую как shm P. Таким образом, схему понятия Р можно представить в виде тройки
Shm Р = <D, H, V>, (1)
где d={d i}, i = l, n — множество имен дифференциальных признаков;
H={Hj}, j = l, m — множество имен характеристических признаков;
V=={Vk}, k = l, l — множество имен валентных признаков.
Имена признаков будем обозначать прописными буквами латинского алфавита (возможно с индексами) А, В, С, D,..., а значения — строчными буквами.
Тот факт, что признак Ai данного понятия принимает одно из возможных значений a dom Ai, будем выражать в виде пары (Ai, a
). Здесь dom Ai обозначает множество (домен) всех возможных значений признака Ai. Тогда каждая сущность е, принадлежащая объему понятия Р, может быть представлена в виде множества пар дифференциальных, характеристических и валентных признаков.
e ={ (Di, d ), (Hj, h
), (Vk, v
)}. (2)
Однако описывать аналогичным выражением понятие не всегда естественно, так как у понятий некоторые из значений признаков могут не определяться. Более подходящей формой представления понятий являются логические формулы.