· соблюдать парность скобок ( и ), [ и ], { и } или « и », использование в термине одной из скобок недопустимо;
· недопустимо использование парных скобок, написанных в термине наоборот, например, нельзя использовать в термине последовательности: )(, ][, }{ или »«;
· в терминах не используются графические знаки;
· длинные последовательности знаков обычно не используются, а точнее так - в термине не допускается использовать больше, чем задано пользователем число элементов;
· допускается использовать только грамматически правильные многозначия, например одну, две и три точки (подчеркиваний или тире);
· недопустимы последовательности из однобуквенных слов (разрядка);
· недопустимы, например, три знака с одним словом.
Словари могут быть составлены неправильно, если не будут учтены правила СиГ хотя бы для окончаний слов. Два термина «белый аист» и «белому аисту» будут различными, тогда подсчет числа использования термина «белый аист» будет неверным. В алгоритмы корреляционного анализа вложены правила, по которым указанные два термина отождествляются. В терминологический словарь потенциально попадает термин «бел_ый аист», что обеспечивает отождествление его с термином «бел_ому аист_у». Статистика использования не будет испорчена. Сложнее учитывать правила СиГ относительно вариации суффиксов. Их также можно учесть.
Алгоритмическими проблемами являются следующие проблемы. Пока неясно как определять синонимы. В терминологический словарь попадают (или нет) синонимы терминов, которые можно распознать только с помощью контекста. Анализ контекста проблематичен. Пока неясно как обнаруживать сами определения терминов. По-видимому, опять на помощь может прийти контекст использования данного термина. Пока неясно как определять избыточную часть текста знаний. Отчасти эту проблему можно решать, используя сведения из стандартных словарей. Некоторые результаты определения избыточности могут быть получены после сравнения получаемого терминологического словаря и имеющегося лексикона. Это только три проблемы из большого числа не только алгоритмических проблем, но и принципиальных проблем теории определений.
5.7. Концептуальная информатика как теория
Итак, рассмотрены некоторые вопросы теории определений: критерии для построения правильных определений, основы теории имени и значения, структуры и классы определений. Совокупность определений, методов, приемов и алгоритмов является принадлежностью новой дисциплины, которую можно именовать концептуальной информатикой. После достаточного накопления знаний по этой дисциплине можно говорить об определении понятия концептуальной информатики. Из написанного материала следует, что она имеет:
· предмет для изучения - это формирование или поиск терминов и их определений,
· назначение – это терминологический анализ знания,
· цели - автоматизация построения словарей и атрибутов элементов словарей,
· задачи - это создание алгоритмов обработки текстов по смыслу,
· области применения - это информатика в общем смысле слова,
· проблемы - это выявленные противоречия как внутри дисциплины, так и вне нее, при сопоставлении в уже сформировавшейся лингвистике.
Пока можно говорить лишь о теории концептуальной информатики, которая сразу же находит применение в разработках ЭС, ПС, СИИ и Интеллсист. Конечно, эта теория применяется в разработках лексиконов и применялась ранее при статистическом анализе текстов, для автоматизированных средств написания рефератов и при составлении терминологических словарей вручную.
Глава 6. Вычисление смысла понятия
6.1. Смысл понятия
Общее определение смысла некоторого понятия включает то, что смысл выражает мысль, содержащуюся в понятии. Это определение надо уточнить. Оно указывает содержание или назначение какой-либо вещи, цель какого-либо процесса или поступка, сущность какого-либо явления. Смысл определяет контекст, в котором используется определяемое понятие, и наоборот, контекст подчас уточняет или даже определяет смысл определяемого понятия. Именно это обстоятельство чрезвычайно усложняет определение смысла данного понятия. Фактически здесь дано косвенное определение, которое создает общее представление о понятии смысла (см. также т.2).
Несколько точнее будет представлено определение смысла, если сопоставим два понятия: значение и смысл. Значение понятия - это предмет, смысл понятия - это сообщение, содержащееся в нем. Смысл эквивалентен значению только тогда, когда рассматривается собственное имя. Например, число 49 имеет значение, которое совпадает со смыслом этого числа. Такой же пример и так же интерпретируется - это собственное имя человека. Вообще же, смысл понятия не эквивалентен значению по двум причинам. Во-первых, одно и то же понятие в различных контекстах может иметь различные значения. Во-вторых, смысл вносит вклад в интерпретацию текста (и наоборот), включающего данное понятие, а значение обычно остается самим собой. Можно привести еще некоторые различия в понятия смысл и значение. Из приведенных характеристик уже можно сделать вывод об их различении.
Рассмотрим логические основы понятия смысла. Поскольку определение понятия представляет собой совокупность логических суждений, то и смысл понятия определяется из этих же суждений. Знание смысла некоторого суждения может зависеть от знания смысла другого суждения (вложенного в него или находящегося в контексте). Смысл определения понятия заключается в логической связи известных понятий. И эта интерпретация понятия смысла уточняет сущность самого смысла.
Формирование понятия, которое должно выражать некоторый смысл, осуществляется человеком и передается в память ВМ. Проблема концептуальной информатики, связанная с автоматическим формированием понятия, пока еще находится в начальной стадии постановки. Поэтому рано говорить об алгоритмах обучения Интеллсист данным из среды исследования и распознавания понятий по результатам исследований. В связи с этим будем ориентироваться на возможности человека, которые можно представить вариантами его деятельности при формировании понятия.
Прежде всего, понятие может возникнуть в результате озарения. Озарение - это итоговое проявление подсознания, результат внутренних не осознанных процессов принятия решений для некоторых ситуаций, положений или действий. Как и другие понятия, понятие озарения многолико, поэтому его краткое определение только вычленяет канву для понимания того, как человек осуществляет свою работу по формированию данного конкретного или абстрактного понятия (в частности).
Понятие может подсказать так называемый здравый смысл человека. Здравый смысл - это совокупность взглядов, навыков, форм мышления, используемая человеком в повседневной практической деятельности и в зависимости от сложившихся ситуаций, положений или действий. Этот способ формирования, например, понятий работает чаще всего при использовании интуиции, наития или беглого исследования окружающего мира. Так или иначе, но здравый смысл способствует, по крайней мере, экспресс формулировке понятия в исследуемой предметной и проблемной области.
Следующий прием определения смысла, применяемый при формировании понятия, именуется интеллектом, который может использоваться только при наличии знаний. Интеллект - это разум человека, способность его познавать предметы, явления и процессы действительности, умение его мыслить (или производить логический вывод) и в процессе мышления достигать целей формирования понятий (в частности). Моделирование интеллекта, создание Интеллсист или ЭС составляют ведущий предмет современных исследований информатики. Можно надеяться на то, что с помощью Интеллсист можно будет достичь результатов автоматизации процессов формирования понятий, тем самым разрешить проблемы концептуальной информатики.
Немаловажную роль играет память при формировании новых понятий. Память - это способность сохранять и воспроизводить сообщения о внешнем мире и о своем внутреннем состоянии для последующего использования в реальных жизненных процессах. Память важна не сама по себе, а в союзе с другими подходами формирования понятий. В данном случае имеется в виду под памятью не только средство хранения, но и средство быстрого доступа к сохраняемым сообщениям.
Фундаментальным подходом к формированию понятий является применение логического мышления. Это следует из того факта, что определение понятия состоит из совокупностей логических суждений. Логическое мышление - это совокупность навыков и умений строить логические суждения, исходя из имеющихся логических суждений по некоторым правилам вывода. Например, определения направлений в информатике логически следует из развития методов программирования.
Нельзя сколько-нибудь пренебрегать возможностью человека к фантазии, к сочинительству или к выдумке нового. Это ему свойственно. Фантазия - это плод воображения человека, которое характеризуется особой силой, яростью и необходимостью создаваемых им представлений и образов воображаемого мира. Может быть, при самом начале формирования, например понятия, человек прибегает к фантазии, что создает поле работы с новыми предметами, явлениями или процессами.