А. А. Красилов информатика в семи томах том Информатика смысла Машинная лингвистика



страница1/23
Дата01.08.2016
Размер4.61 Mb.
  1   2   3   4   5   6   7   8   9   ...   23
А.А. Красилов

ИНФОРМАТИКА

В СЕМИ ТОМАХ

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

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



Москва

1997 - 2003


ИНФОРМАТИКА

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

(Введение в информатику)
Том 2. Информатика смысла

(Машинная лингвистика)
Том 3. Концептуальная информатика

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

(Структуры данных)
Том 5. Основания информатики

(Теоретические основы)
Том 6. Методы информатики

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

разработка и сопровождение)
Том 7. Интеллектуальные системы

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

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




УДК ....................
Аннотация
Смысл текста и других средств и методов представления знаний определяется путем вычисления значения понятия, фразы или абзаца из фраз. Исходным данными для вычислений является смысл понятия. Без связи с другими или стандартными понятиями данное понятие не имеет смысла. Каждому объекту или понятию соотносится пара имя понятия - его смысл. В томе рассматривается основной атрибут объекта вычисления смысла - язык. Первая сторона языка - совокупность правил формирования фраз и их значений, вторая сторона языка - анализ фраз для установления соответствия текстов правилам языка. Правила определяются в семантической грамматике русского (и любого другого) языка, анализ фраз осуществляется средствами реализации распознающей грамматики. Семантическая и распознающая грамматики связаны между собой как алгоритм и средства его реализации. Основой для контроля правильности текстов и возможности вычисления смысла текстов является формальный язык Лейбниц как формальная основа языка профессиональной прозы.
The sense of the text and other means and methods of representation of knowledge is determined by calculation of value of concept, a phrase or the paragraph from phrases. The data for calculations the sense of concept is initial. Without connection with other or standard concepts the given concept is not meaningful. To each object or concept the pair a name of concept - his sense corresponds. In volume the basic attribute of object of calculation of sense - language is considered. The first side of language - set of rules of formation of phrases and their values, the second side of language - the analysis of phrases for an establishment of conformity of texts to rules of language. Rules are determined in semantic grammar Russian (and any another) language, the analysis of phrases is carried out by means of realization of recognizing grammar. Semantic and recognizing grammar are connected among themselves as algorithm and means of his realization. Basis for the control of correctness of texts and an opportunity of calculation of sense of texts is formal language Leibniz as a formal basis of language of professional prose.
(www.translate.ru)

ОГЛАВЛЕНИЕ


Введение
Глава 1. Общение в системе человек-ВМ

1.1. Основные средства общения

1.2. Классификация языков общения в системе человек-ВМ. Языки ФРАК

1.3. Сравнение языков автокод, высокого уровня и ФРАК

1.4. Основа общения - язык, о способах задания языков

1.5. Языки профессиональной прозы

1.6. Языки сценариев

1.7. Языки представления знаний о языках, метаязык Марков

Глава 2. Семантическая грамматика русского языка

Введение в сущность СеГ

2.1. Проблемы информатики смысла.

2.1.1. Основания для новой грамматики

2.1.2. Основной тезис для построения СеГ

2.1.3. Отладка знаний и язык

2.1.4. Источники проблемы смысла

2.1.5. Процесс формализации знаний

2.2. Знаки и лексемы

2.3. Слова, имена и термины

2.4. Понятия, классы понятий и лексиконы

2.4.1. Понятия

2.4.2. Классы понятий

2.4.3. Лексиконы

2.4.4. Предварительные сведения о представлении знаний

2.5. Фразы и абзацы

2.6. Смысл фразы

2.6.1. Понятие смысла

2.6.2. Смысл и значение

2.6.3. Принципы для определения смысла фразы

2.6.4. Вычисление смысла

2.6.5. Роли частей речи СиГ

2.7. Система смысла и применения СеГ

2.7.1. Алгоритм вычисления смысла текста

2.7.2. Рекурсивность алгоритма вычисления смысла

2.7.3. Универсальная грамматика и ее применение

2.7.4. Универсальный язык и проблемы СеГ

Глава 3. Языки меню

3.1. Методы общения с программами

3.2. Основные работы в меню Интеллсист

3.2.1. Работа с файлами

3.2.2. Справочная служба

3.2.3. Сервис Интеллсист

3.2.4. Параметры Интерфейса

3.2.5. Статистика Интеллсист

3.2.6. Настройка Интеллсист

3.2.7. Вхождение пользователя в Интеллсист

3.3. Иерархия работ и подработ

3.3.1. Формирование структуры Интеллсист

3.3.2. Работа с языками в Интеллсист

3.3.3. Формирование лексикона

3.3.4. Работы с библиотекой

3.3.5. Формирование БЗ

3.3.6. Работа с запросами

3.3.7. Формирование новой Интеллсист

3.3.8. Системные работы

3.4. Проектирование работ для меню

3.5. Пиктографические меню

3.6. Общая характеристика других работ

3.7. Инсталляция программ

Глава 4. Язык Лейбниц (формальное представление знаний)

4.1. Формальное определение ЯПП

4.1.1. Прагмы

4.2. Лексемы

4.2.1. Символьные литералы

4.2.2. Логические литералы

4.2.3. Числовые литералы

4.2.4. Агрегаты литералов

4.2.5. Строковые литералы

4.2.6. Литералы дат

4.2.7. Литералы времени

4.2.8. Литералы комплексных чисел

4.2.9. Ссылочные литералы

4.2.10. Другие литералы

4.3. Определение типов (предметная область)

4.3.1. Символьный тип

4.3.2. Логический тип

4.3.3. Типы перечислимых

4.3.4. Числовые типы

4.3.5. Индексируемые типы

4.3.6. Строковый тип

4.3.7. Именуемые типы

4.3.8. Табличные типы

4.3.9. Ссылочный тип

4.3.10. Множественные типы

4.3.11. Последовательностные типы

4.3.12. Подпрограммные типы

4.3.13. Абстрактный тип

4.4. Логические выражения

4.4.1. Имена

4.4.2. Кванторы

4.4.3. Вызов функции

4.4.4. Вызов процедуры

4.4.5. Преобразование типа

4.4.6. Квалифицированное выражение

4.4.7. Атрибуты

4.4.8. Индексируемые компоненты и отрезки

4.4.9. Именуемый компонент

4.4.10. Запись алгоритма

4.5. Разделы записей на языке Лейбниц

4.5.1. Раздел пользователя

4.5.2. Определения типов. Раздел о предметной области

4.5.3. Определения понятий. Раздел о предметной области

4.5.4. Определения метапонятий. Раздел о предметной области

4.5.5. Определения синонимов. Раздел о предметной области

4.5.6. Определения отношений. Раздел о предметной области

4.5.7. Определения операций. Раздел о проблемной области

4.5.8. Определения исключений. Раздел о проблемной области

4.5.9. Определения правил. Раздел о проблемной области

4.5.10. Определения подстановок. Раздел о проблемной области

4.5.11. Определения масштаба. Раздел о проблемной области

4.5.12. Определения библиотек. Раздел о библиотеках

4.5.13. Базы знаний. Раздел области знаний

4.5.14. Определения запросов. Раздел области запросов

4.5.15. Определения меток. Раздел о проблемной области

4.5.16.Анкеты и шаблоны. Раздел о проблемной области

4.5.17. Неявные описания и вводные фразы

4.6. Стандартное окружение

4.7. Связь с программированием

4.7.1. Вызов готовых программ. Язык Вызов

4.7.2. Спецификации представлений

4.7.3. Переработка знания с ЕЯ

4.7.4. Избыточность и умолчание в языках

4.7.5. Вводные слова, термины и фразы

4.7.6. Ударение в словах

4.7.7. Смысл косвенной речи

4.7.8. Роль синтаксической грамматики ЕЯ

Глава 5. Распознающие грамматики

5.1. Граф языка и примеры.

5.1.1. Общие сведения

5.1.2. Словари

5.1.3. Формальные языки

5.1.4. Граф языка

5.1.5. Примеры ФЯ

5.1.6. Распознающие грамматики

5.1.7. Графическое представление примеров

5.2. Графический метаязык. Алгоритмы порождения и распознавания

5.2.1. Графический метаязык

5.2.2. Алгоритмы порождения и распознавания

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

5.3. Система команд МГР типа 1

5.4. Система команд МГР типа 2 и Расширение системы команд МГР

5.5. Система команд МГР типа 3

5.6. Система команд МГР типа 4

5.7. Эквивалентность МГР и машины Тьюринга

Глава 6. Использование МГР и математические машины

6.1. Концепция математических машин

6.1.1. Введение

6.1.2. Общие характеристики ММ

6.1.3. Формальное описание ММ

6.1.4. Примеры проектирования ММ

6.1.5. Операции конструирование ММ

6.2. Математическая машина диалога

6.3. Математическая машина экрана (заметка)

6.4. Машина грамматического разбора для лексического анализа

6.5. Машина грамматического разбора для синтаксического и семантического анализа

6.6. Машины логического и алгебраического выводов

6.7. Машина генерации кода синтезируемой программы


Каталог: files
files -> Чисть I. История. Введение: Предмет философии науки Глава I. Философия науки как прикладная логика: Логический позитивизм
files -> Занятие № Философская проза Ж.=П. Сартра и А. Камю. Философские истоки литературы экзистенциализма
files -> -
files -> Взаимодействие поэзии и прозы в англо-ирландской литературе первой половины XX века
files -> Эрнст Гомбрих История искусства москва 1998
files -> Питер москва Санкт-Петарбург -нижний Новгород • Воронеж Ростов-на-Дону • Екатеринбург • Самара Киев- харьков • Минск 2003 ббк 88. 1(0)
files -> Антиискусство как социальное явлеНИе
files -> Издательство
files -> Список иностранных песен
files -> Репертуар группы


Поделитесь с Вашими друзьями:
  1   2   3   4   5   6   7   8   9   ...   23


База данных защищена авторским правом ©uverenniy.ru 2019
обратиться к администрации

    Главная страница