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




НазваниеВ семи томах том Информатика смысла Машинная лингвистика
страница1/33
Дата29.11.2012
Размер4.61 Mb.
ТипДокументы
  1   2   3   4   5   6   7   8   9   ...   33
А.А. Красилов


ИНФОРМАТИКА


В СЕМИ ТОМАХ


Том 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. Машина генерации кода синтезируемой программы
  1   2   3   4   5   6   7   8   9   ...   33

Похожие:

В семи томах том Информатика смысла Машинная лингвистика iconСобрание сочинений в семи томах 3 «Собрание сочинений в семи томах»: Время; 2008
Собрание сочинений М. М. Зощенко — самое полное издание прозы одного из крупнейших писателей-новаторов XX века. В него входят практически...
В семи томах том Информатика смысла Машинная лингвистика iconИнформатика в семи томах
Излагаемые методы частично модифицированы по сравнению с их оригинальным изложением для их ориентирования и усиления при использовании...
В семи томах том Информатика смысла Машинная лингвистика iconИнформатика в семи томах
Определяются логические лексемы, фундаментальные операции, правила преобразования логических уравнений, а также металогика для обоснования...
В семи томах том Информатика смысла Машинная лингвистика iconИнформатика в семи томах
Словарь поможет пользователям Интеллсист и разработчикам машинных систем разнообразного назначения в написании отчетов, руководств...
В семи томах том Информатика смысла Машинная лингвистика iconВ семи томах том Основы информатики (Введение в информатику)
Вм на основе своих общих и профессиональных знаний без привлечения программистов для решения задач, для разрешения вопросов или проблем...
В семи томах том Информатика смысла Машинная лингвистика iconВ семи томах том Представление знаний (Структуры данных)
Приводимые примеры служат фрагментами прототипов записей знаний и запросов, предназначенных для создателей заданий и запросов к базе...
В семи томах том Информатика смысла Машинная лингвистика iconРавительство республики башкортостан академия наук республики башкортостан история башкирского народа в семи томах том V уфа гилем 2010
Российская академия наук Уфимский научный центр ■ Институт истории, языка и литературы
В семи томах том Информатика смысла Машинная лингвистика iconЬство республики башкортостан академия наук республики башкортостан история башкирского народа в семи томах том VI москва восточная литература 2011
Российская академия наук Уфимский научный центр Институт истории, языка и литературы
В семи томах том Информатика смысла Машинная лингвистика iconВ семи томах том Интеллектуальные системы (Системы решения проблем)
Интеллсист, их структуры и технологии работы с инструментарием составляют центральную часть тома. Оценка возможностей Интеллсист...
В семи томах том Информатика смысла Машинная лингвистика iconИнформатика и вычислительная техника” и специальностей 220100 “Вычислительные машины, комплексы, системы и сети” и 021800 “Теоретическая и прикладная лингвистика” Ульяновск 2003
Методические указания к выполнению лабораторных работ по программированию для студентов направления 552800 “Информатика и вычислительная...
Разместите кнопку на своём сайте:
Библиотека


База данных защищена авторским правом ©lib.znate.ru 2014
обратиться к администрации
Библиотека
Главная страница