Книги
чёрным по белому
Главное меню
Главная О нас Добавить материал Поиск по сайту Карта книг Карта сайта
Книги
Археология Архитектура Бизнес Биология Ветеринария Военная промышленность География Геология Гороскоп Дизайн Журналы Инженерия Информационные ресурсы Искусство История Компьютерная литература Криптология Кулинария Культура Лингвистика Математика Медицина Менеджмент Металлургия Минералогия Музыка Научная литература Нумизматика Образование Охота Педагогика Политика Промышленные производства Психология Путеводители Религия Рыбалка Садоводство Саморазвитие Семиотика Социология Спорт Столярное дело Строительство Техника Туризм Фантастика Физика Футурология Химия Художественная литература Экология Экономика Электроника Энергетика Этика Юриспруденция
Новые книги
Цуканов Б.И. "Время в психике человека" (Медицина)

Суворов С. "Танк Т-64. Первенец танков 2-го поколения " (Военная промышленность)

Нестеров В.А. "Основы проэктирования ракет класса воздух- воздух и авиационных катапульных установок для них" (Военная промышленность)

Фогль Б. "101 вопрос, который задала бы ваша кошка своему ветеринару если бы умела говорить" (Ветеринария)

Яблоков Н.П. "Криминалистика" (Юриспруденция)
Реклама

Преподавание базового курса информатики в средней школе - Семакин И.Г.

Семакин И.Г., Шеина Т.Ю. Преподавание базового курса информатики в средней школе — Бином лаборатория знаний, 2004. — 542 c.
ISBN 5-94774-093-1
Скачать (прямая ссылка): prepodavaniyebazovogokursa2004.pdf
Предыдущая << 1 .. 78 79 80 81 82 83 < 84 > 85 86 87 88 89 90 .. 147 >> Следующая

Семантические сети. Семантической сетью называется глг.З'ема понятий и отношений: м&жду ними, представленная в форме ориентированного графа. Это одна из наиболее гибких и универсальных форм моделей знаний. Подробная информация о семантических сетях дана в разделе 7.2 задачника-практикума. На рис. 17А. приведен небольшой пример из этого раздела, представляющий в форме графа сведения, заключенные в предложении * Петух Петя является птицей» и он умеет кукарекать».
Фреймы* Фрейм — это некоторый абстрактный образ, относящийся к определенному типу объектов, понятий* Фрейм объединяет в себе атрибуты (характеристики), свойственные данному объекту. Фрейм име-
276 Часть 2
Рис, 17.4. Пример семантической сети
ет имя и состоит из частей, которые называются слотами. Изображается фрейм в виде цепочки;
Имя фрейма ~ <слс>т Ixcjiqt 2>.„<слот JV>
Вот пример фрейма под названием «Битва*:
Битва - <кто?хс квд?хкогда?хгде?хрезультат>
Такое представление называется прототипом фрейма. Если же в слоты подставить конкретные значения, то получится экземпляр фрейма. Например:
Битва = <ЦареничхКсщей Еессмвртный> <утромхн чистом поле>< победи л >
Слоты сами могут быть фреймами. Таким образом, возможны иерархии фреймов Р сети фреймов. К фреймам применимо понятие наследования свойств. Для реализации моделей знаний с использованием фреймов хорошо подходит технология объектно-ориенированно-го программирования.
Логическая модель знаний представляет собой совокупность утверждений, О каждом утверждении можно сказать истинно оно или ложно. Утверждения делятся на факты и правила* Совокупность фактов пред* ставляет собой базу данных, лежащую в основе базы знаний. Правила имеют форму «ЕСЛИ А, ТО Б* (здесь есть сходство с продукционной моделью). Механизм вывода основан на аппарате математической логики (он называется исчислением предикатов первого порядка). Прикладные возможности этой модели весьма
Искусственный- интеллект и базы знаний____________277
ограничены. Логическая модель знаний лежит в основе языка Пролог.
4. Пролог является языком логического программирования. Как известно» в программировании для ЭВМ существует несколько различных направлений (парадигм): процедурное программирование, функциональное программирование, логическое программирование, объектно-ориентированное программирование. В языке Пролог реализована логическая парадигма* Однако в рамках базового курса информатики использование Пролога очень ограничено и о программирование в полном смысле этого слова, здесь речи не идет. Пролог рассматривается лишь как средство построения несложных баз знаний логического типа. При таком подходе систему Пролог можно рассматривать как своеобразную систему управления базами знаний (по аналогии с СУБД). Она позволяет создавать базу знаний и обращаться к ней с запросами.
Реализации Пролога существуют для большинства компьютеров, доступных школам. Поэтому представляется возможным предлагать Пролог; в качестве средства для практической работы по теме + Искусственный интеллект и моделирование знаний*. Кроме того> имеется определенный методический опыт и традиции преподавания Пролегав школьной информатике, В качестве литературы по Прологу можно рекомендовать пособия [2S—30].
5. В разделах 11 *3—11.4 учебника раскрываются основные понятия Пролога: факт, правило, цель. На традиционном примере базы знаний о родственных связях показываются способы описания фактов и правил, способы формулировки запросов (целей). Однако за рамками учебника оказывается механизм вывода» используемый при поиске ответов на запросы (доказательстве целей). Практический опыт преподавания данной темы показывает, что если ученики не имеют никакого представления о механизме вывода Пролога,
278 ________________________________________Часть 2
то серьезные проблемы вызывает у них построение даже самой простой базы знаний. Рассмотрим методику объяснения работы механизма вывода Пролога на конкретных примерах.
Механизм вывода представляет собой алгоритмическую модель рассуждений человека на основе имеющихся знаний, человеческой логики. Навыки логического мышления частично присущи человеку от рождения > но в основном вырабатываются в процессе жизнедеятельности* Разгадка тайны человеческой логики — одна из древнейших научных проблем. Первый удачный опыт формального описания логики принадлежит древнегреческому философу Аристотелю (более
2,2 тысячи лет назад).
До XIX века формальная логика Аристотеля считалась непререкаемой. В середине XIX века в эту науку внесли существенный вклад английские математики Огастес Морган (правила Моргана) и Джордж Буль (Булева алгебра). Формальная дошка активно развивается в XX веке.
Обсудим на конкретном примере работу механизма вывода Пролога. Рассмотрим базу знаний, которой дадим название * Знатоки *. В ней содержатся факты о том, что Мария знает английский язык, информатику и музыку. Кроме того задано правило: «Иван знает то же, что знает Мария». На Прологе это записывается следующим образом:
Ф^кты: знает (мария t английский)
знает(мария,информатика) знает f мария,нузыка)
Предыдущая << 1 .. 78 79 80 81 82 83 < 84 > 85 86 87 88 89 90 .. 147 >> Следующая