Информатика в семи томах




НазваниеИнформатика в семи томах
страница4/44
Дата30.08.2012
Размер6.34 Mb.
ТипДокументы
1   2   3   4   5   6   7   8   9   ...   44
Глава 3. Основные концепции определения понятий


Для работы Интеллсист со знаниями и запросами необходимы сведения о терминах, они передаются системе при их определении с помощью меню. Для понимания средств описаний терминов рассматриваются общие понятия о методах формирования их определений. В этом разделе реализована компиляция известного из лингвистики и прикладной логики материала с частичной и незначительной его трансформацией с целью учета приемов, диктуемых новым определением информатики. Описание основных концепций несет отпечаток формализма и лишен в большинстве случаев детального пояснения с привлечением красочных примеров и вспомогательных пояснений и рассуждений. До формирования средств определения понятий необходимо рассмотреть те факторы, которые в обязательном порядке присутствуют в процессах определения. Факторами являются атрибуты, свойства, назначение, классификация и функции определений понятия. Рассмотрим их последовательно.


3.1. Атрибуты определения понятий


Начнем с рассмотрения атрибутов определений, как основных их характеристик и как описательное пояснение концепции определения. Пунктуально перечислим содержательные атрибуты определения понятия.


Соглашения. Соглашения являются скорее договоренностью с читателем об используемых понятиях. Определение является главным соглашением относительно введения и использования нового термина. Соглашение оговаривает область действия понятия и контекст, в котором используется или будет использоваться термин, обозначающий понятие. Соглашение включает определяемое понятие и соотношение между этим понятием и используемыми в контексте понятиями. Соглашение можно принять, если оно доказательно или правдоподобно, и можно подвергнуть сомнению, если оно неверно или не соответствует реальной или воображаемой действительности. Соглашение вначале является субъективным по своему происхождению. В последствии оно либо отмирает, либо укрепляется в сознании многих пользователей в результате опыта и становится общедоступным знанием. Рождается объективность толкования и интерпретации понятия с целью правильного включения его в знания.


Первый шаг определения понятия. Введение символа или комбинаций символов для образования внешнего вида имени есть первый шаг построения нового термина понятия. Это не означает, что обозначение понятия введено окончательно. Оно может измениться на последующих шагах формирования нового понятия в связи с возникающими коллизиями в обозначениях или исчезнуть по истечении некоторого времени. Длительность жизни понятия определяется удачностью и актуальностью введения этого понятия. Изменение термина может наступить в том случае, когда обнаруживается, что таким же термином поименовано другое понятие. Для определения длительности жизни понятия в его характеристиках автоматически вводится дата введения понятия. Сравнение даты введения двух понятий поможет найти выход из коллизии имен понятий.


Фиксация нового знания. При введении нового понятия (и в особенности его определения) необходимо помнить, что этот акт связан с фиксацией некоторого нового (для системы) знания. Это важное обстоятельство для принятия ответственного решения относительно введения нового понятия. На основе имеющегося знания строятся новые знания, точность которых должна быть высокой, а точность зависит от качества исходных знаний, задаваемых понятиями и их определениями. Свойство определения - фиксация знания - используется информатикой на многих этапах применения СВТ для решения почти каждой проблемы. Использование понятия в некотором контексте всегда связано с окружением применения понятия.


Важность контекста. Создание определения связано с созданием формального средства в виде «формулы подстановки» вместо одного термина связного набора других терминов. Определение понятия само по себе не работает. Только его использование приносит искомые плоды. Использование определения возможно только при включении определения в некоторые высказывания, в контексте других понятий. Поэтому определение должно иметь форму, пригодную для включения определения в некоторый текст. Система понятий и формально соответствующая система формул подстановок задают логическое исчисление понятий для решения фундаментальных проблем концептуальной информатики, которые включают выявление противоречивости, независимости и полноты системы понятий. Здесь обнаруживается некоторый подход к построению теории определения понятия.


Об используемой прагматике. Новое определение устанавливает также соглашение о сокращении числа используемых символов в записях (условное сведение определения к слову, состоящему из символов определенного количества), так как формулы подстановок являются хорошим средством сокрытия информации. Высказанная здесь формальная и количественная характеристики определения тоже важны для теории определения и имеют некоторое практическое значение при создании новых текстов.


Сущность определения понятия. Определение понятия устанавливает соотношение между определяемым понятием и определяющими понятиями. Соотношение понятий является хорошим средством для уточнения уже известных понятий. Каждое определение создает контекст понятий, составляющих само определение, а контекст обладает свойством доопределения используемого в определении понятия. Поэтому новое определение увеличивает объем знаний относительно имеющихся понятий на основе обратного влияния и создания контекста для вводимого понятия.


Главное свойство определения. Новое определение понятия представляет собой метод приобретения и формирования знаний о предметах, явлениях и процессах. Следовательно, каждое определение является концентрированным выражением свойств определяемого понятия и того, что подразумевается под этим понятием. Использование понятия в последующих текстах позволяет вносить новые знания в контекст его применения.


Начала теории определений. Новое понятие дает средство для построения представлений о данном объекте или объектах и знании, используемых в определении. В данном случае имеет место метод введения абстракций путем использования главных характеристик определяемых понятий, что является началом для теории определения. Всякая абстракция, в том числе и эта, составляют начальные данные для построения теории.


Можно частично подвести итог рассмотрению соглашений (договоренностей) и свойств определения понятия. Определение - это средство для формирования теории данного понятия, а также общей теории всех вводимых понятий или их отношений. Перечисленные свойства позволяют надеяться на то, что теория определений привлечет внимание исследователей к проблемам концептуальной информатики. Таким образом, можно понять и выставить многие цели исследования теории определения понятия. Среди них отметим такие цели:

  • сформировать требования к построению понятия, его термина, имени, определения, множества допустимых значений и текущее значение;

  • дать сами правила формирования понятия, термина и его определения;

  • связать с новым термином соответствующее понятие и его определение;

  • определить объем понятия и уточнить требования к его определению;

  • сформулировать правила и приемы формирования определения понятия;

  • абстрагировать работу с понятиями и их определениями;

  • сформировать понятие понятия (определить метапонятие);

  • рассмотреть общие свойства определений и подойти к формализации понятия определения;

  • установить классификацию определений;

  • по классификации понятий определить общие термины или понятия;

  • уточнить различие между понятием, термином и значением;

  • установить критерии правильности выбора понятий и их определений, но с формальной, а не с потребительской точки зрения;

  • установить законы формирования и использования определений;

  • дать примеры определений особенно для основных понятий, используемых в информатике;

  • наконец, рассмотреть терминологический словарь по информатике для уточнения места нового определения информатики.

Изучение всех указанных (и не указанных) целей является предметом настоящего тома.


Не стоит надеяться на получение ответов на все или многие вопросы и на достижение всех целей при рассмотрении предлагаемого текста основ концептуальной информатики. Однако некоторые цели в этом направлении будут достигнуты. Содержание описываемой концептуальной информатики направлено на постановку проблем и очерчивание области исследований. И главное, можно надеяться на то, что основная цель - определение понятия информатики - будет достигнута, так как характеристика раздела информатики способствует раскрытию понятия информатики. История концептуальной информатики богата, значительный материал ее содержится в математической лингвистике, из которой необходимо выделить информатическое содержание. Имеется самое значительное в необходимости изучения концептуальной информатики. Это значительное состоит в том, что развитие информатики как науки связано с созданием строгой научной терминологии, которую формирует совокупность понятий этой науки. Только через терминологию можно получить представление об информатике, представить факты и утверждения о фактах информатики. Таким образом, концептуальная информатика является средством усовершенствования терминологии информатики.


Судя по публикациям настоящее состояние терминологии информатики является весьма неудовлетворительным. Имеющаяся терминология замешана с терминологией кибернетики, вычислительной техники и программирования, а главное, информатика начала резко развиваться вместе с резким увеличением количества явных и неявных пользователей СВТ. Из специальной дисциплины информатика превратилась в науку для всех. Отставание терминологии (как выразителя понятия информатики) затрудняет установление взаимопонимания между специалистами и/или пользователями ВМ, порождает подчас ошибки в применении информатики. Отсюда следует важный вывод о необходимости создания терминологии информатики.


Концептуальная информатика устраняет некоторые недостатки имеющейся терминологии. Она:

  • упрощает сбор концепций, определений и терминов,

  • делает возможным автоматизацию проверки понятий фактическими реализациями программных, аппаратных или программно-аппаратных систем обработки знаний,

  • устанавливает тесную связь с другими науками, научными дисциплинами или отраслями знаний,

  • разрешает проблемы логического противоречия понятий,

  • осуществляет грамматический контроль правильности определений,

  • обеспечивает быстрый доступ к словарям и его элементам.


Важнейший способ передачи знаний состоит в формировании или исследовании понятий. Это знания особого сорта. Связи между понятиями устанавливаются через их определения. При формализации понятия и его определения используется логический язык, включающий языки перечисления значений данного понятия. Имеется несколько видов понятий и их определений. В определение входят признаки предметов, явлений и процессов. Об этом также будет сказано ниже. Атрибутами определения понятия являются также следующие потребительские свойства:

  • Основное фактическое содержание понятия понимается как система признаков, на основе которой осуществляется обобщение и выделение объекта в понятии по сравнению с другими понятиями.

  • Логическое содержание - это информация, содержащаяся в логической форме определения.

  • Определение понятия представляет суждение.

  • Содержание понятия выделяет главные свойства каждого понятия.

  • Полное фактическое содержание является учетом всего имеющегося знания в его определении.


Объем понятия, как следующий атрибут определения понятия состоит из множества вещей, обобщенных и выделенных в понятие. В соответствии с этим логический объем понимается как класс предметов, обладающих системой признаков, составляющих логическое содержание понятия. Наконец, фактический объем - это система признаков по фактическому содержанию определения понятия.


Имеются многочисленные классификации видов понятий. Они учитывают количественные характеристики объемов понятия, тип обобщаемых предметов и характер признаков. Обычно употребляют такую классификацию:

  • собирательные и не собирательные понятия,

  • положительные и отрицательные понятия,

  • равнозначные и подчиненные понятия,

  • перекрещивающиеся понятия.

Причем понятия могут иметь пустой и непустой объем. Ниже дается специальный раздел по классификации определений понятий (см. разд. 3.4), который во многом отличается от указанной выше классификации.


ЕЯ и его грамматики (СиГ и СеГ) диктуют логические и другие операции с понятиями или их характеристиками. Причем необходимо помнить, что каждое понятие обладает ограничениями, которые позволяют осуществлять переход от понятия с большим объемом к понятию с меньшим объемом. Все такие операции формализуемы и применимы в процессе обработки знаний.


Работа над понятиями, терминами и терминологией обычно строится в соответствии со следующими шагами. Последовательность рассмотрения шагов не важна так же, как и полнота перечисления шагов. Они представляют интерес для уточнения даваемых ниже определений. Шагов семь для их конкретного применения к понятию информатика (они могут быть распространены на другие понятия):

Шаг 1. Выявление основ науки информатики, определение предмета и объекта ее исследований, выделение понятий при выполнении этой работы.

Шаг 2. Отбор или формирование (что бывает реже) понятий и терминов по некоторому критерию принадлежности к информатике.

Шаг 3. Построение и формулировка определений собранных понятий по заведомо известной форме.

Шаг 4. Группирование и систематизация коллекции терминов и соответствующих им понятий для выявления взаимозависимости между ними.

Шаг 5. Осуществление сопоставлений для выяснения непротиворечивости или зависимости понятий друг с другом.

Шаг 6. Рассмотрение и поиск альтернативных определений и синонимов понятий.

Шаг 7. Окончательный выбор или отбор системы понятий и оформление терминологического словаря (лексикона).

Так или иначе, перечисленные работы будут охарактеризованы в данной главе с той или иной степенью подробности. Относительно семи шагов заметим, что такие же шаги применяются и при формировании лексиконов Интеллсист.


3.2. Свойства определений


Свойства определений - это совокупность качественных признаков определений. Простое, но очень непонятное определение. Надо добавить, что составление полного перечня признаков весьма затруднительно. Остановимся только на некоторых свойствах. Остальные проявятся постепенно во всем тексте тома.


Каждое определение характеризует объем понятия. Расширим данное выше определение объема понятия. Объем понятия определяется множеством вещей, сущностей или сущностей вещей, которых составляют или входят в определение. Можно сказать так, в частности, число понятий, участвующих в определении данного понятия, определяет объем этого понятия.


Пожалуй, главным свойством каждого определения является свойство объективности, которое утверждает, что все признаки определения понятия не зависят от нас и определяются свойствами реального мира. Начальная субъективность должна постепенно устраняться при последующих исследованиях или применениях определения, которые могут подправляться. Действительно, исходное определение формирует один человек, внося свое представление о понятии. Затем определение проходит проверку временем и уточняется, становится более объективным. Конечно же, допускается и субъективные определения для конкретного индивидуального использования и исследования. Каждый вправе заняться исследованием собственных идей или представлений. Но тогда будет затруднено распространение такого знания.


Также одним из главных свойств определения является свойство, которое состоит в том, что оно должно быть вполне точным (определенным) и никоим образом не допускать никакой двусмысленности (противоречивости) при использовании других понятий в данном определении. Допускается только частичная неопределенность, которая будет со временем уточняться.


И также важным свойством определения является наличие в нем существенных признаков, отличающих данное определяемое понятие от других определенных понятий. Признаковое пространство служит ареной, на которой происходит распознавание образов каждого понятия. Если признаковое пространство некоторого понятия выделено аккуратно (без перекрытия), то и идентификация понятия возможна со значительной вероятностью. Конечно же, минимизация числа признаков (размерность признакового пространства), в особенности существенных, характеризует качество определения. Аналогия с теорией распознавания образов здесь как нельзя лучше характеризует свойства определения понятия.


Каждое определение для Интеллсист составляется из абзацев и предложений (фраз) ЯПП. Они представляют факты или утверждения о фактах. Каждая фраза определения есть некоторое суждение, принимающее истинное значение в этом определении. Ложное (частично или целиком) предложение противоречило бы всей совокупности суждений рассматриваемого определения. В связи с этим на определение ложится высокая ответственность за точность формулировок фраз. Такая мера точности составляет очередное свойство определения. Как уже упоминалось ранее, непротиворечивость составляющих определение суждений - важное свойство определения.


Каждое определение характеризуется охватом той области, на которую распространяется данное определение. Размер области говорит о важности или малой важности данного определения. Каждое определение подчиняется некоторой иерархии, оно находится на каком-либо уровне этой иерархии и по своему соответствует этому уровню.


3.3. Назначение определения понятия


Каждое определение задает новое понятие для использования его при описании, осмыслении, определении, представлении, обобщении, переработки и конструировании знаний. В этом главное назначение определения. Другие применения определения являются производными или учитывающими некоторую часть перечисленного. Например, можно заниматься коллекционированием определений, даваемых некоторым изобретателем понятий. Коллекция таких определений будет выполнять некоторую функцию и иметь некоторое назначение (собрание или музей уникальных понятий). Коллекция играет познавательную роль. Такое назначение является главным и основным для коллекционера.


Каждое определение описывает знание об определяемом понятии. В этом можно усматривать важное информатическое назначение определения. Начальное построение определения является результатом фиксации наблюдений. Определение не только задает свойства данного понятия, но и устанавливает (прямо или косвенно) связь самых разнообразных понятий.


Связь с другими понятиями важна сама по себе. При этом становится более точным определяемое понятие, уточняется его смысл. Связь понятий является логической, поскольку определение - это совокупность суждений. Логическая связь формально выражается записью логического выражения на некотором формальном языке. Связь понятий задается логическими операциями, которые соединяют имена вещей, признаков, свойств и характеристик.


Представление понятия целиком зависит от ЯПП и того ФЯ, на который транслируются фразы ЯПП. Следовательно, определение понятия развивает этот язык, введением нового определения. Такое назначение определения ценно для процессов формирования других понятий и других определений. Зависимость от ЯПП не вводит элементы субъективизма, а лишь способствует формализации определений и представлений понятия.


Определение понятия фиксирует знания об исследуемой вещи или ее сущности. Действительно, если знания формализуются суждениями, а определяемое понятие есть совокупность суждений, то и определяемое понятие является некоторым новым знанием. Фиксация определения фиксирует знание.


Определение понятия служит средством обобщения знаний путем минимизации числа признаков, по которым строится определение понятия. Полное определение понятия дать невозможно точно так же, как невозможно полностью описать некоторую вещь. Поэтому приемы абстрагирования должны быть присущи процессам построения определений понятий. Любая абстракция подразумевает обобщение.


Определения конструируют знания. Каждое новое определение (совокупность суждений) пополняет БЗ новыми знаниями. Если они вводятся в ВМ, тогда они используются для решения самых разнообразных проблем в данной области знаний.


Таков краткий обзор назначений определения понятий, которые тесно связаны с целями определений, их функциями и значениями. Различение этого набора свойств определений возможно, и в этом направлении сделан шаг.


3.4. Классификация определений


Классификация определений так же важна, как и все классификации. Кроме упорядочивания сведений она позволяет не пройти мимо важных средств построения самих определений. Понятия классифицируются по разнообразным признакам. Среди них отметим лишь следующие:

  • по видам понятий, определяемых группированием понятий по некоторому признаку сходства или аналогии (например, они все одного типа данных);

  • родство или общность понятия с другими понятиями (например, они все связаны с данным предметом);

  • отличие понятия от других понятий (например, массивы данных и функции);

  • степень абстракции понятия от некоторых признаков;

  • подчиненность понятий в соответствии с некоторой иерархией (например, поле записи и поле поля записи).

Детальное описание такой классификации известно, частично оно будет раскрыто в дальнейшем. Классификация понятий облегчает процессы изучения вещей, позволяет находить внутренние закономерности и устанавливать субординацию в совокупности понятий. Это утверждение в полной мере относится и к пониманию классификации определений понятия. В частности, классификация уточняет и свойства определений, и их назначение.


Совокупность определений образует кластеры, позволяющие каждое определение отнести к тому или иному классу. Здесь рассмотрим только список классов, которые характеризуются следующими частично перечисленными выше признаками, а теперь уточненными. Одновременно с этим рассматривается и характеристика каждого признака.


Классификация по видам определений. Как уже было рассмотрено, имеется всего семь видов определений, их характеристика дана в главе 2. Использование большего или меньшего числа видов приведет к некоторой новой классификации.


Классификация по отношению между понятиями. Между некоторыми понятиями или их определениями можно установить вполне определенное отношение. Наличие отношений между понятиями позволяет проводить классификацию понятий. Отношения понятий связывают их в некоторый кластер, он образует класс понятий или определений. Это позволяет строить классификации по отношениям.


Классификация по родству определений. Здесь имеется в виду наличие аналогий между понятиями. Определения этих понятий пересекаются, т.е. имеют общие части или общие значения.


Классификация по степени определенности понятия. Этот признак обычно характеризует текущее состояние определения (понятие устоялось, является новым, находится на стадии уточнения и т.п.).


Классификация по различительным признакам определения понятия. Круг понятий или их определений могут выделять важные одиночные признаки для каждого понятия или его определения. Наличие признака сразу определяет класс понятий или определений. Характеристика признака позволяет различать индивидуальные понятия в классе. Каждый класс характеризуется одним признаком, который и позволяют делать различие для классов.


Классификация по уровню общности или по степени абстракции от некоторых второстепенных черт определения. Сами понятия или их определения связаны с некоторым уровнем абстракции. Более того, можно рассмотреть абстрактные определения или абстрактные понятия в качестве основы для классификации их с заранее поставленной целью. Аналогично этому можно рассматривать общие определения или общие понятия для классификации их по уровню общности.


Классификация по иерархической подчиненности понятий. Такие классификации имеют наибольшее распространение, как для самих понятий, так и для их определений. Субординация понятий играет существенную роль в понимании теории, практики или некоторого исследования. Поэтому древовидная связь понятий используется чаще всего прочего. Чаще всего классификация ассоциируется с деревом или древовидным ее представлением. Тогда с каждым понятием связан уровень в таком классификационном дереве. Между различными уровнями устанавливается подчиненность, возможно по некоторому признаку или характерной черте.


Классификация определений согласуется с классификацией понятий. В качестве примера для сопоставления классификаций рассмотрим определения классов понятий. Они все широко известны в лингвистике, здесь представлен своего рода собирательный цитатник, может быть отчасти и неудачный, поскольку он не подвержен систематике, но вполне соответствующий запросам информатики.


Собирательное понятие - это такое понятие, в котором отображены признаки совокупности, группы, набора определенных вещей, представляющих единое целое. Собирательными понятиями являются понятия типа объекта, множества. Признаки таких понятий относятся ко всему предмету и не приложимо к отдельному предмету, входящему в целое. Собирательные понятия проще остальных для понимания их сущностей.

Единичное понятие - это такое понятие, в котором отображаются признаки одной какой-либо единственной вещи. Объем такого понятия представляется множеством из одного элемента. Примером может служить понятие информатики, которое включает в себя одну вещь - знание.

Конкретное понятие - это такое понятие, в котором отображается определенная, данная вещь или класс вещей. Конкретному понятию сопоставляется абстрактное понятие. Их сравнение уточняет определение каждого понятия. Например, пользователь может ввести понятие для промежуточного значения в вычислениях.

Общее понятие - это такое понятие, в котором отображаются признаки целого класса определенных вещей, носящих одно и то же наименование. Отображение может быть по объему конечным или бесконечным, в зависимости от числа вещей. Простейшие примеры таких понятий: лампа, государство или тетрадь.

Абстрактное понятие - это такое понятие, которое отображает какое-то общее свойство одной или нескольких вещей, отвлеченное от самих вещей. Например, абстрактными понятиями являются понятие симптома, храбрости и др.

Синтаксическое понятие - это такое понятие, в котором отображаются действия, происходящие с понятиями или производящие этим понятием. Обычно такое понятие определяется через способы оперирования с вещами, обозначенными термином такого понятия. Например, алгоритм или ВМ - это синтаксические понятия.

Синтезированное понятие - это такое понятие, в котором отображается соединения признаков некоторых вещей в единый признак данного понятия.


Аналогичным образом классифицируются определения понятий.


Остенсиональное определение - это разъяснение (показывание) слов или терминов путем непосредственного указания вещей обозначенных этим термином.

Номинальное определение - это соглашение относительно смысла вновь вводимых языковых выражений о том, как будет употребляться термин

Реальное определениями - это определение через известные понятия. Так поступают в большом числе случаев конструирования определения.

Неявное определение - это определение в информатике используется часто, оно состоит из последовательности утверждений без явного использования определяемого понятия или его термина. Любой отрывок текста определяет понятие, которое явно не обозначено. В отличие от явного определения, в котором понятие определяется через род и видовое отличие. Сюда можно отнести и контекстуальное определение, в котором создается контекст определяемого понятия.

Атрибутивно-реляционные определения - это описание качества и свойств определяемого понятия.

Генетическое определение - это указание на способ или метод происхождения определяемого понятия.

Операциональное определение - это определение через действия объекта, которые полностью характеризуют определяемое понятие.

Таксономическое определение - это определение, в котором реализовано выделение подклассов.


В теории определений имеется еще богатый набор способов их формирования:

  • определение можно дать в форме единичного выражения,

  • определение может содержать общие имена (лекция - это устное изложение учебного предмета),

  • определение может быть предикатным (лежать - значит находиться всем телом на чем-либо в горизонтальном положении),

  • определение может быть предметным и др.

Делается суждение, что все такого сорта определения так или иначе укладываются в перечисленные формы определений.


Общая характеристика определения понятия представляется следующим образом. Каждое определение использует операцию сравнения определяемого объекта с определяющими объектами. Многие определения являются широкими или узкими по охвату предметов, явлений или процессов. Понятия или их определения всегда находятся в развитии, со временем они модифицируются. Это обстоятельство необходимо учитывать при использовании понятий или их определений.


3.5. Функции определения понятия


Имеется несколько функций определения понятий. Вначале перечислим главные функции.


Определение понятия предназначено для фиксации существенных сторон предмета, явления или процесса. По существу имеется в виду фиксация результата наблюдения за реальным миром и его проявлениями. Действительно, определить понятие ВМ (компьютер) сложно, не рассматривая всех ее сторон и свойств. Фиксация существенных сторон делается описательно: ВМ - это прибор, который предназначен для автоматического производства вычислений или управления процессами.


Определение предназначено для указания явно или неявно всех значений понятия. Проявление всех значений понятия является результатом представления о понятии. Например, ВМ - это компьютер, калькулятор, вычислитель, устройство программного управления, прибор для решения задач, исследований и преобразования информации и для домашних развлечений.


Определение ограничивает круг знания, поскольку все второстепенные вещи (признаки и т.п.) игнорируются. Иначе никогда нельзя было бы дать окончательного определения. Тот же пример: ВМ - это устройство для обработки любых знаний с помощью ЭС, ПС и Интеллсист.


Определение может быть прототипом, продолжением или аналогом имеющегося определения. Само же определение создает прецедент для формирования новых определений. В этом усматривается важное назначение определения: оно создает прецедент и само возникает по прецеденту. Например, ВМ - это счеты, автоматизированные электронными устройствами памяти и процессора.


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


Определение указывает на способ получения знаний. Если бы определение только упрятывало информацию и не указывало путь для ее извлечения, то такое определение не выполняло бы своего назначения. В любой момент имеется доступ ко всей информации, сохраняемой в определении. ВМ - это исполнитель программ обработки информации различного назначения.


Определение является средством формирования или построения нового знания. Об этом было сказано, но этот факт следует подчеркнуть еще раз в силу того, что концептуальная информатика опирается именно на такой способ ввода знаний в память ВМ для решения проблем. Последний пример, ВМ - это обработчик фактов, утверждений о фактах и правил логического вывода для извлечения нового знания.


Перечисление функций можно продолжить и дальше. Но с точки зрения нового определения информатики они все сведутся к указанным выше функциям. Можно лишь построить определение на базе какой-либо комбинации указанных функций.


3.6. Развитие понятий


Известно, что развитие понятия происходит в том случае, когда пополняются знания об этом понятии или о понятиях, которые входят в определение данного понятия явно или опосредовано (определяющие понятия), или когда пополняются знания, в которых используется данное понятие. Это простой ответ на поставленный вопрос о развитии понятия. Сложность развития понятия заключается в том, что новые дополнительные знания могут частично или полностью противоречить знаниям, в которых используется понятие. Противоречия могут частично «погасить» имеющиеся знания. Процесс выяснения такой ситуации сложен и неуловим (может быть за исключением отдельных частных случаев). Более того, сложность обнаружения элементов развития понятия увеличивается в связи с тем, что «гашение» (из-за локальных противоречий) части имеющегося знания могут играть роль уточнения понятия путем устранения внутренних противоречий в определении понятия.


Понятие и его определение, фиксируя знания, продолжают жить по всем законам диалектики. На понятие и на его определение нельзя смотреть как на застывшее формирование, не подвергающееся никаким воздействиям. Самый хороший и живой пример - это понятие информатики и его определения. Каждое понятие представляет систему знаний в своем концентрированном виде. При этом оказывается, что представленная таким образом система знаний меняется чрезвычайно медленно. Это же относится и к термину, имени и определению понятия. Наше определение информатики трудно воспринять без определенного запаса терминов, окружающих исследуемый термин, без всего представленного материала. Предлагаемый здесь терминологический словарь берет на себя функции описания окружения понятия информатики.


Кратко рассмотрим некоторые свойства и признаки развития понятия. Они вытекают из некоторого предварительного анализа жизни понятия и, в частности, понятия информатики. Нельзя рассматривать процесс развития одного отдельно взятого понятия. Необходимо рассматривать процесс развития всей совокупности взаимосвязанных понятий, описывающих информатику.


Каждое определение материально, оно подразумевает реальные (или даже воображаемые) вещи, используемые в некоторой сфере деятельности человека. Даже плохо сформулированное определение отражает состояние знаний автора или его окружения, которое способствовало рождению понятия и его определения. Конечно, необходимо исключать случаи ложного определения, содержащего противоречия внутреннего или внешнего свойства. Свойство материальности понятия и определения не вызывает никаких сомнений.


Каждое определение понятия находится в непрерывной взаимосвязи с другими определениями, причем взаимосвязь непрерывно уточняется и углубляется вместе с ростом объема знаний. Действительно, само определение содержит ссылки на другие понятия, иначе определение нельзя построить. Связь понятий или их определений важна для понимания определяемого понятия. Установление взаимосвязей между понятиями главное свойство каждого определения. Объем понятия определяется количеством его связей с другими понятиями, эти связи имеются и в самом определении понятия. Совокупность связей меняется. Именно в этом и проявляется развитие понятия.


В процессе использования понятия или его определения постоянно осуществляется контроль над их состоянием до выявления внутренних или внешних противоречий. Это внутреннее свойство определения является самым важным для развития определения понятия. Поиск разрешения противоречия приводит к обновлению определения или к формированию совершенно нового понятия и его определения. И опять примером может служить определение понятия информатики, которое претерпело уже с десяток изменений, и нет уверенности в том, что оно уже устоялось.


В процессе выявления противоречий в определении понятия обнаруживаются новые свойства исследуемого определения. Унификация новых свойств - это яркое проявление жизни понятия. Исследование понятия связано с многочисленными сопоставлениями с другими понятиями, с многократными применениями понятия в различных ситуациях и т.п. Обнаружение новых свойств понятия указывает на сам процесс жизни понятия, технологию его развития, историю совершенствования его определения.


Критерием жизни понятия и его определения является наличие процесса их использования. Этим выражается движение понятия, в котором обнаруживаются все его свойства. Терминологический словарь для данного понятия образует систему, которая определяет все его свойства. Жизнь данного понятия проявляется через жизнь понятий его окружения. Словарь делает жизнь понятия устойчивой.


3.7. Формирование нового понятия


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


Отрицание по восходящей спирали является движущим началом всякого развития, в частности, исследуемого определения или определяемого понятия. Исходное определение и его отрицание образуют противоположности, которые сопоставляются (как говорят: они находятся в борьбе). В этом процессе сопоставления или противопоставления выявляется разрешение, которое определяет новый шаг спирали.


В результате первого, второго или некоторого числа шагов отрицания определяемое понятие достигает своего первоначального пункта, но в новом качестве. Подтверждений тому много, в частности, подтверждением служит тот факт, что условия существования вещи, которая определяется, в целом не изменились. И опять можно сослаться на наш пример определения информатики.


Работа по терминологии информатики необходима в особенности тогда, когда формируется новое определение информатики. Имеются и другие серьезные причины для работы с понятиями: некоторые понятия вообще не определены, поскольку их не было или они приобретают новый смысл; некоторые понятия определены в форме пояснений; некоторые понятия устарели или становятся логически противоречивыми другим новым понятиям. Коллекция терминов - терминологический словарь - во многом устраняет подобные пробелы концептуальной информатики.


Определение - это логическая операция для придания точного смысла языковому выражению для уточнения или выделения значений этого выражения. Понятия, которые представлены текстом, подвергаются обработке. В процессе обработки понятие может модифицироваться, в этом можно увидеть его развитие. При работе с Интеллсист или в ИП первым шагом формализации знаний является процесс формирования определения понятия.


В заключение заметим, что, если понимание записей на ЯПП гарантировано, то полное понимание записей на ЕЯ маловероятно. Но все понятия развиваются из исходных понятий, которые впервые появляются в текстах ЕЯ. Источник появления понятия - ЕЯ, а жизненный путь понятия целиком связан с ЯПП.


Многих вещей нет потому, что их не смогли назвать.

С.Лец


1   2   3   4   5   6   7   8   9   ...   44

Похожие:

Информатика в семи томах iconСобрание сочинений в семи томах 3 «Собрание сочинений в семи томах»: Время; 2008
Собрание сочинений М. М. Зощенко — самое полное издание прозы одного из крупнейших писателей-новаторов XX века. В него входят практически...
Информатика в семи томах iconИнформатика в семи томах
Излагаемые методы частично модифицированы по сравнению с их оригинальным изложением для их ориентирования и усиления при использовании...
Информатика в семи томах iconИнформатика в семи томах
Определяются логические лексемы, фундаментальные операции, правила преобразования логических уравнений, а также металогика для обоснования...
Информатика в семи томах iconВ семи томах том Информатика смысла Машинная лингвистика
Семантическая и распознающая грамматики связаны между собой как алгоритм и средства его реализации. Основой для контроля правильности...
Информатика в семи томах iconВ семи томах том Основы информатики (Введение в информатику)
Вм на основе своих общих и профессиональных знаний без привлечения программистов для решения задач, для разрешения вопросов или проблем...
Информатика в семи томах iconВ семи томах том Представление знаний (Структуры данных)
Приводимые примеры служат фрагментами прототипов записей знаний и запросов, предназначенных для создателей заданий и запросов к базе...
Информатика в семи томах iconРавительство республики башкортостан академия наук республики башкортостан история башкирского народа в семи томах том V уфа гилем 2010
Российская академия наук Уфимский научный центр ■ Институт истории, языка и литературы
Информатика в семи томах iconЬство республики башкортостан академия наук республики башкортостан история башкирского народа в семи томах том VI москва восточная литература 2011
Российская академия наук Уфимский научный центр Институт истории, языка и литературы
Информатика в семи томах iconВ семи томах том Интеллектуальные системы (Системы решения проблем)
Интеллсист, их структуры и технологии работы с инструментарием составляют центральную часть тома. Оценка возможностей Интеллсист...
Информатика в семи томах iconСтихотворения М. И. Цветаевой печатаются в основном по двум изданиям
Стихотворений (главным образом ранних, относящихся к 10-м годам) печатается по изданию: М. Цветаева. Неизданное: Стихи. Театр. Проза....
Разместите кнопку на своём сайте:
Библиотека


База данных защищена авторским правом ©lib.znate.ru 2014
обратиться к администрации
Библиотека
Главная страница