7-ma'ruza. Sun’iy intellektda mantiqiy xulosalashlar Reja

Tajriba orttirish uchun misol va topshiriqlar.
1- topshiriq. Nazariy qismni o`zlashtirish va B/B/B jadvalini to`ldirish.
B/B/B texnikasini qo`llash bo`yicha ko`rsatma.
1. Ma’ruza rejasiga mos holda 2-ustunni to`ldiring.
2. O`ylang, juftlikda hal eting va javob bering, ushbu savollar bo`yicha nimani bilasiz, 3-ustunni to`ldiring.
3. O`ylang, juftlikda hal eting va javob bering, ushbu savollar bo`yicha nimani bilish kerak, 4-ustunni to`ldiring.
4. Ma’ruzani o`qing va materiallar bilan tanishing.
5. 5-ustunni to`ldiring.
B/B/B jadvali (Bilaman/Bilishni hoxlayman/Bilib oldim)

№	Mavzu savoli	Bilaman	Bilishni hoxlayman	Bilib oldim
1.
2.
3.
4.
5.

2-topshiriq. “Bilib oldim” ustuni asosida “T” jadvalini to`ldirish. Nazariy qismdan tayanch iboralarni aniqlash va “T” jadvalini qurish.

Tayanch ibora	Mazmuni
1.
2.
...
n.

7-ma’ruzaga uchun adabiyotlar

1. Павлов С. Н. Системы искусственного интеллекта : учеб. пособие. В 2-х частях. / С. Н. Павлов. - Томск: Эль Контент, 2011. - Ч. 1. - 176 c. ISBN 978-5-4332-0013-5.

2.Т.П. Лихтарников, Д.Л.Сукачева. Математическая логика. Сант-Петербург,1999 г. 288 c.
3. Гаврилов Г.П., Сапоженко А.А.Сборник задач по дискретной математики.М. Наука,1977. 2002. 271 с.
4. Павлов С. Н. Интеллектуальные информационные системы : учеб. пособие/С.Н.Павлов. - Томск: Томский межвузовский центр дистанционного образования, 2004. - 328 с.
5. Чень Ч. Математическая логика и автоматическое доказательство теорем : пер. с англ. / Ч. Чень, Р. Ли. - М. : Наука, 1983. - 358 с.
6. А.В. Гаврилов. Лабораторный практикум по нейронным сетям. Ч. 1. - Новосибирск: Изд-во НГТУ, 1999.
7. Т.А. Гаврилова, В.Ф. Хорошевский. Базы знаний интеллектуальных систем.-СпБ,Питер,2000.
8. Страбыкин Д. А. Логический вывод в системах обработки знаний /Д. А. Страбыкин. - СПб.: СПГЭТУ, 1998. - 164 с.
9. Достоверный и правдоподобный вывод в интеллектуальных системах В. Н. Вагин [и др.] ; под ред. В. Н. Вагина и Д. А. Поспелова. - М. : Физ-матлит, 2004. - 704 с.
10. Алиев Р. А. Производственные системы с искусственным интеллектом /Р. А. Алиев, Н. М. Абдикеев, М. М. Шахназаров. - М. : Радио и связь, 1990. - 246 с.
11. Андрейчиков А. В. Интеллектуальные информационные системы : учеб-ник / А. В. Андрейчиков, О. Н. Андрейчикова. - М. : Финансы и статистика, 2006. - 424 с.
12. Бардзинь Я. М. Некоторые правила индуктивного вывода и их применение // Семантика и информатика. - 1982. - Вып. 19. - C. 59-89.
13. Змитрович А. И. Интеллектуальные информационные системы /А. И. Змитрович. - Минск: НТООО «Тетра Системс», 1997. - 368 с.
14. Искусственный интеллект : справочник: в 3 кн. / под ред. Д. А. Поспелова. - М. : Радио и связь, 1990.
15. Миль Д. С. Система логики силлогистической и индуктивной : пер. с англ. / Д. С. Миль. - М. : Книжное дело, 1990.
16. Страбыкин Д. А. Логический вывод в системах обработки знаний /Д. А. Страбыкин. - СПб.: СПГЭТУ, 1998. - 164 с.
17. Финн В. К Правдоподобные рассуждение в интеллектуальных системах типа ДСМ // Итоги науки и техники. Сер. Информатика. - М. : ВИНИТИ. - 1991. - Т. 15 : Интеллектуальные информационные системы. - С. 54-101.
18. Russell S. L. Artificial intelligence: a modern approach / S. L. Russell, P. Norvig. - Upper Saddle River, New Jersey: Prentice - Hall Inc., 1995. - 905 p.
19. Михенкова М. А. Правдоподобные рассуждение с информацией о ситуации / М. А. Михенкова, В. К. Финн // Труды VII Национальной конференции по искусственному интеллекту с международным участием. — М. : Физматлит, 2000. — С. 192-198
20. Поспелов Д. А. Моделирование рассуждений. Опыт анализа мыслительных актов / Д. А. Поспелов. — М. : Радио и связь, 1989. — 184 с.
21. С. Рассел, П. Норвиг. Искусственный интеллект. Современный подход. -М.: Вильямс, 2007. -1410 с.