«системы автоматизированного проектирования», 2008 Дисциплина: «Интеллектуальные подсистемы сапр»




Название«системы автоматизированного проектирования», 2008 Дисциплина: «Интеллектуальные подсистемы сапр»
страница6/36
Дата публикации17.01.2015
Размер2.36 Mb.
ТипДокументы
lit-yaz.ru > Информатика > Документы
1   2   3   4   5   6   7   8   9   ...   36
^

7. Логические модели представления знаний в интеллектуальных системах


Описания предметных областей, выполненные в логических языках, называются логическими моделями
^ ОПРЕДЕЛЕНИЕ И СТРУКТУРА ЛОГИЧЕСКОЙ МОДЕЛИ
В основе моделей такого типа лежит формальная система, задаваемая четверкой вида:
 M=
Структурные части: T
Множество  Т – множество базовых элементов различной природы (алфавит),
Структурные части: S
Множество S – множество синтаксических правил.
С их помощью из элементов Т образуют синтаксически правильные совокупности (формулы). Декларируется существование процедуры P(S), с помощью которой за конечное число шагов можно получить ответ на вопрос, является ли совокупность X синтаксически правильной.
Структурные части: A
Элементы А называются аксиомами.
Должна существовать процедура P(А), с помощью которой для любой синтаксически правильной совокупности можно получить ответ  на вопрос о принадлежности ее к множеству А.
^ АКСИОМА – утверждение, которое априорно считается истинным
Структурные части: B
Множество В – множество правил вывода. Применяя эти правила к элементам А, можно получать новые синтаксически правильные совокупности, к которым снова можно применять правила из В. Если имеется процедура P(В), с помощью которой можно определить для любой синтаксически правильной совокупности, является ли она выводимой, то соответствующая формальная система называется разрешимой. Именно правила вывода – наиболее сложная составляющая формальной системы.
В настоящий момент в логических моделях широко используется логика высказываний и предикат 1-го порядка.
Исчисление высказываний – формальная система, базовыми элементами которойявляются высказывания.
Исчисление высказываний изучает связи между этими высказываниями, которые задаются логическими связками (отрицанием, дизъюнкцией, конъюнкцией, импликацией и др.)
Исчисление, в котором наряду с формулами исчисления высказываний используются формулы, в которых могут входить отношения (предикаты), связывающие между собой группы элементов исчисления и кванторы общности и существования – исчисление предикатов. Исчисление предикатов, в котором под знаком квантора не могут находиться символы предикатов.
^

8. Назначение, функции и структура экспертных систем


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

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

^ Обобщенная структура экспертной системы



Реальные ЭС могут иметь более сложную структуру, но указанные на рис. блоки присутствуют в любой ЭС.

Процесс функционирования ЭС можно представить следующим образом:

  • Пользователь, желающий получить необходимую информацию, через пользовательский интерфейс посылает запрос к ЭС.

  • Решатель, пользуясь базой знаний, генерирует и выдает пользователю подходящую рекомендацию, объясняя ход своих рассуждений при помощи подсистемы объяснений.

Пользователь – специалист предметной области, для которого предназначена система. Его квалификация может быть недостаточно высока и он нуждается в помощи со стороны ЭС.

^ Инженер по знаниям (когнитолог, инженер-интерпретатор, аналитик) – специалист в области ИИ, выступающий в роли промежуточного буфера (звена) между экспертом и базой знаний.

^ Интерфейс пользователя – комплекс программ, реализующих диалог пользователя с ЭС как на стадии ввода информации, так и при получении результатов.

База знаний (БЗ) – ядро ЭС, совокупность знаний предметной области, записанная на машинный носитель в форме, понятной эксперту и пользователю (обычно на языке, приближенном к естественному). Параллельно такому «человеческому» представлению существует БЗ во внутреннем «машинном» представлении.

^ Решатель(дедуктивная машина, машина вывода, блок логического вывода) – программа, моделирующая ход рассуждений эксперта на основании знаний, имеющихся в БЗ.

^ Подсистема объяснений – программа, позволяющая пользователю получить ответы на вопросы: «Как была получена та или иная рекомендация?» и «Почему система приняла такое решение?». Ответ на вопрос «как» - это трассировка всего процесса получения решения с указанием использованных фрагментов БЗ, то есть всех шагов цепи умозаключений. Ответ на вопрос «почему» - ссылка на умозаключение, непосредственно предшествовавшее полученному решению, то есть отход на один шаг назад. Развитые системы объяснений поддерживают и другие типы вопросов.

^ Интеллектуальный редактор БЗ – программа, предоставляющая инженеру по знаниям возможность создавать БЗ в диалоговом режиме. Включает в себя систему вложенных меню, шаблонов языка представления знаний, подсказок и других сервисных средств, облегчающих работу с БЗ.


1   2   3   4   5   6   7   8   9   ...   36

Похожие:

«системы автоматизированного проектирования», 2008 Дисциплина: «Интеллектуальные подсистемы сапр» iconМинистерство образования РФ московский энергетический институт (технический...
Сапр; методы прогнозирования развития средств автоматизированного проектирования. Организация инженерного труда

«системы автоматизированного проектирования», 2008 Дисциплина: «Интеллектуальные подсистемы сапр» iconАвтореферат разослан
Работа выполнена на кафедре "Системы автоматизированного проектирования и поискового конструирования" Волгоградского государственного...

«системы автоматизированного проектирования», 2008 Дисциплина: «Интеллектуальные подсистемы сапр» iconУчебное пособие Санкт-Петербург 2012 Общая информация о курсе Название...
Курс представляет собой руководство по применению системы автоматизированного проектирования Autocad. В книге отражены функциональные...

«системы автоматизированного проектирования», 2008 Дисциплина: «Интеллектуальные подсистемы сапр» iconРабочая программа по курсу «компас-3D»
Программа предназначена для освоения возможностей автоматизации процесса разработки проектной и конструкторской документации в системе...

«системы автоматизированного проектирования», 2008 Дисциплина: «Интеллектуальные подсистемы сапр» iconРабочая программа по курсу «Solid Works»
Программа предназначена для обучения студентов разработке конструкторской и технологической документации в системе автоматизированного...

«системы автоматизированного проектирования», 2008 Дисциплина: «Интеллектуальные подсистемы сапр» iconРабочая программа по курсу «t-flex cad»
Программа предназначена для освоения возможностей автоматизации процесса разработки проектной и конструкторской документации в системе...

«системы автоматизированного проектирования», 2008 Дисциплина: «Интеллектуальные подсистемы сапр» iconПрограмма подготовки должностных лиц и специалистов гражданской обороны...
Программа предназначена для подготовки должностных лиц и специалистов гражданской обороны и Свердловской областной подсистемы единой...

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

«системы автоматизированного проектирования», 2008 Дисциплина: «Интеллектуальные подсистемы сапр» iconРабочая программа по курсу «компас-автопроект»
Программа предназначена для освоения возможностей автоматизации процесса разработки проектной и технологической документации в системе...

«системы автоматизированного проектирования», 2008 Дисциплина: «Интеллектуальные подсистемы сапр» iconИнтеллектуальные разминки
Они могут использоваться как на уроке, так и во внеклассной работе. Интеллектуальные разминки способствуют повышению интереса школьников...



Образовательный материал



При копировании материала укажите ссылку © 2013
контакты
lit-yaz.ru
главная страница