СеГ рассматривает все грамматические категории, относящиеся к синтаксису. Их немного, значительно меньше, чем в СиГ. Главными из них являются типы данных, состоящие из лексем. На втором месте находятся понятия терманд и термация, которые обладают (или временно не обладают) значениями или смыслом. На третьем месте находятся понятия фразы и абзацы, которые имеют вычисленный смысл, Наконец, на четвертом месте находятся разделы ЯПП, которые отражены в голове меню инструментария ИП. Всего СеГ вводит около 100 категорий, что обеспечивает поддержку ЕЯ для передачи Интеллсист с его помощью знаний и запросов и Интеллсист для вычисления смысла текстов.
Практическая польза семантики состоит в том, чтобы при анализе текста обеспечить поиск в нем семантических ошибок. Поскольку все правила вычисления смысла текстов известны, программы анализа текстов осуществляют автоматический поиск всех семантических ошибок. Это важное обстоятельство для подтверждения смысловой правильности текстов. Все правила семантики (как и синтаксиса) описывают строгий порядок в написании любых частей текста для сохранения смысла, нарушение правил должно обнаруживаться в первую очередь, что обеспечивает недопущение текстов в дальнейшую обработку. Семантические ошибки, и это, по-видимому, правильно, позволяют обнаруживать, в частности, смысловые ошибки. Например, в тексте имеется фраза вида «А грамм сложить с В лет» содержит семантическую ошибку в использовании типов данных и операции сложения для этих типов. Правильной будет фраза «А грамм сложить с В килограмм». Число разделов семантических ошибок меньше числа разделов синтаксических, но конкретных обнаруживаемых семантических ошибок больше.
Семантика играет важнейшую роль в обучении пользователя не только потому, что она содержит правила вычисления смысла текстов, но главным образом потому, что изучение основных правил СеГ обеспечивает самоконтроль пользователя при формировании и применении осмысливаемых текстов. После осмысления текстов можно приступать к его обработке и формированию результатов обработки.
Для обработки текстов используются порождающие и распознающие грамматики со средствами их применения - МГР. Центральным языковым средством выражения и предметом обработки знаний является термин. Термин является именем понятия, которое является центральным объектом концептуальной информатики. Из терминов строятся самых разнообразные тексты, которые перерабатываются в Интеллсист. Множество последовательностей терминов образует язык, предназначенный для передачи знаний в системах человек-человек и человек-ВМ. Язык является главным средством передачи знаний. Кроме этого, знания могут передаваться, например таблицами данных, которые являются частью знаний или набором фактического материала.
2.3. Язык как средство передачи знаний
Итак, с помощью языка передаются осмысливаемые знания, как об этом подробно говорилось в томе 2. Каждый текст, передающий смысл должен состоять из терминов понятий. Теперь же рассмотрим это положение с другой точки зрения. Каждый знак может явиться понятием, поэтому последовательность знаков может выражать или представлять знание. Совокупность последовательностей знаков составляет язык передачи знаний. Этот способ передачи знания используется редко. Каждое слово может явиться понятием, поэтому последовательность слов может также выражать или представлять знание. Совокупность последовательностей слов и знаков составляет язык передачи знаний. Этот способ передачи знания считается важным и основным в СиГ. В СеГ используются знаки, слова и лексемы для передачи знаний. Такой подход к представлению знаний является неудовлетворительным, о чем уже неоднократно говорилось. Суть нового подхода к проблеме передачи знания изложена в томе 2.
Каждый термин обозначает или именует понятие, поэтому последовательность терминов может выражать или представлять знание. Условное «может» использовано для осторожности, связанной с возможностью внесения ошибок, при наличии которых смысл, передаваемый последовательностью терминов, становится неопределенным. Кроме этого, произвольный текст может быть бессмысленным, если он является исходным материалом для обработки. Текст любой публикации является исходным для составления терминологического словаря и для создания БЗ после редактирования. Совокупность последовательностей терминов определяет язык, который и рассматривается как средство передачи знания. Отметим, что любой ФЯ или ЕЯ служит для передачи знания. Язык Паскаль передает алгоритмическое знание, все уверены, что любой ЕЯ передает знания любого вида.
Такие рассуждения и назначение СеГ позволяют прийти к выводу, что основой любого языка является понятие, которое обозначается или именуется термином, а термин (напоминание) состоит из слова, знака, числа, символа, строки или из комбинации перечисленных объектов. СеГ определяет термин так, что все указанные способы формирования языков из последовательностей знаков или слов учитываются при определении термина и языка из последовательностей терминов. Образно можно сказать, что любой язык формируется из последовательностей понятий, а если считать, что любая последовательность понятий есть новое понятие, то язык можно определить как множество последовательностей понятий. Такая абстракция оказывается не очень удобной для восприятия смысла текстов. Поэтому образное определение языка остается только для размышлений.
Практически важно выделить из всего сказанного только тот факт, что центральным объектом любого языка является понятие (если хотите - концепция). Следовательно, концептуальная информатика занимает важное место в практической информатике и имеет набор проблем различных уровней и ориентации. Подробный разбор всех аспектов концепции понятия важно для практики формирования осмысливаемых текстов. Подтверждающие примеры не будут рассматриваться здесь, они приводятся везде по мере необходимости иллюстрации того или иного положения.
Следующее замечание можно считать важным. До сих пор разговор идет о последовательностях символов или знаков, которые определяют язык. Но ведь имеются геометрический или предметный языки, которые также служат средством передачи знания. Изображение картины или предмета соответственно выражают «имя» геометрического или предметного понятия, а текст (описание изображения картины или предмета) выражают смысл этого понятия. В соответствии с часто упоминаемой договоренность такие языки пока остаются за пределами рассмотрения информатики в новом определении. Некоторые соображения относительно графической информатики представлены в томе 4.
2.4. Концепция прагматики языков
Концепция прагматики языка (как синтактики и семантики) также содержится в любых ЕЯ и ФЯ. Если роль прагматики ЕЯ весьма незначительна, то ее роль в ФЯ существенна из-за ограниченных возможностей ВМ. Прагматика языка определяется теоретически как раздел семантики, в котором изучаются отношения субъектов, воспринимающих какую-либо знаковую систему или выражающих отношение к самой знаковой системе. Она определяется практически как совокупность правил, ограничивающих количественно использование той или иной конструкции языка. Практика вбирает в себя из теоретического толкования прагматики только такие или главным образом ограничивающие правила.
Грамматики ЕЯ или ФЯ обычно содержат три важные стороны: синтактику, семантику и прагматику. Поэтому рассмотрение прагматики также важно для концептуальной информатики, как введение и изучение других сторон грамматики. Для ФЯ важно использовать прагматику в реализации контроля за правильность выполнения ограничений, предписанных правилами грамматики. Концепция прагматики может использоваться шире и не ограничиваться только контрольной функцией. Например, Интеллсист предписывает ограничение в числе элементов термина, но кроме этого прагматика предписывает правила выбора самих элементов термина и в особенности терминов-синонимов. Если два абстрактных термина «А А» и «А А А» (два и три однобуквенных слов А) использовать во фразе «А А А А А», то точная идентификация терминов не может быть получена. Интеллсист определит, что фраза состоит из терминов «А А А» и «А А», в то время как пользователь подразумевал другой порядок использования терминов во фразе: «А А» и «А А А». Такие коллизии хотя и редки, но все-таки возможны. Прагматика определяет (на интуитивном уровне) правила, запрещающие использование таких терминов, которые приводят к подобным коллизиям. Все количественные ограничения легко учитываются и проверяются.
Концепция прагматики важна для обучения пользователя основам ЯПП. Несмотря на то, что ЯПП является частью ЕЯ, СеГ предписывает правила использования операций и их синонимов в соответствии с таблицами, полученными в результате анализа ЕЯ (и приведенными в Приложении 3 т.2.). Однако надо учитывать индивидуальность в восприятии операций пользователем. Например, операция «или» во фразе «А или Б» некоторыми пользователями может восприниматься как «исключающее или», которое может быть выражено фразами «либо А, либо Б» или «А не равно Б» (синонимически: А xor Б). СеГ предписывает этой операции смысл логического «или», что необходимо знать каждому пользователю, что означает А = истина, Б = истина или оба А = истина и Б = истина. Этот пример иллюстрирует важность и необходимость изучения некоторых разделов СеГ для передачи в Интеллсист правильно осмысливаемых знаний. Практические сведения содержатся в томе 4.