Научная литература
booksshare.net -> Добавить материал -> Логика -> Кулик Б.А. -> "Логика естественных рассуждений" -> 55

Логика естественных рассуждений - Кулик Б.А.

Кулик Б.А. Логика естественных рассуждений. Под редакцией Дюка В. А. — СПб.: Невский Диалект, 2001. — 128 c.
ISBN 5-7940-0080-5
Скачать (прямая ссылка): logika-estestvennih-rassujdeniy.djvu
Предыдущая << 1 .. 49 50 51 52 53 54 < 55 > 56 >> Следующая


Иногда имеет смысл формировать отдельные классы из множеств "независимых" элементов, т. е. из множеств, каждый элемент которого не связан отношением частичного порядка ни с одним из элементов этого класса.

При описании признаков объектов в теории распознавания образов в основном ограничиваются следующими типами шкал: а) бинарными

Приложение^. Частично упорядоченные множества^ 125

шкалами, б) шкалами наименований, в) шкалами вполне упорядоченных множеств и г) числовыми шкалами (дискретными или непрерывными) [Лбов и Старцева, 1999]. Возможно, что использование структур данных типа QC-структур в качестве шкал и представление данных в виде класса Dom с разнотипными координатами дадут теории распознавания образов новый импульс развития.

3. Еще одним приложением QC-структур могут служить задачи восстановления неполных данных. В упрощенном виде эта задача сводится к построению формальной QC-структуры системы, в которой часть данных представлена литералами, играющими в данном случае роль неизвестных или пропущенных данных. Если в появляющихся в результате анализа цепях диаграмм Хассе QC-структуры совместно присутствуют точные значения и неизвестные, то значения неизвестных могут быть уточнены с помощью интервальных оценок, в которых в качестве границ используются содержащиеся в этих цепях литералы с известным точным значением.

список литературы

[Арнольд, 1997] Арнольд В. И. Избранное-60. М.: Фазис, 1997. [Биркгоф и Барти, 1976] Биркгоф Г., Барти Т. Современная прикладная алгебра. М.: Мир, 1976.

[Блехмаи и др., 1976] Блехман И. И., Мышкис А. Д., Пановко Я. Г. Прикладная математика: предмет, логика, особенности подходов. Киев: Наукова думка, 1976.

[Бурбаки, 1963] Бурбаки Н. Очерки по истории математики. М.: Изд-во иностр. лит., 1963.

[Зенкин, 1997] Зенкин А. А. Принцип разделения времени и анализ одного класса квазифинитных правдоподобных рассуждений (на примере теоремы Г. Кантора о несчетности) // Доклады РАН. Раздел "Математика". 1997. Т. 356. № 6. С. 733-735.

[Зенкин, 2000] Зенкин А. А. Ошибка Георга Кантора // Вопросы философии. 2000. №2. С. 165-168.

[Карпенко, 2000] Карпенко А. С. Логика: Феномены XX века // Современная логика: проблемы теории, истории и применения в науке. Материалы VI Общероссийской научной конференции. Санкт-Петербург, 22-24 июня 2000 г. С. 461-465.

[Клайн, 1984] Клайн М. Математика: Утрата определенности. М.: Мир, 1984. [Колмогоров и Фомин, 1972] Колмогоров A. H., Фомин С. В. Элементы теории функций и функционального анализа. M.: Наука, 1972.

[Кристофидес, 1976] Кристофидес Н. Теория графов. Алгоритмический подход. M.: Мир, 1976.

[Кулик, 1996а] Кулик Б. А. Моделирование рассуждений на основе законов алгебры множеств // Труды V национальной конференции по искусственному интеллекту. Казань, 7-12 октября 1996 г. Т. 1. С. 58-61.

[Кулик, 19966] Кулик Б. А. Основные принципы философии здравого смысла (познавательный аспект) // Новости искусственного интеллекта. 1996. № 3. С. 7-92.

[Кулик, 1997а] Кулик Б. А. Интерпретируемые системы логического вывода //

Международная конференция "Смирновские чтения" (тезисы докладов).

Институт философии РАН. 1997. С. 54-55. [Кулик, 19976] Кулик Б. А. Логические основы здравого смысла / Под ред.

Д. А. Поспелова. - СПб.: Политехника, 1997. 131 с. [Кулик, 1997в] Кулик Б. А. Логика здравого смысла // Здравый смысл. 1997.

№ 1(5). С. 44-48.

Список литературы

127

[Кулик, 1998а] Кулик Б. А. Программа для моделирования и анализа естественных рассуждений // Компьютерные инструменты в образовании. 1998. № 2. С. 55-63.

[Кулик, 19986] Кулик Б. А. Система логического вывода на логических графах // Современная логика: проблемы теории истории и применения в науке. Материалы V Общероссийской научной конференции. Санкт-Петербург, 18-20 июня 1998 г. С. 169-171.

[Кулик, 1999] Кулик Б. А., Алгебраические основы естественных рассуждений: Е-структуры // Логико-лингвистическое управление динамическими объектами (DOLLC99). Материалы II международной конференции Санкт-Петербург, 21-25 июня 1999 г. С. 29-40.

{Кулик и Романов, 1999] Кулик Б. А., Романов Л. Н. Алгебраический подход к моделированию и анализу естественных рассуждений на основе Е-структур // Интеллектуальное управление: новые интеллектуальные технологии в задачах управления (1С1Т'99). Труды Международной конференции. Пере-славль-Залесский, 6-9 декабря 1999 г. М.: Наука. С. 50-54.

[Кулик, 2000] Кулик Б. А. Логическая модель развивающегося знания на основе Е-структур // Современная логика: проблемы теории, истории и применения в науке. Материалы VI Общероссийской научной конференции. Санкт-Петербург, 22-24 июня 2000 г. С. 204-211.

[Кун, 1975] Кун Т. Структура научных революций. M.: Прогресс, 1975.

[Кэрролл, 1973] Кэрролл Л. История с узелками. M.: Мир, 1973.

[Лбов и Старцева, 1999] Лбов Г. С, Старцева Н. Г. Логические решающие функции и вопросы статистической устойчивости решений. Новосибирск: Из-во Ин-та математики, 1999.

[Леонов, 1998] Леонов В. П. Долгое прощание с лысенковщиной // Web-страница в Интернете http://www. doktor. ru/doctor/biometr/lib/lis. 1998.
Предыдущая << 1 .. 49 50 51 52 53 54 < 55 > 56 >> Следующая

Реклама

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed

Есть, чем поделиться? Отправьте
материал
нам
Авторские права © 2009 BooksShare.
Все права защищены.
Rambler's Top100

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed