Представление и обработка знаний

10 шению и включению объемов одного понятия в другое различают родовые и видовые понятия. Родовым будет такое понятие, объем которого шире и полностью включает в себя объем другого поня- тия. Видовым будет такое понятие, объем которого составляет лишь часть объема родового понятия. Например, объем понятия «фирменный знак» (видовое понятие) целиком входит в объем дру- гого, более широкого понятия «знак» (родовое понятие). При этом заметим, что содержание первого понятия оказывается шире (больше), потому что содержит больше отличительных признаков, чем содержание второго, т.е. чем шире (больше) объем понятия, тем проще (меньше) его содержание, и наоборот. Некоторые понятия в рассматриваемой предметной области могут оказаться составными. Понятие считается составным, если оно определяется через другие понятия, и элементарным в против- ном случае (например: в геометрии элементарное понятие «Точка» и составное понятие «Прямая»). Процедуры формирования понятий различаются, они могут быть получены эмпирическим либо теоретическим путем. Понятие называется эмпирическим, если оно сформировалось, получено на основе непосредственного сравнения общих свойств некоторого класса доступных для изучения объектов или явлений, и теорети- ческим, если оно получено на основе опосредованного теоретиче- ского формального анализа некоторого класса явлений (или объек- тов) при помощи ранее выработанных понятий. Понятие называется конкретным (единичным), если оно от- носится к одному определенному предмету рассмотрения, и абст- рактным (общим), если относится к свойствам широкого класса предметов. Конкретность и абстрактность понятия определяются контекстом рассмотрения, предметной областью и всегда относи- тельно. Различают понятия в широком смысле и понятия научные: первые формально выделяют общие (сходные) признаки предметов