· Основное фактическое содержание понятия понимается как система признаков, на основе которой осуществляется обобщение и выделение объекта в понятии по сравнению с другими понятиями.
· Логическое содержание - это информация, содержащаяся в логической форме определения.
· Определение понятия представляет суждение.
· Содержание понятия выделяет главные свойства каждого понятия.
· Полное фактическое содержание является учетом всего имеющегося знания в его определении.
Объем понятия, как следующий атрибут определения понятия состоит из множества вещей, обобщенных и выделенных в понятие. В соответствии с этим логический объем понимается как класс предметов, обладающих системой признаков, составляющих логическое содержание понятия. Наконец, фактический объем - это система признаков по фактическому содержанию определения понятия.
Имеются многочисленные классификации видов понятий. Они учитывают количественные характеристики объемов понятия, тип обобщаемых предметов и характер признаков. Обычно употребляют такую классификацию:
- собирательные и не собирательные понятия,
- положительные и отрицательные понятия,
- равнозначные и подчиненные понятия,
- перекрещивающиеся понятия.
Причем понятия могут иметь пустой и непустой объем. Ниже дается специальный раздел по классификации определений понятий (см. разд. 3.4), который во многом отличается от указанной выше классификации.
ЕЯ и его грамматики (СиГ и СеГ) диктуют логические и другие операции с понятиями или их характеристиками. Причем необходимо помнить, что каждое понятие обладает ограничениями, которые позволяют осуществлять переход от понятия с большим объемом к понятию с меньшим объемом. Все такие операции формализуемы и применимы в процессе обработки знаний.
Работа над понятиями, терминами и терминологией обычно строится в соответствии со следующими шагами. Последовательность рассмотрения шагов не важна так же, как и полнота перечисления шагов. Они представляют интерес для уточнения даваемых ниже определений. Шагов семь для их конкретного применения к понятию информатика (они могут быть распространены на другие понятия):
Шаг 1. Выявление основ науки информатики, определение предмета и объекта ее исследований, выделение понятий при выполнении этой работы.
Шаг 2. Отбор или формирование (что бывает реже) понятий и терминов по некоторому критерию принадлежности к информатике.
Шаг 3. Построение и формулировка определений собранных понятий по заведомо известной форме.
Шаг 4. Группирование и систематизация коллекции терминов и соответствующих им понятий для выявления взаимозависимости между ними.
Шаг 5. Осуществление сопоставлений для выяснения непротиворечивости или зависимости понятий друг с другом.
Шаг 6. Рассмотрение и поиск альтернативных определений и синонимов понятий.
Шаг 7. Окончательный выбор или отбор системы понятий и оформление терминологического словаря (лексикона).
Так или иначе, перечисленные работы будут охарактеризованы в данной главе с той или иной степенью подробности. Относительно семи шагов заметим, что такие же шаги применяются и при формировании лексиконов Интеллсист.
3.2. Свойства определений
Свойства определений - это совокупность качественных признаков определений. Простое, но очень непонятное определение. Надо добавить, что составление полного перечня признаков весьма затруднительно. Остановимся только на некоторых свойствах. Остальные проявятся постепенно во всем тексте тома.
Каждое определение характеризует объем понятия. Расширим данное выше определение объема понятия. Объем понятия определяется множеством вещей, сущностей или сущностей вещей, которых составляют или входят в определение. Можно сказать так, в частности, число понятий, участвующих в определении данного понятия, определяет объем этого понятия.
Пожалуй, главным свойством каждого определения является свойство объективности, которое утверждает, что все признаки определения понятия не зависят от нас и определяются свойствами реального мира. Начальная субъективность должна постепенно устраняться при последующих исследованиях или применениях определения, которые могут подправляться. Действительно, исходное определение формирует один человек, внося свое представление о понятии. Затем определение проходит проверку временем и уточняется, становится более объективным. Конечно же, допускается и субъективные определения для конкретного индивидуального использования и исследования. Каждый вправе заняться исследованием собственных идей или представлений. Но тогда будет затруднено распространение такого знания.
Также одним из главных свойств определения является свойство, которое состоит в том, что оно должно быть вполне точным (определенным) и никоим образом не допускать никакой двусмысленности (противоречивости) при использовании других понятий в данном определении. Допускается только частичная неопределенность, которая будет со временем уточняться.
И также важным свойством определения является наличие в нем существенных признаков, отличающих данное определяемое понятие от других определенных понятий. Признаковое пространство служит ареной, на которой происходит распознавание образов каждого понятия. Если признаковое пространство некоторого понятия выделено аккуратно (без перекрытия), то и идентификация понятия возможна со значительной вероятностью. Конечно же, минимизация числа признаков (размерность признакового пространства), в особенности существенных, характеризует качество определения. Аналогия с теорией распознавания образов здесь как нельзя лучше характеризует свойства определения понятия.
Каждое определение для Интеллсист составляется из абзацев и предложений (фраз) ЯПП. Они представляют факты или утверждения о фактах. Каждая фраза определения есть некоторое суждение, принимающее истинное значение в этом определении. Ложное (частично или целиком) предложение противоречило бы всей совокупности суждений рассматриваемого определения. В связи с этим на определение ложится высокая ответственность за точность формулировок фраз. Такая мера точности составляет очередное свойство определения. Как уже упоминалось ранее, непротиворечивость составляющих определение суждений - важное свойство определения.
Каждое определение характеризуется охватом той области, на которую распространяется данное определение. Размер области говорит о важности или малой важности данного определения. Каждое определение подчиняется некоторой иерархии, оно находится на каком-либо уровне этой иерархии и по своему соответствует этому уровню.
3.3. Назначение определения понятия
Каждое определение задает новое понятие для использования его при описании, осмыслении, определении, представлении, обобщении, переработки и конструировании знаний. В этом главное назначение определения. Другие применения определения являются производными или учитывающими некоторую часть перечисленного. Например, можно заниматься коллекционированием определений, даваемых некоторым изобретателем понятий. Коллекция таких определений будет выполнять некоторую функцию и иметь некоторое назначение (собрание или музей уникальных понятий). Коллекция играет познавательную роль. Такое назначение является главным и основным для коллекционера.
Каждое определение описывает знание об определяемом понятии. В этом можно усматривать важное информатическое назначение определения. Начальное построение определения является результатом фиксации наблюдений. Определение не только задает свойства данного понятия, но и устанавливает (прямо или косвенно) связь самых разнообразных понятий.
Связь с другими понятиями важна сама по себе. При этом становится более точным определяемое понятие, уточняется его смысл. Связь понятий является логической, поскольку определение - это совокупность суждений. Логическая связь формально выражается записью логического выражения на некотором формальном языке. Связь понятий задается логическими операциями, которые соединяют имена вещей, признаков, свойств и характеристик.
Представление понятия целиком зависит от ЯПП и того ФЯ, на который транслируются фразы ЯПП. Следовательно, определение понятия развивает этот язык, введением нового определения. Такое назначение определения ценно для процессов формирования других понятий и других определений. Зависимость от ЯПП не вводит элементы субъективизма, а лишь способствует формализации определений и представлений понятия.
Определение понятия фиксирует знания об исследуемой вещи или ее сущности. Действительно, если знания формализуются суждениями, а определяемое понятие есть совокупность суждений, то и определяемое понятие является некоторым новым знанием. Фиксация определения фиксирует знание.
Определение понятия служит средством обобщения знаний путем минимизации числа признаков, по которым строится определение понятия. Полное определение понятия дать невозможно точно так же, как невозможно полностью описать некоторую вещь. Поэтому приемы абстрагирования должны быть присущи процессам построения определений понятий. Любая абстракция подразумевает обобщение.
Определения конструируют знания. Каждое новое определение (совокупность суждений) пополняет БЗ новыми знаниями. Если они вводятся в ВМ, тогда они используются для решения самых разнообразных проблем в данной области знаний.