Изобретание, проектирование, разработка и сопровождение) Том Интеллектуальные системы (Системы решения проблем)  Альберт Александрович Красилов (стр. 1 из 85)

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

ИНФОРМАТИКА

В СЕМИ ТОМАХ

Том 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.

(www.translate.ru)

ОГЛАВЛЕНИЕ

Введение

Глава 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]. Правда, отдельные науки (в особенности математика и информатика) выработали подходящий формализм для построения понятий. Но распространение имеющегося формализма на общую теорию определения затруднительно. Конечно, необходимо быть оптимистом для введения новых определений понятий. Именно это позволяет надеяться на успех при формировании нового определения информатики.