Логика естественных рассуждений - Кулик Б.А.
ISBN 5-7940-0080-5
Скачать (прямая ссылка):


Иногда имеет смысл формировать отдельные классы из множеств "независимых" элементов, т. е. из множеств, каждый элемент которого не связан отношением частичного порядка ни с одним из элементов этого класса.
При описании признаков объектов в теории распознавания образов в основном ограничиваются следующими типами шкал: а) бинарными
Приложение^. Частично упорядоченные множества^ 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.



