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