Рабочая учебная программа дисциплины Моделирование рассуждений (наименование дисциплины) по направлению 23010068 Информатика и вычислительная техника
| Вид материала | Рабочая учебная программа |
- Учебная программа (Syllabus) Дисциплина: «Информатика» Специальность Вычислительная, 323.55kb.
- Рабочая программа дисциплины «Методы оптимизации» по направлению подготовки дипломированного, 132.79kb.
- Рабочая программа дисциплины «Теория систем» по направлению подготовки дипломированного, 142.63kb.
- Рабочая программа дисциплины «Компьютерная графика» по направлению подготовки дипломированного, 108.6kb.
- Рабочая программа дисциплины «Параллельные вычислительные процессы» по направлению, 108.72kb.
- Рабочая программа дисциплины «Теория принятия решений» по направлению подготовки дипломированного, 176.95kb.
- Рабочая программа дисциплины «Инструментальные средства 3D графики» по направлению, 112.55kb.
- Рабочая программа дисциплины «Проектирование интеллектуальных автоматизированных систем», 126.15kb.
- Рабочая программа дисциплины «Системный анализ и исследование операций» по направлению, 161.5kb.
- Рабочая программа дисциплины «Методы визуального и параллельного программирования», 102.66kb.
Раздел 1 УМК
ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ
Государственное образовательное учреждение высшего профессионального образования
УЛЬЯНОВСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ
| | УТВЕРЖДАЮ: Декан факультета информационных систем и технологий (  руководитель структурного подразделения в состав которого входит кафедра-составитель)_______________________Шишкин В.В. «__»______________2007г. |
РАБОЧАЯ УЧЕБНАЯ ПРОГРАММА
Дисциплины Моделирование рассуждений
(наименование дисциплины)по направлению 23010068 Информатика и вычислительная техника
(шифр и наименование направления, специальности)
ф
акультета (ов) информационных систем и технологий, кафедра ВТ(наименование факультета или структурного подразделения, где осуществляется обучение)
Форма обучения очная Блок дисциплин СДМ
(ГСЭ, ЕН, ОПД, СД, ФТД)| Всего учебных занятий, (в академических часах) в том числе: аудиторных, из них: лекций лабораторных практических (семинарских) самостоятельных | 102 51 34 - 17 51 | | | | |
| Отчетность Курсовой проект (работа) Зачет Экзамен | ____семестр _5__семестр ____семестр | | | | |
Ульяновск - 2007
Рабочая программа составлена на основании ГОС ВПО и учебного плана УлГТУ специальности 230100 Информатика и вычислительная техника
н
а кафедре Вычислительная техника(наименование кафедры)
факультета информационных систем и технологий.(наименование факультета, к которому относится кафедра-составитель)
Составитель рабочей программы
доцент, к.т.н. Соснин П.И.
(должность, ученое звание, степень) (подпись) (Фамилия И. О.)
Рабочая программа утверждена на заседании кафедры Вычислительная техника
Протокол заседания № ___от «__»___ 2007 г.
Зам. заведующего кафедрой Негода В.Н.
«
___»________2007г. (подпись) (Фамилия И. О.)
Согласовано с научно-методической комиссией факультета ФИСТ
(к которому относится кафедра-составитель)
Председатель научно-методической комиссии
«___»________2007г. _________________ ___________________
(подпись) (Фамилия И. О.)
СОГЛАСОВАНО:
Заведующий кафедрой Вычислительная техника
(выпускающей специальность (направление)
«___»________2007г. _________________ Соснин П.И.
(подпись) (Фамилия И.О.)Заведующий кафедрой _______________________________________________
(выпускающей специальность (направление)
«___»________200__г. _________________ ___________________
(подпись) (Фамилия И. О.)
Выписка из ГОС ВПО по направлению подготовки дипломированного специалиста 23010065 – Информатика и вычислительная техника:
| СДМ. | Моделирование рассуждений: | 120 |
| | управление и информатика; общие принципы системной организации; устойчивость, управляемость и наблюдаемость; инвариантность и чувствительность систем управления; математические модели объектов и систем управления; формы представления моделей; методы анализа и синтеза систем управления; цифровые системы управления; использование микропроцессоров и микро-ЭВМ в системах управления; особенности математического описания цифровых систем управления, анализа и синтеза систем управления с ЭВМ в качестве управляющего устройства; программная реализация алгоритмов управления в цифровых системах. | |
1. Цели и задачи учебной дисциплины, ее место в учебном процессе
1.1. Цели и задачи изучения дисциплины
Целью дисциплины является ознакомление студентов с основными положениями моделирования рассуждений, используемыми в приложениях искусственного интеллекта.
Основная задача курса - изучение принципов и методов моделирования рассуждений, используемых при проектировании автоматических и организационных систем управления.
1.2. Краткая характеристика дисциплины, ее место в учебном процессе
Курс "Моделирование рассуждений" рассматривает как общие принципы управления, так и особенности, присущие его основным видам, а также ряд математических методов, которые используются в анализе и реализации процессов проектирования и управления, особенно при их автоматизации.
Теория моделирования, как комплексная дисциплина, основывается на положениях кибернетики, философии, политэкономии, системотехники, ряде разделов математики и многих других науках (логика, социология и т.п.).
Целесообразность знакомства с основами теории моделирования на примере моделирования рассуждений для специалистов по информационным системам связана не только с задачами непосредственного руководства группами работников, но и с использованием положений данной теории при практической разработке автоматизированных систем для обеспечения их эффективности.
1.3. Связь с предшествующими дисциплинами
К дисциплинам, которые обеспечивают успешное изучение данного курса можно отнести: общие разделы высшей математики, физику, информатику, теорию автоматов, моделирование, автоматизацию проектирования, инженерия знаний.
1.4. Связь с последующими дисциплинами
Данная дисциплина необходима для успешного изучения вопросов связанных с моделированием рассуждений в дисциплинах: управление знаниями, поддержка принятия решений..
2. Требования к уровню освоения дисциплины
В результате изучения дисциплины студенты должны:
знать: современные методы и средства создания интеллектуальных средств моделирующих рассуждения в различных приложениях искусственного интеллекта, принципы их рационального выбора в зависимости от вида процесса поддержки интеллектуальных Действий в человеко-компьютерных средах.
уметь: формулировать задачи создания комплексов средств, моделирующих рассуждения разных типов в процессах решения научных и технических задач.
.
3. Распределение учебных занятий по семестрам и тематический план дисциплины
Таблица 1
Распределение видов и часов занятий по семестрам
| Вид занятий | Количество часов в семестр | Всего | ||||||||
| 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | ||
| Лекции Лабораторные работы Практические (семинарские) занятия Самостоятельная работа, в т. ч. - курсовой проект (работа) - контрольная работа - экзамен (сем.) - зачет (сем.) Итого | | | | | 36 - 84 - - 120 | | | | | |
Таблица 2
Тематический план изучения дисциплины
| № | Наименование разделов | Количество часов | Всего часов | |||
| Аудиторных | Самостоятельных | |||||
| Лекции | Практ. (сем.) занятия | Лабораторные работы | ||||
| 1 | Раздел 1. Концептуальные основы рассуждений. | 8 | | - | 16 | 24 |
| 2 | Раздел 2. Феномен вопроса. | 2 | | - | 10 | 12 |
| 3 | Раздел 3. Основы обнаружения вопросов. | 4 | | - | 12 | 16 |
| 4 | Раздел 4. Построение ответа. | 6 | | - | 14 | 20 |
| 5 | Раздел 5. Диалогические рассуждения. | 12 | | - | 20 | 32 |
| 6 | Раздел 6. Моделирование диалога. | 4 | | - | 12 | 14 |
| Итого часов | 34 | | - | 84 | 120 | |
4. Содержание дисциплины
4.1. Теоретический курс
Таблица 3
Теоретический курс
| Раздел, тема учебной дисциплины, содержание темы | Номер лекции | Количество часов | |
| лекции | СРС | ||
| 1 | 2 | 3 | 4 |
| ДЕСЯТЫЙ СЕМЕСТР Введение (2 часа) Раздел 1. Концептуальные основы рассуждений. Феномен рассуждений. Место и роль рассуждений в деятельности. Понятийный аппарат и формализация. Основная причина рассуждений. Динамика рассуждений. Анализ. Выводы. Раздел 2. Феномен вопроса. Природа вопроса. Динамика вопросно-ответного управления. Задача обнаружения вопросов. Задача идентификации вопросов. Задача кодирования вопросов. Формальные представления вопросов. Эффекты. Анализ. Выводы. Раздел 3. Основы обнаружения вопросов. Индикаторы вопросов. Предикативная деятельность. Подготовка к предикации. Предикация. Лингвистическая переменная. Согласованная предикация. Эффекты. Анализ. Выводы. Раздел 4. Построение ответа. Введение в логику ответов. Предусловия ответов. Стратегии выводов и доказательств. Контроль в выводах и доказательствах. Анализ. Выводы. Раздел 5. Диалогические рассуждения. Стратегии рассуждений. Аргументация. Схемы аргументации. Диалог - тактика рассуждений. Вопросно-ответные отношения. Анализ. Выводы. Раздел 6. Моделирование диалога. Начало деятельности. Вопросно-ответное протоколирование. Сетевые модели диалога. Средства систематизации. Анализ. Выводы. | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 | 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 | 16 10 12 14 20 12 |
| | 18 | 36 | 84 |
4.2. Практические (семинарские) занятия планом не предусмотрены.
4.3. Лабораторные занятия учебным планом не предусмотрены.
4.4. Курсовой проект (работа) учебным планом не предусмотрен.
4.5. Самостоятельная работа студентов
4.5.1. Внеаудиторная СРС по данному курсу включает:
- конспектирование первоисточников и другой учебной литературы;
- проработку учебного материала (по конспектам, учебной и научной литературе);
- подготовку к рефератам и экзамену;
- самотестирование по контрольным вопросам (тестам).
Таблица 6
Программа самостоятельной работы студентов
| Номера разделов и тем дис- циплины | Виды СРС | Сроки выполнения | Формы конт-роля СРС | Объём, часов |
| 1 | 2 | 3 | 3 | 4 |
| Раздел 1. | Внеаудиторная СРС (п.4.5.1.) | К очередному реферату по расписанию | Реферат | 16 |
| Раздел 2. | Внеаудиторная СРС (п.4.5.1.) | К очередному реферату по расписанию | Реферат | 10 |
| Раздел 3. | Внеаудиторная СРС (п.4.5.1.) | К очередному реферату по расписанию | Реферат | 12 |
| Раздел 4. | Внеаудиторная СРС (п.4.5.1.) | К очередному реферату по расписанию | Реферат | 14 |
| Раздел 5. | Внеаудиторная СРС (п.4.5.1.) | К очередному реферату по расписанию | Реферат | 20 |
| Раздел 6. | Внеаудиторная СРС (п.4.5.1.) | К очередному реферату по расписанию | Реферат | 12 |
| | | | | 84 |
5. Учебно-методическое обеспечение дисциплины
5.1. Перечень рекомендуемой литературы
Основная литература:
- Арно А , Николь П. Логика или искусство мыслить.- М.: Наука, 1991
- Берков В.Ф., Ясевич Я.С. , Павлюкевич В.И. Логика.- Минск.: ТетраСи-стемс, 1997.
- Бессонов А.В.Теория объектов в логике.- Новосибирск: Наука, 1987.
- Бочаров В.А., Маркин В.И.Основы логики.-М.: Инфра-М,1997.
- Буш. Г. Диалогика и творчество.- Рига: Аботс, !985.
- Войшвилло Е.К Философско-методологические аспекты релевантной ло-гики.- М.: МГУ, 1998.
- Войшвилло Е.К. , Дегтярёв М.Г. Логика как часть теории познания и на-учной методологии.- М.: Наука, 1994.
- Гетманов А.Д. Логика:Словарь и задачник .-М.: Владос,1998.
- Зегет В. Элементарная логика.- М.: Высшая школа, 1985.
- Ершов Ю.Л., Павлютин Е.П. Математическая логика.- М.: Наука, 1979.
- Ивлев Ю.В. Логика.-М.: Логос, 1998.
- Ивлев Ю.В.Логика:сборник упражнений.- М.: МГУ, 1998.
- Ивин А.А.Искусство правильно мыслить.-М.: Просвещение, 1986.
- Ивин А.А.Основы теории аргументации.-М.: Владос, 1997.
- Наука, 1990.
- Поспелов Д.А. Логико-лингвистические модели в системах управления.- М.:Энергоиздат, 1981.- 232 с.
Дополнительная литература:
- Ивин А.А.Логика.- М.: Гранд 1999.
- Кириллов В.И., Старченко А.А. Логика.-М.: Высшее образование,1982.
- Курбатов В.И .Логика. -Ростов на Дону: Феникс, 1996.
- Курбатов В.И. Логика в вопросах и ответах. -Ростов на Дону: Феникс, 1996.
- Кураев В.И.,.Лазарев В.Ф Точность , истина и рост знания.- М.:.Наука, 1988.
- Лук А.Н.Психология творчества.- М.: Наука, 1978.
- Минто В.Дедуктивная и индуктивная логика.- Екатеринбург: Деловая книга, 1997.
- Мощенский В.А.Лекции по математической логике.- Минск: БГУ,1973.
- Светлов В.А. Практическая логика.- Санкт-Петербург: МиМ, 1997.
- Рузавин Г.И. Логика и аргументация.- М.: Юнити, 1997.
- Шапиро С.И.Мышление человека и переработка информации в ЭВМ.- М.: Советское радио, 1980.
- Поспелов Д.А. Моделирование рассуждений. Опыт анализа мыслительных актов.М.: Радио и связь, 1989.
- Вопросы кибернетики. Логика рассуждений и ее моделирование.- М: ВИНИТИ, 1983. - 179 с.
- Поспелов Д.А. Моделирование человеческих рассуждений в интеллектуальных системах//Лекции Всесоюз. шк. по основным проблемам искуственного интелекта и интелектуальным системам. Ч. 1.- Тверь: Центр программных систем, 1990.
5.2. Методические рекомендации (материалы) преподавателю
Учебный процесс по курсу «Моделирование рассуждений» проводится чтением лекций в учебной аудитории, оборудованной компьютерным проектором с демонстрацией необходимых графических материалов.
Углубление изучаемого материала осуществляется на семинарских занятиях (рефератах), проводимых по перечню вопросов темы, рассмотренной на предыдущей лекции.
5.3. Методические рекомендации студентам
При изучении курса студентам рекомендуется проводить:
- конспектирование первоисточников и другой учебной литературы;
- проработку учебного материала (по конспектам, учебной и научной литературе);
- подготовку к рефератам с использованием Интернета и печатных методических указаний по курсу (Моделирование рассуждений: метод. указания к курсу лекций / сост. Соснин П.И.. - Ульяновск: УлГТУ, 2000. – 79 с.);
- самотестирование по контрольным вопросам (тестам).
Примечание. Изданные методические указания по дисциплине для данной формы обучения приложены к разделу «Перечень методических указаний для различных форм учебных занятий по дисциплине» УМК дисциплины, где приводится перечень методических указаний по дисциплине для всех форм обучения. (см. раздел 6 данного УМК).
6. Формы и методика текущего, промежуточного и итогового контроля
Контроль усвоения студентами содержания дисциплины проводится на:
- семинарских занятиях (рефератах), см.п.4.2 данной рабочей программы;
- экзамене по перечню контрольных вопросов по всему курсу;
Примечание. Контрольные вопросы и тесты по дисциплине приводятся в разделе «Банки контрольных заданий и вопросов (тестов) по отдельным модулям и в целом по дисциплине» УМК дисциплины (см. раздел 4 данного УМК).