Реферат в данном проекте произведена попытка автоматизировать процесс изучения дисциплины «Системы искусственного интеллекта»




Скачать 1.29 Mb.
Название Реферат в данном проекте произведена попытка автоматизировать процесс изучения дисциплины «Системы искусственного интеллекта»
страница 7/8
Дата публикации 15.06.2014
Размер 1.29 Mb.
Тип Реферат
literature-edu.ru > Лекции > Реферат
1   2   3   4   5   6   7   8




9. АВТОРЫ: Всего авторов 1

авторы отказались быть упомянутыми в качестве таковых

9
((для указания сведений о других авторах необходимо заполнение формы РП/ДОП)
 А. СВЕДЕНИЯ ОБ АВТОРЕ:

Фамилия Имя Отчество: Никитина Вероника Вячеславовна

Дата рождения 01 число 10 месяц 1984 год

Местожительство, телефон: 190000, Санкт-Петербург, ул. Дегтярная, д.29/31, кв. 14

тел: (812) 271-30-46

Краткое описание авторского вклада в данное произведение:

разработка и отладка программы для ЭВМ

При публикации сведений об официальной регистрации данного произведения прошу: (отметить [X])

упоминать меня как автора под своим именем не упоминать меня как автора (анонимно)

упоминать меня как автора под псевдонимом ______________________________________________

Приведённые сведения верны Автор: ____________________________ /Никитина В.В./

подпись Фамилия И. О.

10. СВЕДЕНИЯ О СОДЕРЖАЩИХСЯ В ЗАЯВКЕ ДОКУМЕНТАХ: (отметить [X])

депонируемые материалы, идентифицирующие регистрируемое произведение:

распечатка исходного текста на_20_ л. в 1 экз.

распечатка объектного кода на _____ л. в 1 экз.

материалы, идентифицирующие аудиовизуальные отображения, порождаемые программой для ЭВМ в 1 экз.:

распечатка изображения на ____ л.

иное:_________________________________

материалы, идентифицирующие базу данных на ______ л. в 1 экз.

реферат в 2 экз.

иные материалы ___________________________________________ в 1 экз.

дополнение к заявлению (форма РП/ДОП) на 1 л.

доверенность(и) в _____ экз. на _____ л.

иные документы ______________________________________________________ на _____ л. .в 1 экз.

документ об уплате регистрационного сбора на 1 л.

документ, подтверждающий наличие оснований для предоставлении льготы на _____ л.

документ об уплате тарифа на ______ л.

  1. Адрес для переписки: (включая почтовый индекс) 190000, г. Санкт-Петербург,

ул. Дегтярная, д.29/31, кв.14

Адресат:

_______Никитина Вероника Вячеславовна_________ Номер телефона ( 812 )

12. КОНТАКТНЫЕ РЕКВИЗИТЫ для представления третьим лицам: __________________________

(указываются по желанию правообладателя) (тел., E–mail, адрес и др.)
_____________________________________________________________________________________


ПОДПИСЬ(И) ЗАЯВИТЕЛЯ(ЕЙ) ИЛИ ЕГО(ИХ) ПРЕДСТАВИТЕЛЯ
/В.В.Никитина/


__13_число_02__месяц__2007_____год

(От имени юридического лица заявление подписывает руководитель с указанием должности или иное лицо, уполномоченное на это учредительными документами, подпись удостоверяется печатью юридического лица. Заявление может подписать лицо, уполномоченное на это по доверенности. Подпись любого лица должна быть расшифрована и указана дата подписания заявления. Подписи правообладателей, которые не могут быть размещены в форме РП, размещаются в форме РП/ДОП.)


ПРОГРАММА ДЛЯ ЭВМ
Обучающая система по дисциплине

«Системы искусственного интеллекта»
Фрагменты исходного текста программы
Всего 20 листов


Правообладатель: Никитина Вероника Вячеславовна
Автор: _Никитина Вероника Вячеславовна

(ф., и., о.)

Санкт-Петербург

2007
Р Е Ф Е Р А Т
Автор: Никитина Вероника Вячеславовна

Правообладатель: Никитина Вероника Вячеславовна

Программа для ЭВМ: Обучающая система по дисциплине «Системы искусственного интеллекта»

Аннотация: Данная программа предназначена для проверки остаточных знаний по дисциплине «Системы искусственного интеллекта» с возможностью дальнейшего улучшения полученных результатов. Она состоит из проверочного теста, дающего оценку остаточных знаний студента, проходящего тест, а также рекомендации по улучшению результата с ссылками на необходимые материалы, содержащиеся в программе.

Тип ЭВМ: IBM PC/AT и совместимые с ней

ОС: любая

Язык программирования: HTML

Объем: 20 Mбайт

5.3 Коммерческая реализация программ для ЭВМ
Программный продукт и формы его продажи

Программный продукт – персонифицированная программа для ЭВМ или база данных, которая предназначена для самостоятельного использования конкретным пользователем в личных целях. Программный продукт включает не только исполняемый модуль и набор файлов, обеспечивающих функционирование программы или базы данных, но и содержит целый ряд вспомогательных средств, которые фирма-производитель предоставляет пользователю для самостоятельной установки и обслуживания программного продукта на своей ЭВМ с максимальной адаптацией к конфигурации системы и файловой структуре (программы-инсталляторы и т. п.), а также самостоятельного освоения программного продукта (руководство пользователя в автоматизированном виде и на бумажном носителе и т. п.).

Коммерческая реализация (продажа) программного продукта связана с понятием использования программы для ЭВМ или базы данных третьими лицами (пользователями) и осуществляется на основании договора с правообладателем. Договор заключается в письменном виде и может определять следующие условия: объем и способы использования, порядок выплаты вознаграждения и срок действия договора, а также территорию, на которой используется данный продукт. Такие договоры обычно называются лицензионными (по аналогии с договорами на использование запатентованных изобретений) или авторскими, согласно ст. 30 Закона об АП .

Одним из типов лицензионного договора на программу для ЭВМ или базу данных является традиционный двухсторонний договор правообладателя с покупателем (пользователем), в котором определяется объем предоставляемых прав на использование программы или базы данных. Такие договоры составляются, как правило, при единичных продажах программного продукта, предназначенного для решения достаточно узких прикладных задач (научных, отраслевых и т. п.), при продажах программного продукта, требующего регулярного обновления и дополнения (некоторые базы данных), а также при передаче прав на тиражирование и распространение программ для ЭВМ или баз данных [16].

Лицензионный договор приведен ниже.
ЛИЦЕНЗИОННЫЙ ДОГОВОР

НА ИСПОЛЬЗОВАНИЕ ПРОГРАММЫ ДЛЯ ЭВМ
Стороны в Договоре:

Гражданка Никитина Вероника Вячеславовна, проживающая по адресу: 190000, г. Санкт-Петербург, ул. Дегтярная, д. 29/31, кв. 14, именуемая в дальнейшем "ЛИЦЕНЗИАР", с одной стороны, и

Государственное образовательное учреждение высшего профессионального образования "Санкт-Петербургский государственный электротехнический университет "ЛЭТИ" им. В.И.Ульянова (Ленина)", именуемый в дальнейшем "ЛИЦЕНЗИАТ", в лице проректора по научно-образовательной деятельности Пузанкова Д.В., действующего на основании Устава, с другой стороны,

принимая во внимание:

  1. что Лицензиар является автором и правообладателем программы для ЭВМ "Обучающая система по дисциплине «Системы искусственного интеллекта»";

  2. Лицензиат желает получить на условиях настоящего Договора лицензию на использование упомянутой программы для ЭВМ с целью проведения научных исследований в области медицинского приборостроения;

  3. Лицензиар готов предоставить Лицензиату такую лицензию,

договорились о следующем.
1. Термины и их определения


  1. "ПРОГРАММА ДЛЯ ЭВМ (ПрЭВМ)" - программное обеспечение "Программный комплекс для моделирования обработки электрокардиосигнала (ECG)".

  2. "ДОКУМЕНТАЦИЯ" - комплект документов, передаваемых Лицензиаром Лицензиату, включающий руководство пользователя по применению и обслуживанию программы для ЭВМ.

  3. "ПРОИЗВОДСТВЕННАЯ ПЛОЩАДКА" - научные лаборатории и кафедры Лицензиата.

  4. "РАБОЧЕЕ МЕСТО" - конкретная ЭВМ, на которой используется Программа для ЭВМ.


2. Предмет Договора


  1. Лицензиар предоставляет Лицензиату на срок действия настоящего Договора и за вознаграждение, уплачиваемое Лицензиатом, неисключительную лицензию на использование ПрЭВМ. При этом Лицензиату предоставляется право на установку ПрЭВМ не более чем на 10 (десяти) Рабочих местах.

  2. Лицензиар передает Лицензиату Документацию к ПрЭВМ.

  3. Предоставленное Лицензиату в рамках настоящего Договора право ограничено Производственной площадкой.

  4. Лицензиар осуществляет авторский контроль за соблюдением объемов использования ПрЭВМ по настоящему Договору, при этом Лицензиат обеспечивает возможность такого контроля.

  5. Лицензиар сохраняет за собой право самому использовать ПрЭВМ и предоставлять неисключительные лицензии на право ее использования третьим лицам.


3. Обеспечение Договора


  1. Лицензиар передает Лицензиату ПрЭВМ в объеме и виде, достаточном для ее использования, и Документацию в течение 15 (пятнадцати) дней со дня подписания настоящего Договора. ПрЭВМ передается Лицензиату в виде CD-диска в количестве 1 (одной) штуки, содержащего ПрЭВМ в виде архива с рабочими файлами. По факту передачи ПрЭВМ и Документации составляется акт сдачи-приемки с перечнем переданных материалов, подписываемый обеими Сторонами.

  2. Если Лицензиат установит неполноту или неправильность полученных ПрЭВМ или Документации, то Лицензиар в течение 15 (пятнадцати) дней после сообщения ему об этом Лицензиатом обязан передать недостающие материалы или устранить недостатки ранее переданных ПрЭВМ и Документации.

  3. Для оказания помощи в освоении ПрЭВМ Лицензиар по просьбе Лицензиата оказывает консультации пользователям ПрЭВМ.

  4. Для целей использования ПрЭВМ в объеме, предусмотренном п. 2.1 настоящего Договора, Лицензиат может изготавливать в необходимом ему количестве копии ПрЭВМ и копии Документации.


4. Усовершенствования


  1. Лицензиар обязуется незамедлительно информировать Лицензиата о всех произведенных им усовершенствованиях ПрЭВМ и, при желании Лицензиата, передать ему в согласованные сроки новые варианты ПрЭВМ. В отношении новых вариантов ПрЭВМ, переданных Лицензиаром Лицензиату, распространяются все условия настоящего Договора.

  2. Лицензиат обязуется предоставлять Лицензиару информацию об использовании ПрЭВМ, которая могла бы быть полезной для усовершенствования ПрЭВМ.


5. Платежи


  1. За предоставление прав, предусмотренных настоящим Договором, Лицензиат выплачивает Лицензиару единовременное вознаграждение в размере 20000(двадцать тысяч) рублей.

  2. Вознаграждение, предусмотренное п. 5.1 настоящего Договора, выплачивается Лицензиатом в течение 30 (тридцати) дней, следующих после подписания акта приемки-сдачи.


6. Реклама


  1. Лицензиат обязуется при опубликовании результатов исследований, полученных с использованием ПрЭВМ, сообщать в рекламных целях, что исследования производились с использованием ПрЭВМ Лицензиара с указанием авторского права Лицензиара.


7. Защита передаваемых прав


  1. Лицензиат обязуется не вносить самовольно каких-либо изменений в ПрЭВМ и Документацию и не дополнять их какими-либо комментариями. Подобные изменения или дополнения возможны только с согласия Лицензиара.

  2. Лицензиат обязуется предпринимать все необходимые меры для предотвращения несанкционированного копирования ПрЭВМ и Документации третьими лицами, а также несанкционированной передачи ПрЭВМ и Документации работниками Лицензиата третьим лицам.

  3. Если Лицензиату станет известно о противоправном использовании ПрЭВМ третьими лицами, то он незамедлительно сообщит об этом Лицензиару.


8. Ответственность Сторон и разрешение споров


  1. За невыполнение или ненадлежащее выполнение обязательств по настоящему Договору Стороны несут имущественную ответственность в соответствии с действующим законодательством.

  2. Стороны освобождаются от ответственности за неисполнение или ненадлежащее исполнение обязательств, принятых по настоящему Договору, если неисполнение явилось следствием обстоятельств непреодолимой силы (форс-мажор).

  3. Сторона, нарушившая свои обязательства по настоящему Договору, освобождается от ответственности за неисполнение или ненадлежащее исполнение этих обязательств, если это нарушение было вызвано причинами, за которые отвечает другая Сторона.

  4. В случае возникновения споров между Лицензиаром и Лицензиатом по вопросам, предусмотренным настоящим Договором, Стороны примут все меры к разрешению их путем переговоров между собой. В случае невозможности разрешения указанных споров путем переговоров они будут разрешаться в порядке, предусмотренном действующим законодательством.


9. Срок действия Договора и условия его расторжения


  1. Настоящий Договор заключен на срок 2 года и вступает в силу с даты его подписания обеими Сторонами.

  2. По истечении срока действия настоящего Договора Лицензиат вправе использовать ПрЭВМ, включая усовершенствованные варианты, на Производственной площадке на любом количестве Рабочих мест. При этом обязательства Лицензиара, предусмотренные пп. 7.1 и 7.2 настоящего Договора, сохраняются бессрочно.

  3. Действие настоящего Договора по обоюдному согласию Сторон может быть досрочно прекращено, но не ранее чем через три месяца после предложения об этом одной из Сторон. При этом Лицензиат не освобождается от обязательств по платежам, возникшим до расторжения настоящего Договора.

  4. Настоящий Договор может быть досрочно расторгнут в одностороннем порядке со стороны Лицензиара из-за невыполнения Лицензиатом своих обязательств по пп. 7.1 или 7.2. В этом случае Лицензиат лишается права дальнейшего использования ПрЭВМ в любой форме и обязан вернуть ее Лицензиару.

  5. Если Лицензиат откажется от дальнейшего использования ПрЭВМ, то он уничтожит все имеющиеся у него копии ПрЭВМ.


10. Заключительные положения


  1. Все изменения и дополнения к настоящему Договору действительны только в тех случаях, если они совершены в письменной форме и подписаны обеими Сторонами.

  2. Стороны не имеют права передавать свои права и обязательства по настоящему Договору третьим лицам без письменного согласия на то другой Стороны.

  3. Во всем остальном, что не предусмотрено условиями настоящего Договора, будут применяться нормы законодательства Российской Федерации.

  4. Настоящий Договор понимается как авторский договор в соответствии со ст. 30 Закона РФ "Об авторском праве и смежных правах".



11. Адреса Сторон


  1. ЛИЦЕНЗИАР: Никитина Вероника Вячеславовна, 190000, г. Санкт-Петербург, ул. Дегтярная, д. 29/31, кв. 14.

  2. ЛИЦЕНЗИАТ: СПбГЭТУ, адрес: 197376, Санкт-Петербург, ул. Проф. Попова, д. 5.

Настоящий Договор составлен в двух экземплярах для каждой из Сторон и подписан "_13"_февраля_ 2007 г. в г. Санкт-Петербурге.

ЛИЦЕНЗИАР:
От ЛИЦЕНЗИАТА:


___________ В. В. Никитина
Ректор СПбГЭТУ

____________ Д.В. Пузанков


Заключение
В процессе выполнения диплома получены следующие результаты:

  • Было рассмотрено понятие дистанционного обучения, изучены методы организации дистанционных курсов и способы их создания;

  • Были выбраны и изучены средства разработки и публикации электронных курсов, такие как Lotus Learning Space 5.х и IBM Lotus Workplace Collaborative Learning.

  • Были подобраны и систематизированы материалы по выбранной дисциплине «Системы искусственного интеллекта», разработаны вопросы для тестовых занятий.

В итоге был разработан электронный курс по дисциплине «Системы искусственного интеллекта», основанный на обучении в ходе выполнения тестовых заданий с целью подготовки к итоговому тестированию. Благодаря выбранным средствам разработки возможно внесение изменений в материалы курса, а также в его структуру при необходимости. Данный курс позволяет контролировать действия выполняемые студентом при выполнении тестирования, улучшая результаты теста и повышая уровень знаний студента. Также он позволяет давать адекватную оценку знаниям студента по данной дисциплине.

Список литературы


  1. http://scholar.urc.ac.ru/courses/tutor/guest-en/templan.html

  2. http://www.e-joe.ru/sod/99/2_99/st163.html

  3. http://www.iet.mesi.ru/dis/oglo.htm

  4. http://medianet.yartel.ru/medianet/do/metod/de.ppt

  5. http://is.tstu.tver.ru/3/article/art0010.htm

  6. http://docum.cos.ru/portal

  7. http://www.distance-learning.ru

  8. http://comparative.edu.ru:9080/PortalWeb

  9. http://inno.cs.msu.su/implementation/it-university/07/report.doc

  10. http://edu.nstu.ru/informatization/programm2005/3-5-1_Guzhov.doc

  11. http://bigor.bmstu.ru

  12. Тимофеев А.В. Дистанционное обучение в системе управления учебным процессом Lotus LearningSpace 5.x. СПб.:Изд-во СПбГЭТУ «ЛЭТИ», 2003.-252с.

  13. http://www.intertrust.ru/site3/vendors.nsf/d

  14. http://lms.lspace.etu.ru:9081

  15. Технико-экономическое обоснование дипломных проектов (работ): Методические указания / Сост. А.В. Васильев. СПб.: Изд-во СПбГЭТУ «ЛЭТИ», 2002. – 36с.

  16. Правовая охрана и коммерческая реализация программ для ЭВМ и баз данных: Методические указания / Сост. Ю. И. Буч, И. С. Терентьева. СПб.: Изд-во СПбГЭТУ «ЛЭТИ», 1998. - 62 с.



ПРИЛОЖЕНИЕ А
Перечень вопросов тестирования
Представления знаний и семантические сети

  1. Область деятельности конечных пользователей ЭВМ, в которой они решают свои задачи это –

Проблемная область

Область данных

Область знаний

Предметная область

  1. Дайте определение понятию "Данные" –

исходные, промежуточные или окончательные (выходные) конкретные сведения или факты о решаемой задаче в текущий момент времени

любая информация об общих свойствах и закономерностях предметной области, которая хранится в системе вне зависимости от того, решается или нет в данный момент задача

совокупность предметной области и задач, в ней решаемых

информация для ЭВМ существующая в двух видах: процедурном и декларативном

  1. Дайте определение понятию "Знания" –

информация для ЭВМ существующая в двух видах процедурном и декларативном

исходные, промежуточные или окончательные (выходные) конкретные сведения или факты о решаемой задаче в текущий момент времени

любая информация об общих свойствах и закономерностях предметной области, которая хранится в системе вне зависимости от того, решается или нет в данный момент задача и выраженная в терминах некоторой модели представления знаний

совокупность предметной области и задач, в ней решаемых

  1. Какие особенности отличают знания от данных –

Внутренняя интерпретируемость

Пассивность знаний

Семантическая метрика

Активность знаний

  1. Следующие модели представления знаний известны и применяются в интеллектуальных информационных системах –

Фреймовые модели

Сетевые модели

Процедуральные модели

Эволюционные и генетические алгоритмы

  1. Продолжите фразу. Если 2 сложные конкретные ситуации соответствуют одной и той же стереотипной ситуации, то –

Они являются элементарными

Они имеют одно и то же количество компонент

Множество ролей у этих конкретных ситуаций совпадает

Они удовлетворяют совокупности свойств или ограничений, связанных с этой стереотипной ситуацией

  1. Что из перечисленного является достоинствами семантических сетей –

Понятийная структура и система независимостей представлены однородно

Способность выступать в роли моделей данных в банках данных

В семантической сети немалое количество дуг несет чисто семантическую информацию

Способность представлять смысл фраз естесственного языка

  1. Что из перечисленного является недостатками семантических сетей –

Понятийная структура и система независимостей представлены неоднородно

Неспособность выступать в роли моделей данных в банках данных

В семантической сети немалое количество дуг несет чисто семантическую информацию

Неспособность представлять смысл фраз естесственного языка

Фреймы

  1. Дайте определение понятию "Фрейм" –

Структура данных для представления стереотипной ситуации

Стереотипная ситуация для представления структуры данных

Система для представления структуры данных

Система для представления стереотипной ситуации

  1. Что такое "Фрейм-образец" –

Экстенсиональное представление фреймов-экземпляров

Интенсиональное описание некоторого множе­ства фреймов-экземпляров

Процедуральное представление фреймов-экземпляров

Декларативное описание фремов-экземпляров

  1. Что такое "Фрейм-экземпляр" –

Экстенсиональное представление фреймов-образцов

Декларативное описание фремов-экземпляров

Интенсиональное описание некоторого множе­ства фреймов-экземпляров

Процедуральное представление фреймов-экземпляров

  1. Основными механизмами логического вывода во фреймовой системе пакета FRAMEBOX являются –

Выводы, использующие концепцию отношений между демонами

Выводы, использующие отношения между фреймами

Выводы, использующие отношения между процедурами

Выводы, использующие концепцию присоединенных процедур

  1. Во фреймовой системе пакета FRAMEBOX используются следующие отношения между фреймами –

Отношения "родители-потомки"

Отношения "часть-целое"

Отношения собственности

Отношения связи

  1. Выводы, использующие отношения между фреймами –

Вывод наследованием

Вывод глобальной фреймовой сети

Вывод путем глобального структурного поиска

Вывод путем локального наследования

  1. Какие операции над фреймами и фреймовыми деревьями допускаются в пакете FRAMEBOX -

Изменение экземпляра фрейма

Удаление фреймовых деревьев

Создание экземпляра фрейма

Изменение фреймовых деревьев

  1. Во фреймовой системе пакета FRAMEBOX предусмотрены следующие виды демонов –

PRO-ДЕМОН

ASK-ДЕМОН

MODI-ДЕМОН

INS-ДЕМОН

  1. Во многих фреймовых системах c каждым слотом фрейма могут быть связаны программы, которые автоматически выполняются, если наступают определенные события. Такие программы называются -

Демон, демон, демоны или Демоны
Исчисление высказываний

  1. Исчисление высказываний это –

Совокупность правил оперирования предложениями искусственного или естественного языка, принимающих одно из значений: истина, ложь

Некоторое предложение искусственного языка, принимающее значение истина или ложь

Некоторое предложение естественного языка, принимающее значение истина или ложь

Совокупность правил оперирования предложениями искусственного языка, принимающих одно из значений: 1, -1, 0

  1. Семантика это –

Набор связок формулы

Набор правил интерпретирования формул

Главная связка формулы

Набор формул

  1. Выберите общезначимую формулу –

(рр)&(рр)

(рр)(рр)

(рр)&(  рр)

(рр)&(  рр)

  1. Исчисление высказываний принадлежит классу формальных систем:

F:=> , где –

T-словарь, Р-синтаксис, А-множество аксиом, В-правило вывода из А синтаксически правильных совокупностей

T-синтакис, Р-словарь, А-множество аксиом, В-правило вывода из А синтаксически правильных совокупностей

T-словарь, Р-синтаксис, А-множество правильных совокупностей, В-правило вывода из А аксиом

T-правила, Р-словарь, А-множество аксиом, В-правило вывода правильных совокупностей

  1. Что такое тавтология –

Нейтральная формула исчисления высказываний

Общезначимая формула исчисления высказываний

Выполнимая формула исчисления высказываний

Необщезначимая формула исчисления высказываний

  1. Формула ((p&q) →r) →(p→(q→r)) –

Общезначима и невыполнима

Необщезначима и выполнима

Нейтральна

Общезначима

  1. Формула (((p&q) →r)&(p→q)) →(p→r) –

Нейтральна

Общезначима и невыполнима

Общезначима

Необщезначима и выполнима

  1. Формула (p→(q→r)) →((p&q) →r) –

Общезначима

Общезначима и невыполнима

Нейтральна

Необщезначима и выполнима

  1. Как в формульном виде выглядит сложение по модулю 2 –

(X&Y)(X&Y)

(X&Y)(X&Y)

(X&Y)(X&Y)

(X&Y)(X&Y)

  1. Размер таблицы истинности для n-местной формулы –

2+n строк

2n строк

2n строк

n*2n строк


  1. Что такое литерал –

Элементарные формулы

Неэлементарные высказывания

Элементарные высказывания

Элементарные кванторы

  1. Расположите по порядку шаги преобразования формулы к ПНФ –

Переименование переменных таким образом, чтобы каждый квантор имел бы свою собственную переменную (3)

Приведение правильно построенной формулы к префиксной НФ (5)

Преобразование матрицы (бескванторной формы) к КНФ (6)

Исключение операций импликации и эквивалентности (1)

Исключение знаков & в КНФ и преобразование формулы во множество дизъюнктов (8)

Опускание кванторов общности (7)

Выполняется операция: сколемизация (4)

Уменьшение области действия логической связки отрицания (2)

  1. Множество дизъюнктов невыплнимо тогда и только тогда, когда пустой дизъюнкт является их логическим следствием. На этом утверждении базируется –

Принцип резолюции

Алгоритм Куайна

Алгоритм Девиса и Патнема

Алгебраический подход

  1. Синтаксические правила образования термов –

Любая константа есть терм

Любая переменная есть терм

Если f - функциональный символ, а t1,..,tn - термы, то f(t1,..,tn) - терм

Все выше перечисленные

  1. Синтаксические правила образования атомов –

Любая пропозиционная буква - атом

Если р - n-местный предикатный символ, а t1,..,tn - термы, то р(t1,..,tn) - атом

Синтаксическое правило - атом

Ответы 1 и 2 верны

Все ответы верны


  1. Синтаксические правила определения формул –

Атом – формула

Если Q, W - формулы, то ( Q), Q&W, Q~W, Q->W, QvW - формулы

Если Q - формула, а Х - переменная, входящая в эту формулу, то Х(Q(X)) и Х(Q(Х)) - формулы

Все ответы верны

  1. (X){P(x)->{(y)[P(y)->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) & {(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)]}}

  1. (x) {P(x) v {(y)[P(y) v P[f(x,y)]]& {(y)[Q(x,y)vP(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)]}}

  1. ( x) {P(x) v {(y)[P(y) v P[f(x,y)]]&{( W)[Q(x,W)&P(W)]}}}

Проведите операцию сколемизации, используя 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))]}}

  1. Эрбрановская база это –

Такое множество для стандартной формы Fs, в котором состоят переменные из универсрума Эрбрана

Такое множество для стандартной формы Fs, в котором состоят функции из универсрума Эрбрана

Такое множество для стандартной формы Fs, в котором состоят константы из универсрума Эрбрана

Такое множество для стандартной формы Fs, которое входит в универсрум Эрбрана


  1. Замкнутое дерево это –

Это дерево, все корни которого являются неблагополучными вершинами

Это дерево, все корни которого являются благополучными вершинами

Это дерево, все листья которого являются благополучными вершинами

Это дерево, все листья которого являются неблагополучными вершинами

  1. Выберите правильную формулировку теоремы –

СПФ невыполнима (ложна) тогда и только тогда, когда она ложна при всех Эрбрановских интерпритациях

СПФ выполнима тогда и только тогда, когда она выполнима при всех Эрбрановских интерпритациях

СПФ невыполнима (ложна) тогда и только тогда, когда она ложна при какой-либо Эрбрановской интерпритации

СПФ выполнима (ложна) тогда и только тогда, когда она ложна при всех Эрбрановских интерпритациях

  1. Выберите правильные утверждения –

Любая произвольная логическая формула имеет логически эквивалентную КНФ

Единственный выполнимый дизъюнкт - пустой дизъюнкт

НФ общезначима тогда и только тогда, когда общезначим хотя бы один ее дизъюнкт

Алгоритм редукции - доказательство общезначимости формулы путем приведения к абсурду

  1. Конъюнкция конечного числа дизъюнктов это –

кнф или КНФ

  1. Случай, когда в резолюции могут участвовать несколько предложений –

гиперрезолюция или Гиперрезолюция

  1. Линейная по входу стратегия –

Правило, изменяющее порядок, в котором пробуются резолюции, но не изменяющее их числа

Стратегия, в которой в каждой резолюции хотя бы одно из родительских предложений принадлежит ба­зовому множеству, т. е. полному множеству дизъюнктов СПФ

Случай, когда в резолюции могут участвовать несколько предложений

В данной стратегии необходимо найти такой унификатор, который обес­печил бы идентичность всех литералов, которые затем можно было бы объединить

  1. Унификация (факторизация) –

Правило, изменяющее порядок, в котором пробуются резолюции, но не изменяющее их числа

Стратегия, в которой в каждой резолюции хотя бы одно из родительских предложений принадлежит ба­зовому множеству, т. е. полному множеству дизъюнктов СПФ

Случай, когда в резолюции могут участвовать несколько предложений

В данной стратегии необходимо найти такой унификатор, который обес­печил бы идентичность всех литералов, которые затем можно было бы объединить
Нечеткие модели

  1. С чем связана лингвистическая неопределенность –

С внешней средой

С ограниченностью числа слов и фраз естесственного языка

С внутренними ограничениями

С ограниченностью количества комбинаций слов и букв естесственного языка

  1. Какие неточности вносит физическая неопределенность –

Неточность выбора и случайность измерений

Нечеткость и прагматическая неоднозначность

Случайность выбора и прагматическая неоднозначность

Случайность выбора и неточность измерения

  1. Нечеткий интервал это –

Выпуклая нечеткая величина, функция принадлежности которой квазивыпукла

Выпуклая нечеткая величина, функция принадлежности которой квазивогнута

Вогнутая нечеткая величина, функция принадлежности которой квазивогнута

Вогнутая нечеткая величина, функция принадлежности которой квазивыпукла

  1. Ядром нечеткой величины A называется множество –

JA = {u є U: µA(u)>1}

JA = {u є U: µA(u)=0}

JA = {u є U: µA(u)=1}

JA = {u є U: µA(u)<0}

  1. Носителем нечеткой величины A называется множество –

NA = {u є U: µA(u)=1}

NA = {u є U: µA(u)=0}

NA = {u є U: µA(u)>1}

NA = {u є U: µA(u)>0}

  1. Какое из утверждений верно –

Гомогенные нечеткие множества определены на различных областях, а гетерогенные на одинаковых

Если нечеткие множества определены на различных областях, то они гомогенные

Если области значения нечетких множеств одинаковы или одна и таже, то они называются гомогенными

Если области значения нечетких множеств одинаковы или одна и таже, то они называются гетерогенными

  1. Определение функции отрицания в теории нечетких множеств следующее

с: [0,1]-> [0,1] удовлетворяющее свойствам:

  1. с(0)=1 с(1)=0

  2. μА≤μВ -> с(μА)≥с(μВ) – невозрастающая функция

При каких условиях с-строгое отрицание –

с – есть строго возрастающая и непрерывная функция

с(с(μ))≥ μ

с – есть строго убывающая и непрерывная функция

с(с(μ))≤ μ

  1. Можно выделить несколько аспектов связанных с понятием нечеткости или размытости. По 1 аспекту в качестве показателя размытости рассматривается –

Энтропия

Квадратичный индекс нечеткости

Линейный индекс нечеткости

Ограниченная сумма


  1. LR представление нечеткого числа есть –

А:=A, А , А >

mA – среднее значение нечеткого числа А

А – отклонение справа

А - отклонение слева

А:=A, А , А >

mA – максимальное значение нечеткого числа А

А – отклонение слева

А - отклонение справа

А:=A, А , А >

mA – среднее значение нечеткого числа А

А – отклонение слева

А - отклонение справа

А:=A, А , А >

mA – минимальное значение нечеткого числа А

А – отклонение слева

А - отклонение справа

  1. Нечетким бинарным отношением R на универсуме Ω называется –

Нечеткое подмножество косвенного произведения ΩхΩ характеризующейся следующей принадлежности

μR : ΩxΩ→[0,1]

Нечеткое подмножество прямого произведения ΩxΩ характеризующееся следующей принадлежностью

μR : ΩxΩ→[0,1]

Нечеткое подмножество прямого произведения ΩхΩ характеризующейся следующей принадлежности

μR : ΩxΩ→(0,1)

Нечеткое подмножество прямого произведения ΩхΩ характеризующейся следующей принадлежности

μR : ΩxΩ→[0,2]

  1. Основные операции в алгебре нечетких множеств –

Дополнение

Объединение 2 (ограниченная сумма)

Конденсация (возведение в степень)

Дополнение (возведение в степень)

  1. Основные операции в алгебре нечетких множеств –

Объединение 2 (ограниченное произведение)

Пересечение 3 (алгебраическая сумма)

Разность

Объединение 1 (максимум: невзаимодействующие переменные)

  1. Каким понятиям соответствуют приведенные ниже определения –

Нечеткое множество А определенное на множестве действительных чисел (А R), такое что его функция принадлежности μ обладает следующими свойствами: нормальна и выпукла - Нечеткое число (2)

Нечеткое множество, определенное на универсальном множестве U={u}, т.е. отображение множества U в единичный отрезок [0, 1]:

μА: U -> [0,1] - Нечеткая величина А (1)

Это математический формализм класса объектов или явлений с нечеткими границами - Нечеткое множество (3)

  1. Для нечетких множеств - справедливы следующие операции –

Пересечение нечетких множеств ГI В - {ω, μà ∩В(ω)}, μÃ∩ В=min [μÃ(ω), μВ(ω)] (3)

Объединение нечетких множеств Г, В - {ω, μà В(ω)}, μà В=max [μÃ(ω), μВ(ω)] (1)

Множеством α уровня нечеткого множества Г - {ω є Ω/μÃ(ω)≥α} при этом α=[0,1] (2)

  1. Операции над нечеткими числами в LR форме –

Умножение - μА, μВ є М(R), а<0, в>0

(а, α, β)RL, (в, γ, δ)LR : (ав, вα-аδ, вβ-аα)RL (2)

Деление - А, В такие что μА, μВ є М(R), а>0, в>0

(а, α, β)LR, (в, γ, δ)LR : (а/в, (аδ+вα)/2, (аγ+вβ)/в2) (3)

Сложение - (а, α, β)LR, (в, γ, δ)LR : (а+в, α+γ, β+δ)LR (1)

  1. LR представление нечеткого числа есть тройка А:=A, aА , bА >

Функция принадлежности может быть записана следующим

образом:

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)

  1. Пусть есть два нечетких отношения Ř1, Ř2 , тогда их произведение Ř1˚Ř2 могут быть определены следующим образом –

Максиминное - 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)

  1. Симметричные отношения это –

Им соответствует ориентированные взвешанные графы с двухсторонней ориентацией дуг, при этом веса противонаправленных дуг в общем случае могут не совпадать.

На множестве объектов универсума они задают отношения упорядоченности, доминирования, подчиненности. В графическом представлении это есть ориентированный взвешанный граф с односторонней ориентацией дуг

Отношения специального вида в зависимости от вида условий транзитивности, которому эти отношения удовлетворяют

Отношение сходства или различия между объектами универсального множества, они представляются с помощью взвешенного графа с неориентированными ребрами

  1. Нечеткие отношения сходства обычно задаются в виде матрицы, при этом элементы этих матриц могут быть получены –

Путем измерения некоторого лингвистического параметра отражающего связь между субъектами

Путем измерения некоторого физического параметра отражающего связь между объектами

Путем измерения некоторого лингвистического параметра отражающего связь между объектами

Путем изменения некоторого физического параметра отражающего связь между объектами

ПРИЛОЖЕНИЕ В
Перечень файлов, входящих в состав курса
Файлы, находящиеся в папках 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
1   2   3   4   5   6   7   8

Похожие:

Реферат в данном проекте произведена попытка автоматизировать процесс изучения дисциплины «Системы искусственного интеллекта» icon Обзор исследований в области искусственного интеллекта
Обзор исследований в области искусственного интеллекта глава представление знаний
 Реферат в данном проекте произведена попытка автоматизировать процесс изучения дисциплины «Системы искусственного интеллекта» icon Рабочая программа дисциплины основы искусственного интеллекта
Программа составлена в соответствии с Государственным образовательным стандартом высшего профессионального образования по педагогическим...
Реферат в данном проекте произведена попытка автоматизировать процесс изучения дисциплины «Системы искусственного интеллекта» icon Реферат в данном проекте был создан курс, основанный на обучении...
Для этого были созданы страницы-ссылки на содержимое документов, включающие в себя все материалы по изучаемой дисциплине. Данный...
 Реферат в данном проекте произведена попытка автоматизировать процесс изучения дисциплины «Системы искусственного интеллекта» icon В настоящий момент в создании искусственного интеллекта (в первоначальном...
Целью этой работы является рассмотрение алгоритмов поиска пути, провести обзор и анализ области применения, в каких целях используются...
Реферат в данном проекте произведена попытка автоматизировать процесс изучения дисциплины «Системы искусственного интеллекта» icon «Целостный мир viii» 2014 Секция №1 «В царстве линий, формул и файлов»
Моделирование поведения искусственного интеллекта в редакторе уровней на примере двумерной игры
 Реферат в данном проекте произведена попытка автоматизировать процесс изучения дисциплины «Системы искусственного интеллекта» icon Программа учебной дисциплины современные проблемы изучения развития системы русского языка
Место дисциплины в структуре ооп впо по направлению подготовки магистров «Филология»
Реферат в данном проекте произведена попытка автоматизировать процесс изучения дисциплины «Системы искусственного интеллекта» icon Программа дисциплины «финансы и кредит» Москва Программа дисциплины...
Целью изучения дисциплины «Финансы и кредит» является усвоение студентами теоретических основ денежного обращения, финансов и кредита,...
 Реферат в данном проекте произведена попытка автоматизировать процесс изучения дисциплины «Системы искусственного интеллекта» icon Отчет о реализации мероприятий комплекса мер с указанием социального...
В проекте модернизации ставится задача по прорыву системы образования на передовые позиции на всех этапах обучения
Реферат в данном проекте произведена попытка автоматизировать процесс изучения дисциплины «Системы искусственного интеллекта» icon Программа дисциплины «национальная экономика»
Производственные ресурсы. Технологический способ соединения факторов производства. Показатели эффективности. Закон убывающей эффективности....
 Реферат в данном проекте произведена попытка автоматизировать процесс изучения дисциплины «Системы искусственного интеллекта» icon Тест был разработан Л. Пенроузом и Дж. Равеном в 1936 г в соот- ветствии...
Методика относится к интеллектуальным тестам и предназначен для измерения уровня интеллектуального развития человека
Литература

При копировании материала укажите ссылку © 2015
контакты
literature-edu.ru

Поиск на сайте

Главная страница  Литература  Доклады  Рефераты  Курсовая работа  Лекции