Начнем с рассмотрения атрибутов определений, как основных их характеристик и как описательное пояснение концепции определения. Пунктуально перечислим содержательные атрибуты определения понятия.
Соглашения. Соглашения являются скорее договоренностью с читателем об используемых понятиях. Определение является главным соглашением относительно введения и использования нового термина. Соглашение оговаривает область действия понятия и контекст, в котором используется или будет использоваться термин, обозначающий понятие. Соглашение включает определяемое понятие и соотношение между этим понятием и используемыми в контексте понятиями. Соглашение можно принять, если оно доказательно или правдоподобно, и можно подвергнуть сомнению, если оно неверно или не соответствует реальной или воображаемой действительности. Соглашение вначале является субъективным по своему происхождению. В последствии оно либо отмирает, либо укрепляется в сознании многих пользователей в результате опыта и становится общедоступным знанием. Рождается объективность толкования и интерпретации понятия с целью правильного включения его в знания.
Первый шаг определения понятия. Введение символа или комбинаций символов для образования внешнего вида имени есть первый шаг построения нового термина понятия. Это не означает, что обозначение понятия введено окончательно. Оно может измениться на последующих шагах формирования нового понятия в связи с возникающими коллизиями в обозначениях или исчезнуть по истечении некоторого времени. Длительность жизни понятия определяется удачностью и актуальностью введения этого понятия. Изменение термина может наступить в том случае, когда обнаруживается, что таким же термином поименовано другое понятие. Для определения длительности жизни понятия в его характеристиках автоматически вводится дата введения понятия. Сравнение даты введения двух понятий поможет найти выход из коллизии имен понятий.
Фиксация нового знания. При введении нового понятия (и в особенности его определения) необходимо помнить, что этот акт связан с фиксацией некоторого нового (для системы) знания. Это важное обстоятельство для принятия ответственного решения относительно введения нового понятия. На основе имеющегося знания строятся новые знания, точность которых должна быть высокой, а точность зависит от качества исходных знаний, задаваемых понятиями и их определениями. Свойство определения - фиксация знания - используется информатикой на многих этапах применения СВТ для решения почти каждой проблемы. Использование понятия в некотором контексте всегда связано с окружением применения понятия.
Важность контекста. Создание определения связано с созданием формального средства в виде «формулы подстановки» вместо одного термина связного набора других терминов. Определение понятия само по себе не работает. Только его использование приносит искомые плоды. Использование определения возможно только при включении определения в некоторые высказывания, в контексте других понятий. Поэтому определение должно иметь форму, пригодную для включения определения в некоторый текст. Система понятий и формально соответствующая система формул подстановок задают логическое исчисление понятий для решения фундаментальных проблем концептуальной информатики, которые включают выявление противоречивости, независимости и полноты системы понятий. Здесь обнаруживается некоторый подход к построению теории определения понятия.
Об используемой прагматике. Новое определение устанавливает также соглашение о сокращении числа используемых символов в записях (условное сведение определения к слову, состоящему из символов определенного количества), так как формулы подстановок являются хорошим средством сокрытия информации. Высказанная здесь формальная и количественная характеристики определения тоже важны для теории определения и имеют некоторое практическое значение при создании новых текстов.
Сущность определения понятия. Определение понятия устанавливает соотношение между определяемым понятием и определяющими понятиями. Соотношение понятий является хорошим средством для уточнения уже известных понятий. Каждое определение создает контекст понятий, составляющих само определение, а контекст обладает свойством доопределения используемого в определении понятия. Поэтому новое определение увеличивает объем знаний относительно имеющихся понятий на основе обратного влияния и создания контекста для вводимого понятия.
Главное свойство определения. Новое определение понятия представляет собой метод приобретения и формирования знаний о предметах, явлениях и процессах. Следовательно, каждое определение является концентрированным выражением свойств определяемого понятия и того, что подразумевается под этим понятием. Использование понятия в последующих текстах позволяет вносить новые знания в контекст его применения.
Начала теории определений. Новое понятие дает средство для построения представлений о данном объекте или объектах и знании, используемых в определении. В данном случае имеет место метод введения абстракций путем использования главных характеристик определяемых понятий, что является началом для теории определения. Всякая абстракция, в том числе и эта, составляют начальные данные для построения теории.
Можно частично подвести итог рассмотрению соглашений (договоренностей) и свойств определения понятия. Определение - это средство для формирования теории данного понятия, а также общей теории всех вводимых понятий или их отношений. Перечисленные свойства позволяют надеяться на то, что теория определений привлечет внимание исследователей к проблемам концептуальной информатики. Таким образом, можно понять и выставить многие цели исследования теории определения понятия. Среди них отметим такие цели:
- сформировать требования к построению понятия, его термина, имени, определения, множества допустимых значений и текущее значение;
- дать сами правила формирования понятия, термина и его определения;
- связать с новым термином соответствующее понятие и его определение;
- определить объем понятия и уточнить требования к его определению;
- сформулировать правила и приемы формирования определения понятия;
- абстрагировать работу с понятиями и их определениями;
- сформировать понятие понятия (определить метапонятие);
- рассмотреть общие свойства определений и подойти к формализации понятия определения;
- установить классификацию определений;
- по классификации понятий определить общие термины или понятия;
- уточнить различие между понятием, термином и значением;
- установить критерии правильности выбора понятий и их определений, но с формальной, а не с потребительской точки зрения;
- установить законы формирования и использования определений;
- дать примеры определений особенно для основных понятий, используемых в информатике;
- наконец, рассмотреть терминологический словарь по информатике для уточнения места нового определения информатики.
Изучение всех указанных (и не указанных) целей является предметом настоящего тома.
Не стоит надеяться на получение ответов на все или многие вопросы и на достижение всех целей при рассмотрении предлагаемого текста основ концептуальной информатики. Однако некоторые цели в этом направлении будут достигнуты. Содержание описываемой концептуальной информатики направлено на постановку проблем и очерчивание области исследований. И главное, можно надеяться на то, что основная цель - определение понятия информатики - будет достигнута, так как характеристика раздела информатики способствует раскрытию понятия информатики. История концептуальной информатики богата, значительный материал ее содержится в математической лингвистике, из которой необходимо выделить информатическое содержание. Имеется самое значительное в необходимости изучения концептуальной информатики. Это значительное состоит в том, что развитие информатики как науки связано с созданием строгой научной терминологии, которую формирует совокупность понятий этой науки. Только через терминологию можно получить представление об информатике, представить факты и утверждения о фактах информатики. Таким образом, концептуальная информатика является средством усовершенствования терминологии информатики.
Судя по публикациям настоящее состояние терминологии информатики является весьма неудовлетворительным. Имеющаяся терминология замешана с терминологией кибернетики, вычислительной техники и программирования, а главное, информатика начала резко развиваться вместе с резким увеличением количества явных и неявных пользователей СВТ. Из специальной дисциплины информатика превратилась в науку для всех. Отставание терминологии (как выразителя понятия информатики) затрудняет установление взаимопонимания между специалистами и/или пользователями ВМ, порождает подчас ошибки в применении информатики. Отсюда следует важный вывод о необходимости создания терминологии информатики.
Концептуальная информатика устраняет некоторые недостатки имеющейся терминологии. Она:
- упрощает сбор концепций, определений и терминов,
- делает возможным автоматизацию проверки понятий фактическими реализациями программных, аппаратных или программно-аппаратных систем обработки знаний,
- устанавливает тесную связь с другими науками, научными дисциплинами или отраслями знаний,
- разрешает проблемы логического противоречия понятий,
- осуществляет грамматический контроль правильности определений,
- обеспечивает быстрый доступ к словарям и его элементам.
Важнейший способ передачи знаний состоит в формировании или исследовании понятий. Это знания особого сорта. Связи между понятиями устанавливаются через их определения. При формализации понятия и его определения используется логический язык, включающий языки перечисления значений данного понятия. Имеется несколько видов понятий и их определений. В определение входят признаки предметов, явлений и процессов. Об этом также будет сказано ниже. Атрибутами определения понятия являются также следующие потребительские свойства: