Скачать 1.29 Mb.
|
ПРОГРАММА ДЛЯ ЭВМ Обучающая система по дисциплине «Системы искусственного интеллекта» Фрагменты исходного текста программы Всего 20 листов Правообладатель: Никитина Вероника Вячеславовна Автор: _Никитина Вероника Вячеславовна (ф., и., о.) Санкт-Петербург 2007 Р Е Ф Е Р А Т Автор: Никитина Вероника Вячеславовна Правообладатель: Никитина Вероника Вячеславовна Программа для ЭВМ: Обучающая система по дисциплине «Системы искусственного интеллекта» Аннотация: Данная программа предназначена для проверки остаточных знаний по дисциплине «Системы искусственного интеллекта» с возможностью дальнейшего улучшения полученных результатов. Она состоит из проверочного теста, дающего оценку остаточных знаний студента, проходящего тест, а также рекомендации по улучшению результата с ссылками на необходимые материалы, содержащиеся в программе. Тип ЭВМ: IBM PC/AT и совместимые с ней ОС: любая Язык программирования: HTML Объем: 20 Mбайт 5.3 Коммерческая реализация программ для ЭВМ Программный продукт и формы его продажи Программный продукт – персонифицированная программа для ЭВМ или база данных, которая предназначена для самостоятельного использования конкретным пользователем в личных целях. Программный продукт включает не только исполняемый модуль и набор файлов, обеспечивающих функционирование программы или базы данных, но и содержит целый ряд вспомогательных средств, которые фирма-производитель предоставляет пользователю для самостоятельной установки и обслуживания программного продукта на своей ЭВМ с максимальной адаптацией к конфигурации системы и файловой структуре (программы-инсталляторы и т. п.), а также самостоятельного освоения программного продукта (руководство пользователя в автоматизированном виде и на бумажном носителе и т. п.). Коммерческая реализация (продажа) программного продукта связана с понятием использования программы для ЭВМ или базы данных третьими лицами (пользователями) и осуществляется на основании договора с правообладателем. Договор заключается в письменном виде и может определять следующие условия: объем и способы использования, порядок выплаты вознаграждения и срок действия договора, а также территорию, на которой используется данный продукт. Такие договоры обычно называются лицензионными (по аналогии с договорами на использование запатентованных изобретений) или авторскими, согласно ст. 30 Закона об АП . Одним из типов лицензионного договора на программу для ЭВМ или базу данных является традиционный двухсторонний договор правообладателя с покупателем (пользователем), в котором определяется объем предоставляемых прав на использование программы или базы данных. Такие договоры составляются, как правило, при единичных продажах программного продукта, предназначенного для решения достаточно узких прикладных задач (научных, отраслевых и т. п.), при продажах программного продукта, требующего регулярного обновления и дополнения (некоторые базы данных), а также при передаче прав на тиражирование и распространение программ для ЭВМ или баз данных [16]. Лицензионный договор приведен ниже. ЛИЦЕНЗИОННЫЙ ДОГОВОР НА ИСПОЛЬЗОВАНИЕ ПРОГРАММЫ ДЛЯ ЭВМ Стороны в Договоре: Гражданка Никитина Вероника Вячеславовна, проживающая по адресу: 190000, г. Санкт-Петербург, ул. Дегтярная, д. 29/31, кв. 14, именуемая в дальнейшем "ЛИЦЕНЗИАР", с одной стороны, и Государственное образовательное учреждение высшего профессионального образования "Санкт-Петербургский государственный электротехнический университет "ЛЭТИ" им. В.И.Ульянова (Ленина)", именуемый в дальнейшем "ЛИЦЕНЗИАТ", в лице проректора по научно-образовательной деятельности Пузанкова Д.В., действующего на основании Устава, с другой стороны, принимая во внимание:
договорились о следующем. 1. Термины и их определения
2. Предмет Договора
3. Обеспечение Договора
4. Усовершенствования
5. Платежи
6. Реклама
7. Защита передаваемых прав
8. Ответственность Сторон и разрешение споров
9. Срок действия Договора и условия его расторжения
10. Заключительные положения
11. Адреса Сторон
Настоящий Договор составлен в двух экземплярах для каждой из Сторон и подписан "_13"_февраля_ 2007 г. в г. Санкт-Петербурге.
Заключение В процессе выполнения диплома получены следующие результаты:
В итоге был разработан электронный курс по дисциплине «Системы искусственного интеллекта», основанный на обучении в ходе выполнения тестовых заданий с целью подготовки к итоговому тестированию. Благодаря выбранным средствам разработки возможно внесение изменений в материалы курса, а также в его структуру при необходимости. Данный курс позволяет контролировать действия выполняемые студентом при выполнении тестирования, улучшая результаты теста и повышая уровень знаний студента. Также он позволяет давать адекватную оценку знаниям студента по данной дисциплине. Список литературы
ПРИЛОЖЕНИЕ А Перечень вопросов тестирования Представления знаний и семантические сети
Проблемная область Область данных Область знаний Предметная область
исходные, промежуточные или окончательные (выходные) конкретные сведения или факты о решаемой задаче в текущий момент времени любая информация об общих свойствах и закономерностях предметной области, которая хранится в системе вне зависимости от того, решается или нет в данный момент задача совокупность предметной области и задач, в ней решаемых информация для ЭВМ существующая в двух видах: процедурном и декларативном
информация для ЭВМ существующая в двух видах процедурном и декларативном исходные, промежуточные или окончательные (выходные) конкретные сведения или факты о решаемой задаче в текущий момент времени любая информация об общих свойствах и закономерностях предметной области, которая хранится в системе вне зависимости от того, решается или нет в данный момент задача и выраженная в терминах некоторой модели представления знаний совокупность предметной области и задач, в ней решаемых
Внутренняя интерпретируемость Пассивность знаний Семантическая метрика Активность знаний
Фреймовые модели Сетевые модели Процедуральные модели Эволюционные и генетические алгоритмы
Они являются элементарными Они имеют одно и то же количество компонент Множество ролей у этих конкретных ситуаций совпадает Они удовлетворяют совокупности свойств или ограничений, связанных с этой стереотипной ситуацией
Понятийная структура и система независимостей представлены однородно Способность выступать в роли моделей данных в банках данных В семантической сети немалое количество дуг несет чисто семантическую информацию Способность представлять смысл фраз естесственного языка
Понятийная структура и система независимостей представлены неоднородно Неспособность выступать в роли моделей данных в банках данных В семантической сети немалое количество дуг несет чисто семантическую информацию Неспособность представлять смысл фраз естесственного языка Фреймы
Структура данных для представления стереотипной ситуации Стереотипная ситуация для представления структуры данных Система для представления структуры данных Система для представления стереотипной ситуации
Экстенсиональное представление фреймов-экземпляров Интенсиональное описание некоторого множества фреймов-экземпляров Процедуральное представление фреймов-экземпляров Декларативное описание фремов-экземпляров
Экстенсиональное представление фреймов-образцов Декларативное описание фремов-экземпляров Интенсиональное описание некоторого множества фреймов-экземпляров Процедуральное представление фреймов-экземпляров
Выводы, использующие концепцию отношений между демонами Выводы, использующие отношения между фреймами Выводы, использующие отношения между процедурами Выводы, использующие концепцию присоединенных процедур
Отношения "родители-потомки" Отношения "часть-целое" Отношения собственности Отношения связи
Вывод наследованием Вывод глобальной фреймовой сети Вывод путем глобального структурного поиска Вывод путем локального наследования
Изменение экземпляра фрейма Удаление фреймовых деревьев Создание экземпляра фрейма Изменение фреймовых деревьев
PRO-ДЕМОН ASK-ДЕМОН MODI-ДЕМОН INS-ДЕМОН
Демон, демон, демоны или Демоны Исчисление высказываний
Совокупность правил оперирования предложениями искусственного или естественного языка, принимающих одно из значений: истина, ложь Некоторое предложение искусственного языка, принимающее значение истина или ложь Некоторое предложение естественного языка, принимающее значение истина или ложь Совокупность правил оперирования предложениями искусственного языка, принимающих одно из значений: 1, -1, 0
Набор связок формулы Набор правил интерпретирования формул Главная связка формулы Набор формул
(рр)&(рр) (рр)(рр) (рр)&( рр) (рр)&( рр)
F:=> T-словарь, Р-синтаксис, А-множество аксиом, В-правило вывода из А синтаксически правильных совокупностей T-синтакис, Р-словарь, А-множество аксиом, В-правило вывода из А синтаксически правильных совокупностей T-словарь, Р-синтаксис, А-множество правильных совокупностей, В-правило вывода из А аксиом T-правила, Р-словарь, А-множество аксиом, В-правило вывода правильных совокупностей
Нейтральная формула исчисления высказываний Общезначимая формула исчисления высказываний Выполнимая формула исчисления высказываний Необщезначимая формула исчисления высказываний
Общезначима и невыполнима Необщезначима и выполнима Нейтральна Общезначима
Нейтральна Общезначима и невыполнима Общезначима Необщезначима и выполнима
Общезначима Общезначима и невыполнима Нейтральна Необщезначима и выполнима
(X&Y)(X&Y) (X&Y)(X&Y) (X&Y)(X&Y) (X&Y)(X&Y)
2+n строк 2n строк 2n строк n*2n строк
Элементарные формулы Неэлементарные высказывания Элементарные высказывания Элементарные кванторы
Переименование переменных таким образом, чтобы каждый квантор имел бы свою собственную переменную (3) Приведение правильно построенной формулы к префиксной НФ (5) Преобразование матрицы (бескванторной формы) к КНФ (6) Исключение операций импликации и эквивалентности (1) Исключение знаков & в КНФ и преобразование формулы во множество дизъюнктов (8) Опускание кванторов общности (7) Выполняется операция: сколемизация (4) Уменьшение области действия логической связки отрицания (2)
Принцип резолюции Алгоритм Куайна Алгоритм Девиса и Патнема Алгебраический подход
Любая константа есть терм Любая переменная есть терм Если f - функциональный символ, а t1,..,tn - термы, то f(t1,..,tn) - терм Все выше перечисленные
Любая пропозиционная буква - атом Если р - n-местный предикатный символ, а t1,..,tn - термы, то р(t1,..,tn) - атом Синтаксическое правило - атом Ответы 1 и 2 верны Все ответы верны
Атом – формула Если Q, W - формулы, то ( Q), Q&W, Q~W, Q->W, QvW - формулы Если Q - формула, а Х - переменная, входящая в эту формулу, то Х(Q(X)) и Х(Q(Х)) - формулы Все ответы верны
Исключите операции импликации и эквивалентности - (x) {P(x) v {( y)[P(y) v P[f(x,y)]]& {( y)[Q(x,y) & P(y)]}} (x) {P(x) & {(y)[P(y) v P[f(x,y)]]& {( y)[Q(x,y) & P(y)]}} (x) {P(x) v {(y)[P(y) v P[f(x,y)]]& {( y)[Q(x,y) v P(y)]}} (x) {P(x) v {( y)[P(y) v P[f(x,y)]]& {( y)[Q(x,y) v P(y)]}}
Уменьшите область действия логической связки отрицания - ( x) {P(x)v {(y) [P(y)vP[f(x,y)]]&{( y) [Q(x,y) & P(y)]}} ( x) {P(x) v {(y) [P(y) v P[f(x,y)]]& {( y) [Q(x,y) & P(y)]}} ( x) {P(x) v {(y) [P(y) v P[f(x,y)]]&{( y) [Q(x,y) & P(y)]}} (x) {P(x) v {(y) [P(y)v P[f(x,y)]]&{( y) [Q(x,y) & P(y)]}}
Проведите операцию сколемизации, используя W->g(x) – ( x) {P(x) v {(y)[P(y) v P[f(x,y)]]&{( g(x))[Q(x,g(x))&P(g(x))]}}} ( x) {P(x) v {(y)[P(y) v P[f(x,y)]]&{(g(x))[Q(x,g(x))&P(g(x))]}}} ( x) {P(x) v {(y)[P(y) v P[f(x,y)]]&[Q(x,g(x))&P(g(x))]}} ( x) {P(x) v {(y)[P(y) v P[f(x,y)]]&[Q(x,g(x))&P(g(x))]}}
Такое множество для стандартной формы Fs, в котором состоят переменные из универсрума Эрбрана Такое множество для стандартной формы Fs, в котором состоят функции из универсрума Эрбрана Такое множество для стандартной формы Fs, в котором состоят константы из универсрума Эрбрана Такое множество для стандартной формы Fs, которое входит в универсрум Эрбрана
Это дерево, все корни которого являются неблагополучными вершинами Это дерево, все корни которого являются благополучными вершинами Это дерево, все листья которого являются благополучными вершинами Это дерево, все листья которого являются неблагополучными вершинами
СПФ невыполнима (ложна) тогда и только тогда, когда она ложна при всех Эрбрановских интерпритациях СПФ выполнима тогда и только тогда, когда она выполнима при всех Эрбрановских интерпритациях СПФ невыполнима (ложна) тогда и только тогда, когда она ложна при какой-либо Эрбрановской интерпритации СПФ выполнима (ложна) тогда и только тогда, когда она ложна при всех Эрбрановских интерпритациях
Любая произвольная логическая формула имеет логически эквивалентную КНФ Единственный выполнимый дизъюнкт - пустой дизъюнкт НФ общезначима тогда и только тогда, когда общезначим хотя бы один ее дизъюнкт Алгоритм редукции - доказательство общезначимости формулы путем приведения к абсурду
кнф или КНФ
гиперрезолюция или Гиперрезолюция
Правило, изменяющее порядок, в котором пробуются резолюции, но не изменяющее их числа Стратегия, в которой в каждой резолюции хотя бы одно из родительских предложений принадлежит базовому множеству, т. е. полному множеству дизъюнктов СПФ Случай, когда в резолюции могут участвовать несколько предложений В данной стратегии необходимо найти такой унификатор, который обеспечил бы идентичность всех литералов, которые затем можно было бы объединить
Правило, изменяющее порядок, в котором пробуются резолюции, но не изменяющее их числа Стратегия, в которой в каждой резолюции хотя бы одно из родительских предложений принадлежит базовому множеству, т. е. полному множеству дизъюнктов СПФ Случай, когда в резолюции могут участвовать несколько предложений В данной стратегии необходимо найти такой унификатор, который обеспечил бы идентичность всех литералов, которые затем можно было бы объединить Нечеткие модели
С внешней средой С ограниченностью числа слов и фраз естесственного языка С внутренними ограничениями С ограниченностью количества комбинаций слов и букв естесственного языка
Неточность выбора и случайность измерений Нечеткость и прагматическая неоднозначность Случайность выбора и прагматическая неоднозначность Случайность выбора и неточность измерения
Выпуклая нечеткая величина, функция принадлежности которой квазивыпукла Выпуклая нечеткая величина, функция принадлежности которой квазивогнута Вогнутая нечеткая величина, функция принадлежности которой квазивогнута Вогнутая нечеткая величина, функция принадлежности которой квазивыпукла
JA = {u є U: µA(u)>1} JA = {u є U: µA(u)=0} JA = {u є U: µA(u)=1} JA = {u є U: µA(u)<0}
NA = {u є U: µA(u)=1} NA = {u є U: µA(u)=0} NA = {u є U: µA(u)>1} NA = {u є U: µA(u)>0}
Гомогенные нечеткие множества определены на различных областях, а гетерогенные на одинаковых Если нечеткие множества определены на различных областях, то они гомогенные Если области значения нечетких множеств одинаковы или одна и таже, то они называются гомогенными Если области значения нечетких множеств одинаковы или одна и таже, то они называются гетерогенными
с: [0,1]-> [0,1] удовлетворяющее свойствам:
При каких условиях с-строгое отрицание – с – есть строго возрастающая и непрерывная функция с(с(μ))≥ μ с – есть строго убывающая и непрерывная функция с(с(μ))≤ μ
Энтропия Квадратичный индекс нечеткости Линейный индекс нечеткости Ограниченная сумма
А:= mA – среднее значение нечеткого числа А А – отклонение справа А - отклонение слева А:= mA – максимальное значение нечеткого числа А А – отклонение слева А - отклонение справа А:= mA – среднее значение нечеткого числа А А – отклонение слева А - отклонение справа А:= mA – минимальное значение нечеткого числа А А – отклонение слева А - отклонение справа
Нечеткое подмножество косвенного произведения ΩхΩ характеризующейся следующей принадлежности μR : ΩxΩ→[0,1] Нечеткое подмножество прямого произведения ΩxΩ характеризующееся следующей принадлежностью μR : ΩxΩ→[0,1] Нечеткое подмножество прямого произведения ΩхΩ характеризующейся следующей принадлежности μR : ΩxΩ→(0,1) Нечеткое подмножество прямого произведения ΩхΩ характеризующейся следующей принадлежности μR : ΩxΩ→[0,2]
Дополнение Объединение 2 (ограниченная сумма) Конденсация (возведение в степень) Дополнение (возведение в степень)
Объединение 2 (ограниченное произведение) Пересечение 3 (алгебраическая сумма) Разность Объединение 1 (максимум: невзаимодействующие переменные)
Нечеткое множество А определенное на множестве действительных чисел (А R), такое что его функция принадлежности μ обладает следующими свойствами: нормальна и выпукла - Нечеткое число (2) Нечеткое множество, определенное на универсальном множестве U={u}, т.е. отображение множества U в единичный отрезок [0, 1]: μА: U -> [0,1] - Нечеткая величина А (1) Это математический формализм класса объектов или явлений с нечеткими границами - Нечеткое множество (3)
Пересечение нечетких множеств ГI В - {ω, μà ∩В(ω)}, μÃ∩ В=min [μÃ(ω), μВ(ω)] (3) Объединение нечетких множеств Г, В - {ω, μà В(ω)}, μà В=max [μÃ(ω), μВ(ω)] (1) Множеством α уровня нечеткого множества Г - {ω є Ω/μÃ(ω)≥α} при этом α=[0,1] (2)
Умножение - μА, μВ є М(R), а<0, в>0 (а, α, β)RL, (в, γ, δ)LR : (ав, вα-аδ, вβ-аα)RL (2) Деление - А, В такие что μА, μВ є М(R), а>0, в>0 (а, α, β)LR, (в, γ, δ)LR : (а/в, (аδ+вα)/2, (аγ+вβ)/в2) (3) Сложение - (а, α, β)LR, (в, γ, δ)LR : (а+в, α+γ, β+δ)LR (1)
Функция принадлежности может быть записана следующим образом: L((m – x)/ a) , a>0, x≤m mА(x)=1, x=m R((m-x)/ b) , b>0, x>m В этом случае арифметические операции над нечеткими числами определяются как – А . В - (mA. mB, mA. B+mB. A , mA. B+mB. A) (2) А+В - (mA+ mB, А+B , А+ B) (3) А - В - (mA- mB, А+B , А+ B) (1)
Максиминное - sup max { μ Ř1(x,z); μ Ř2(z,y)} z є Ω (1) Максмультипликативное - sup { μ Ř1(x,z) x μ Ř2(z,y)} z є Ω (3) Минимаксное - inf max { μ Ř1(x,z); μ Ř2(z,y)} z є Ω (2)
Им соответствует ориентированные взвешанные графы с двухсторонней ориентацией дуг, при этом веса противонаправленных дуг в общем случае могут не совпадать. На множестве объектов универсума они задают отношения упорядоченности, доминирования, подчиненности. В графическом представлении это есть ориентированный взвешанный граф с односторонней ориентацией дуг Отношения специального вида в зависимости от вида условий транзитивности, которому эти отношения удовлетворяют Отношение сходства или различия между объектами универсального множества, они представляются с помощью взвешенного графа с неориентированными ребрами
Путем измерения некоторого лингвистического параметра отражающего связь между субъектами Путем измерения некоторого физического параметра отражающего связь между объектами Путем измерения некоторого лингвистического параметра отражающего связь между объектами Путем изменения некоторого физического параметра отражающего связь между объектами ПРИЛОЖЕНИЕ В Перечень файлов, входящих в состав курса Файлы, находящиеся в папках resource_[n] (n – номер папки): Graphics, audio, text, video, plugins, external – папки с файлами, использованными в процессе создания курса (графические, аудио – и видеоресурсы курса). faq.htm – страница вопросов и ответов. glossary.htm – список терминов. index.htm – пустая страница (создается автоматически). Может нести информацию о средстве разработки. screen[n].htm – страницы вопросов и текста, где [n] – это номер страницы. searchableindex.htm – страница указателя. А также файлы прикрепленных файлов MSWord. Файлы в папке CoursePreview Graphics – папка содержит графические ресурсы. ATMenuCode.htm – начальная страница, участвующая в создании главной страницы курса. ATMenuCode.js – скрипт, участвующий в создании главной страницы. ATMenuTree.js – скрипт, участвующий в создании дерева курса. blank.htm – пустая страница. Item_[n].htm – страницы дополнительных сведений об элементах курса. Где n – номер элемента (страницы). Main.htm – главная страница курса. На ней отражается дерево курса. Помимо этого в состав курса входят временные файлы, файлы библиотек, автоматически создаваемые java-скрипты для оформления страниц и файлы, содержащие сведения о свойствах курса и отдельных страниц и участвующие в создании курса. ПРИЛОЖЕНИЕ С Фрагменты программного кода Ниже приведен программный код главной страницы Main.htm и файлов, участвующих в ее создании. Main.htm |
Программа по формированию навыков безопасного поведения на дорогах... Синонимы понятия «дистанционное обучение»: «дистантное обучение», «дистанционное образование», e-learning, «дистанционно-модульное... | Реферат Дистанционное образование Современное дистанционное обучение строится на использовании следующих основных элементов | ||
4 класс (дистанционное обучение) Ф. И. О. учителя: Литвина Татьяна Васильевна Рабочая программа по окружающему миру (дистанционное обучение) для 4 класса составлена на основе требований Федерального компонента... | Реферат Отчет 21 с., 5 ч., 6 табл., 3 электронных приложения. Ключевые... Ключевые слова: Зоологический музей, бакалавриат, магистратура, электронные базы данных, дистанционное обучение, инновационный компонент... | ||
Программа по формированию навыков безопасного поведения на дорогах... «Обучение для будущего», курсы «Дистанционное обучение», стала активным участником школьного проекта «Сетевая лаборатория». В настоящее... | Методические рекомендации по созданию учебно-методических комплексов... Дистанционное обучение через Интернет это обучение, при котором предоставление обучаемым существенной части учебного материала и... | ||
Методические аспекты использования эор нового поколения в образовательной... Модели организации обучения по предмету с использованием сетевых образовательных ресурсов: дистанционное обучение, организации проектной... | Программа по формированию навыков безопасного поведения на дорогах... Система спроектирована по технологии «Клиент – Сервер» работает на связке php и Mysql. Область применения системы: очное обучение... | ||
Программа по формированию навыков безопасного поведения на дорогах... Модели организации обучения по предмету с использованием сетевых образовательных ресурсов: дистанционное обучение, организации проектной... | Образовательные учреждения, осуществляющие дистанционное обучение Агафонова М. Н. Налог на прибыль в схемах, таблицах, примерах (глава 25 нк рф). Бератор- пресс, Москва, 2003 | ||
Дистанционное обучение по программе «Кадастровый инженер». Подготовка... Муниципальное бюджетное общеобразовательное учреждение «бакчарская средняя общеобразовательная школа» | Конкурсы и олимпиады для учеников и педагогов в сети Интернет Консультационная линия «Дистанционное обучение: проблемы и решения» на августовском Педсовете. Ведущая линии – Никуличева Н. В | ||
Электронные курсы Учебно-методическое пособие предназначено для преподавателей и тьюторов, применяющих дистанционное обучение для улучшения качества... | Расписание уроков В связи с наступающими морозными днями и вероятностью выхода на дистанционное обучение всем учителям приготовить информацию со вторника... | ||
Программа по формированию навыков безопасного поведения на дорогах... В рамках соглашения о сотрудничестве между гбоу дпо «ипкро ри» и ООО «Дневник. Ру» дистанционное обучение | Дистанционное обучение предметам области «Искусство» в общеобразовательной школе Программа по учебной дисциплине «Мировая художественная культура» разработана в соответствии с требованиями государственного образовательного... |