Пояснительная записка Типовая программа «Основы алгоритмизации и программирования в традиционных и интеллектуальных компьютерах»


НазваниеПояснительная записка Типовая программа «Основы алгоритмизации и программирования в традиционных и интеллектуальных компьютерах»
страница9/23
Дата публикации18.03.2013
Размер1.97 Mb.
ТипПояснительная записка
referatdb.ru > Информатика > Пояснительная записка
1   ...   5   6   7   8   9   10   11   12   ...   23
^

Раздел 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: Спецвыпуск "Интеллектуальные системы автоматизированной поддержки научных исследований".


1   ...   5   6   7   8   9   10   11   12   ...   23

Похожие рефераты:

Пояснительная записка Типовая программа «Основы алгоритмизации и...
Ю. Г. Приходько доцент кафедры интеллектуальных информационных технологий Белорусского государственного университета информатики...
Программа вступительного экзамена по дисциплине «Основы алгоритмизации и программирования»
«Основы алгоритмизации и программирования» для абитуриентов, поступающих на сокращенную заочную форму обучения по специальности
Программа по дисциплине «основы алгоритмизации и программирования»
Целью изучения дисциплины является подготовка специалиста, владеющего фундаментальными знаниями и практическими навыками в области...
Программа по дисциплине «основы алгоритмизации и программирования»
Целью изучения дисциплины является подготовка специалиста, владеющего фундаментальными знаниями и практическими навыками в области...
Вопросы к экзамену по дисциплине «Основы алгоритмизации и программирования»
Голицина О. Л., Попов И. И. Основы алгоритмизации и программирования. – М: форум: инфра-м, 2004. – 432с. – (серия “Профессиональное...
Критерии оценки знаний абитуриентов по дисциплине «Основы алгоритмизации и программирования»
Программы вступительного экзамена по дисциплине «Основы алгоритмизации и программирования» для абитуриентов, поступающих на сокращенную...
Вопросы к экзамену по дисциплине «Основы алгоритмизации и программирования»
Вопросы к экзамену по дисциплине «Основы алгоритмизации и программирования» для студентов 1 курса специальности 1-40 05 01 «Информационные...
Вопросы к экзамену по дисциплине «Основы алгоритмизации и программирования»
Вопросы к экзамену по дисциплине «Основы алгоритмизации и программирования» по специальности 1-40 01 02 «Информационные системы и...
Вопросы к экзамену по дисциплине «Основы алгоритмизации и программирования»
Вопросы к экзамену по дисциплине «Основы алгоритмизации и программирования» по специальности 1-40 05 01 «Информационные системы и...
Вопросы к экзамену по дисциплине «Основы алгоритмизации и программирования»
Вопросы к экзамену по дисциплине «Основы алгоритмизации и программирования» для студентов 1 курса специальности 1-40 01 02 «Информационные...

Вы можете разместить ссылку на наш сайт:
Школьные материалы


При копировании материала укажите ссылку © 2013
контакты
referatdb.ru
referatdb.ru
Рефераты ДатаБаза