Введение в специальность

Вид материала

Документы

Содержание Раздел 1. НЕКЛАССИЧЕСКИЕ ЛОГИКИ Тема 1.2. НЕЧЕТКИЕ ЛОГИКИ Примерный перечень тем практических занятий Примерный перечень лабораторных работ Примерный перечень компьютерных программ

Подобный материал:

• Е. В. Арляпова введение в специальность «реклама», 1668.44kb.
• А. К. Мазуров введение в специальность, 3019.75kb.
• Рабочая учебная программа дисциплины «введение в специальность» для специальности, 107.59kb.
• Анализ и планирование трудовых показателей Аудит и контроллинг персонала Введение, 12.45kb.
• Рабочая программа дисциплины Введение в специальность специальность 032001 Документоведение, 55.23kb.
• Учебно-методический комплекс дисциплины Введение в литературоведение Специальность, 711.32kb.
• Учебно методический комплекс по дисциплине «Введение в специальность» Специальность, 2682.27kb.
• Курс Комплексный экзамен по циклам опд, сд и дисциплинам специализации: «Введение, 469.08kb.
• В г. Орске Специальность: 021100 «Юриспруденция» Дисциплина: Уголовное право Курсовая, 432.15kb.
• Введение в специальность, 1423.7kb.

Раздел 1. НЕКЛАССИЧЕСКИЕ ЛОГИКИ

Тема 1.1. ВЫВОДЫ ПО АНАЛОГИИ

Направления исследования аналогий. Формализация аналогии. Аналогия и дедукция. Логика первого порядка для аналогии. Реализация механизма аналогии. Перспективы исследований аналогии. Аналогия и индуктивный вывод.


Тема 1.2. НЕЧЕТКИЕ ЛОГИКИ

Понятие взвешенной принадлежности и определение нечеткого множества. Основные операции над нечеткими множествами. Нечеткие отношения, свойства и классификация нечетких отношений. Основные операции над нечеткими отношениями. Нечеткий вывод и его реализация.


Тема 1.3. ЛОГИКА И МОДИФИЦИРУЕМЫЕ РАССУЖДЕНИЯ

1.3.1. Формализация модифицируемых рассуждений. Классическая логика и общезначимые рассуждения. Характеристики немонотонных логик. Зацикливание правил немонотонного вывода.

1.3.2. Различные формы немонотонных рассуждений. Логики умолчаний. Примеры применения умолчаний. Расширения теорий с умолчаниями. Нормальные теории.

1.3.3. Рассуждения: дедуктивные, индуктивные, абдуктивные. Условия корректности рассуждений в квазиаксиоматических теориях.


Тема 1.4. ЛОГИКА АРГУМЕНТАЦИИ

Язык, правила вывода, сис­тема аксиом. Внешние и внутренние истинностные значения. Слабая полнота логики аргументации. Другие аргументационные теории.


Раздел 2. ПРИКЛАДНЫЕ ЛОГИКИ


Тема 2.1. ЛОГИКИ ВРЕМЕНИ В ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМАХ

Свойства времени. Абсолютное и относительное время. Историческое время. Время и человек. Модель времени. Описание времени в базах данных и базах знаний. Интервалы. Цепи.


Тема 2.2. ПРОСТРАНСТВЕННЫЕ ЛОГИКИ

Свойства пространства. Составляющие пространственной логики. Свойства пространственных отношений. Логика взаимного расположения объектов в пространстве.


Раздел 3. ПРАВДОПОДОБНЫЕ РАССУЖДЕНИЯ


Тема 3.1. ЛОГИКА АРГУМЕНТАЦИИ

3.1.1. Использование логики аргументации для моделирования рефлек­сивного поведения в конфликтной ситуации. Другие практические применения логики аргументации.

3.1.2. Использование логики аргументации для моделирования рефлек­сивного поведения в конфликтной ситуации. Другие практические применения логики аргументации.


Тема 3.2. ИНТЕГРИРОВАННЫЕ МОДЕЛИ ПРАВДОПОДОБНЫХ РАССУЖДЕНИЙ

Интеграция механизмов правдоподобных рассуждений и других классов механизмов переработки знаний в прикладных интеллектуальных системах.

ПРИМЕРНЫЙ ПЕРЕЧЕНЬ ТЕМ ПРАКТИЧЕСКИХ ЗАНЯТИЙ

1. Вывод по аналогии.
   
2. Нечеткие логики.
   
3. Временные логики.
   
4. Вывод в модальных логиках.
   
5. Различные формы немонотонных рассуждений. Расширения теорий с умолчаниями.
   
6. Рассуждения: дедуктивные, индуктивные, абдуктивные. Условия корректности рассуждений в квазиаксиоматических теориях.
   
7. Логика аргументации.
   

ПРИМЕРНЫЙ ПЕРЕЧЕНЬ ЛАБОРАТОРНЫХ РАБОТ

1. Реализация вывода по аналогии.
   
2. Реализация нечеткого условного вывода.
   
3. Реализация механизмов вывода в логике аргументации.
   
4. Применение логических средств формализации правдо­подобных рассуждений.
   
5. Интеграция механизмов правдоподобных рассуждений и других классов механизмов переработки знаний в прикладных интеллекту­альных системах.
   

ПРИМЕРНЫЙ ПЕРЕЧЕНЬ КОМПЬЮТЕРНЫХ ПРОГРАММ

(или другой информации, необходимого оборудования и т.п.)


1. Традиционные инструментальные средства программирования (трансляторы языков Pascal, С/C++ и т. п.)

2. Инструментальные средства для представления знаний.

3. ПЭВМ.

ЛИТЕРАТУРА

ОСНОВНАЯ

1. Логический подход к искусственному интеллекту: от классической логики к логическому программированию: Пер. с фр. / А.Тейз, П. Грибомон и др.- М.: Мир, 1990.
   
2. Кандрашина Е.Ю., Литвинцева Л.В., Поспелов Д.А. Представление знаний о времени и пространстве в интеллектуальных системах / Под ред. Д.А. Поспелова.- М.: Наука. Гл.ред.физ.-мат.лит., 1989. (Проблемы искусственного интеллекта).
   
3. Кофман А. Введение в теорию нечетких множеств /Пер. с фр. В.Б. Кузь-мина; Под ред. С.И. Травкина.- М.: Радио и связь,1982..
   
4. Нечеткие множества в моделях управления и искусственного интеллекта / А.Н. Аверкин, И.З. Батыршин, А.Ф. Блишун и др.; Под ред. Д.А. Поспелова. - М.: Наука, 1986.
   
5. Гаек П., Гавранек Т. Автоматическое образование гипотез: мате­матические основы общей теории: Пер. с англ.- М.: Наука. Гл.ред.физ.-мат.лит., 1984.
   

ДОПОЛНИТЕЛЬНАЯ

1. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. 2-е изд., перераб. и доп. - М.: Энергоатомиздат, 1988.
   
2. В.А.Успенский, А.Л.Семенов. Теория алгоритмов: основные открытия и приложения.- М.: Наука, Гл.ред.физ.-мат.лит., 1987.
   
3. Расева Е., Сикорский Р. Математика метаматематики: Пер. с англ. - М.: Наука. Гл. ред. физ.-мат. лит., 1972.
   
4. Научно-техническая информация. Сер.2: Информационные процессы и системы.- 1996. - N 5-6: Спецвыпуск "Интеллектуальные системы автоматизированной поддержки научных исследований".