Главная > Документ


А.А. Красилов

ИНФОРМАТИКА

В СЕМИ ТОМАХ

Том 3. Концептуальная информатика

(Толковый словарь по информатике

Москва

1997 - 2003

ИНФОРМАТИКА

Том 1. Основы информатики

(Введение в информатику)

Том 2. Информатика смысла

(Машинная лингвистика)

Том 3. Концептуальная информатика

(Толковый словарь по информатике)

Том 4. Представление знаний

(Структуры данных)

Том 5. Основания информатики

(Теоретические основы)

Том 6. Методы информатики

(Изобретание, проектирование,

разработка и сопровождение)

Том 7. Интеллектуальные системы

(Системы решения проблем)

Альберт Александрович Красилов

УДК ....................

Аннотация

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

The informatics as a science has the lexicon which has not settled and is yet in development. In volume disclosing concept of sense of the texts used in informatics, through studying of sense of concept proceeds. Set of concepts of some area of knowledge makes a lexicon of the given area of knowledge. The offered terminological dictionary being a lexicon for the person, contains by way of illustration definitions more than 1350 terms according to new definition of informatics. As against known terminological dictionaries on programming the offered dictionary bases on new definition of the concept of informatics as sciences about the description, judgement, definition, accumulation, formalizations, use of knowledge for synthesis of new knowledge with help of means of computer facilities and programs of its work. On the other hand, terms and their definitions open sense of the basic concepts of informatics, promote understanding of new definition of informatics. The dictionary will help users Intelsis and to developers of machine systems of various purpose(or assignment) with a spelling of reports, manuals and grants. The dictionary also will be useful to students and the post-graduate students engaged in bases of informatics.

()

ОГЛАВЛЕНИЕ

Введение

Глава 1. Основные понятия: знак, язык, понятие, значение, теория, алгоритм и система

1.1. Понятие знака

1.2. Понятие языка

1.3. Понятие понятия

1.4. Понятие значения

1.5. Понятие теории

1.6. Понятие алгоритма

1.7. Понятие системы

Глава 2. Передача знания средствами языка

2.1. Концепция синтаксиса языков

2.2. Концепция семантики языков

2.3. Язык как средство передачи знаний

2.4. Концепция прагматики языков

2.5. Соотношение языка и знаний

2.6. Передача смысла текстами

2.7. Системы обработки знаний

Глава 3. Основные концепции определения понятий

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

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

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

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

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

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

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

Глава 4. Представления понятий

4.1. Некоторые соображения о внешних представлениях

4.2. Внутренние представления

4.3. Словари из символов и слов

4.4. Терминологический словарь

4.5. Представление знания

4.6. Представления программ как смысла алгоритмов

4.7. О словарях баз знаний

Глава 5. Теория определений

Введение

5.1. Критерии для определений

5.2. Теория имени и значения, наименование понятия

5.2.1. Имена и значения

5.2.2. Наименование понятия

5.3. Структура определения

5.4. Теория и классы определений

5.5. Классы определений

5.5.1. Описательное определение

5.5.2. Контекстное определение

5.5.3. Остенсиональное определение

5.5.4. Интенсиональное определение

5.5.5. Аксиоматическое определение

5.5.6. Операциональное определение

5.5.7. Индуктивное определение

5.6. Теория определений в алгоритмах

5.7. Концептуальная информатика как теория

Глава 6. Вычисление смысла понятия

6.1. Смысл понятия

6.2. Приемы определения понятия

6.3. Правила определения понятия

6.4. Словари и смысл текста

6.5. Приемы построения определений в ИП

6.5.1. Языки определений понятий

6.5.2. Некоторая языковая атрибутика определений

6.5.3. Предикатные определения

6.5.4. Определение логическими уравнениями

6.5.5. Определения алгоритмами

6.5.6. Определения в языке Лейбниц

Глава 7. Трансляция на формальный язык

7.1. Лексический анализ

7.2. Выделение терминов

7.3. Перевод на ФЯ, синтаксический и семантический анализы

7.4. Перевод с формального языка на естественный язык

7.5. Сохранение смысла

7.6. Общие операции анализа текстов и МГР

7.7 Проблемы концептуальной информатики

Литература

Приложение 1. Терминологический словарь по информатике

А

Б

В

Г

Д

Е

Ж

З

И

К

Л

М

Н

О

П

Р

С

Т

У

Ф

Х

Ц

Ч

Ш

Щ

Э

Ю

Я

Приложение 2. Словарь терминов по информатике на русском языке

Приложение 3. Словарь терминов информатики на английском языке

Сокращения для терминов

АЛЗ - алгоритмические знания

БД - база данных

БЗ - база знаний

ВМ - вычислительная машина, осуществленная на какой-либо

физической, биологической или другой основе

ГЯ - граф языка

ЕЯ - естественный язык

ИИС - инструментарий интеллектуальной системы

ИМГР - интерпретатор машины грамматического разбора

Интеллсист - интеллектуальная система

КИЗ - кибернетические знания

КОЗ - концептуальные знания

ЛИЗ - лингвосемиотические знания

МГР - машина грамматического разбора

МТ - машина Тьюринга

ПЭВМ - персональная электронная вычислительная машина

СВТ - средства вычислительной техники

СеГ - семантическая грамматика

СЕЗ - семантические знания

СиГ - синтаксическая грамматика

СУБД - система управления базой данных

СУБЗ - система управления базой знаний

т. - том публикации Информатика

ТЕЗ - теоретические знания

ФАЗ - фактографические знания

ФРАК - формульный автокод

ФЯ - формальный язык

ЭВМ - электронная вычислительная машина

ЭС - экспертная система

ЯЛ - язык Лейбниц

ЯПП - язык профессиональной прозы

ВВЕДЕНИЕ

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

Наиболее сложным разделом информатики является раздел, в котором изучаются проблемы изобретания, проектирование, выбора и определения понятий, осуществляется концептуализация знаний, а следом - определение смысла текста. Решение этих проблем составляет сущность этапа формализации знаний. Именно в связи с процессами изобретания характеристик понятий возникает интеллектуальная сложность. Сложность изложения содержания раздела основывается на некоторых обстоятельствах. Среди них отметим следующие обстоятельства. Рассмотрение ведется на примере определения понятия информатики. Новое понятие информатики и его определение имеет слабую устойчивость, так как оно пока опирается на малую область использования в современном понимании и имеет ограниченное число потребителей. В таком случае необходима смелость для внедрения нового понятия в практику исследований и разработок. Вообще же каждое новое понятие или его обозначающий термин встречают естественное сопротивление со стороны пользователей. Внедрение ВМ в практику составления словарей терминов и определений, выработки понятий и анализа системы понятий только начинается (в отличие от словарей и терминов из слов). Еще мало накоплено программ для решения подобных задач. Здесь важное место в таком перечне трудностей и проблем занимает вопрос связи нового понятия с имеющимся набором понятий, примыкающих к исследуемой области знаний. И еще одно обстоятельство, к настоящему времени еще не сформировался формализм теории определения понятия, хотя имеется огромный список литературы, которая включает свою интерпретацию разрешения проблемы определения понятий [Апресян74, Бакланов78, Бектаев69, Бидер76, Бирюков65, Богодист74, Гетманова95, Зализняк77, Ловицкий80, Мальковский80, Машина86, Пиотровский74, ПоповЭ82, Рубашкин89, Скороходько74, Тыугу84, Фрейденталь69, Хельбиг80, Шанский81]. Правда, отдельные науки (в особенности математика и информатика) выработали подходящий формализм для построения понятий. Но распространение имеющегося формализма на общую теорию определения затруднительно. Конечно, необходимо быть оптимистом для введения новых определений понятий. Именно это позволяет надеяться на успех при формировании нового определения информатики.

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

Концептуальная информатика - это раздел информатики, изучающий описание, осмысление, определение, представление, формализацию и применение слов, терминов, имен, понятий, определений и смысла этих объектов для решения различных проблем применения ВМ, функционирования системы человек-ВМ и формирования новых слов, терминов, имен, понятий и их определений. Самым верным и богатым источником знаний в концептуальной информатике является ЕЯ и его грамматики (СиГ и СеГ). В СеГ ЕЯ наиболее точно определяются понятия слова, термина, имени и понятия. Эти определения значительно шире соответствующих определений в СиГ. Более всего будем уточнять понятие имени и дадим полное определение понятий «понятие» и «определение». Такова программа этого тома.

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

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

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

Далее рассматриваются классы определений, которые порождены в результате развития концепций информатики. Допускается, что известные в лингвистике классы не полностью согласуются с данными ниже. Будем восхвалять судью - читателя. Новая классификация поддержана способами построения и представления определений любого понятия (глава 3). Изложена попытка построения теории определений и методов формализации определений понятий (глава 5). И, наконец, в качестве практических иллюстраций всех исследований в Приложении 1 приведен терминологический словарь по информатике.

Глава 1. Основные понятия: знак, язык, понятие, значение, теория, алгоритм и система

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

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

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

1.1. Понятие знака

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

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

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

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



Скачать документ

Похожие документы:

  1. Информатика в семи томах том 6 методы информатики

    Документ
    ... - 2003 ИНФОРМАТИКАТом 1. Основы информатики (Введение в информатику) Том 2. Информатика смысла (Машинная лингвистика) Том 3. Концептуальнаяинформатика (Толковый словарь по информатике) Том 4. Представление ...
  2. А а красилов информатика в семи томах том 1 основы информатики

    Книга
    ... ИНФОРМАТИКА В СЕМИТОМАХТом 1. Основы информатики (Введение в информатику) Москва 1997 - 2003 ИНФОРМАТИКАТом 1. Основы информатики (Введение в информатику) Том 2. Информатика смысла (Машинная лингвистика) Том 3. Концептуальнаяинформатика ...
  3. А а красилов информатика в семи томах том 1 основы информатики

    Книга
    ... ИНФОРМАТИКА В СЕМИТОМАХТом 1. Основы информатики (Введение в информатику) Москва 1997 - 2003 ИНФОРМАТИКАТом 1. Основы информатики (Введение в информатику) Том 2. Информатика смысла (Машинная лингвистика) Том 3. Концептуальнаяинформатика ...
  4. Содержание программы (11)

    Основная образовательная программа
    ... сообществами округа. Концептуальная основа блока дополнительного ... педагогическая деятельность семьи и школы, в том числе в ... Информатика (БИНОМ) Угринович Н.Д. Информатика и ИКТ (БИНОМ) Угринович Н.Д. Информатика и ИКТ (БИНОМ) Угринович Н.Д. Информатика ...
  5. Принято утверждено трудового коллектива « гимназия № 1 г майского» протокол № 1 от «31» августа 2011г № 172

    Доклад
    ... в республиканском конкурсе «Инновации-школе»в номинации «Информатика и технология»; Белокобыльская С.М. - 3 ... посещены 43 семьи, в том числе более 10 опекунских семей, более 20 ... учебного процесса с учетом новых концептуальных подходов к оценке учебных и ...

Другие похожие документы..