Интеллектуальные информационные системы

СОДЕРЖАНИЕ
Введение................................................................................................................5
1. Назначение и область применения программы Пролог-Д..................6
2.Логические основы работы системы Пролог-Д. …..............................7
3. Построение базы знаний.......................................................................12
4. Арифметика и другие встроенные предикаты в Прологе-Д.............. 15
5. Рекурсия.................................................................................................19
6. Графические возможности системы Пролог-Д …...............................23
7. Обработка списков................................................................................27
8. Задания.................................................................................................
Список используемой литературы………………………………………….
Введение
Интеллектуальная система - это система искусственного интеллекта, предназначенная для решения плохо формализованных и слабо структурированных задач в определенных проблемных областях, на основе заложенных в ней знаний специалистов-экспертов.
По определению Комитета по Экспертным Системам Британского Компьютерного Общества, под экспертной системой понимается «воплощение в ЭВМ компонента опыта эксперта, основанного на знании, в такой форме, что машина может дать интеллектуальный совет или принять интеллектуальное решение относительно обрабатываемой функции». Желательная дополнительная характеристика (которую многие считают главной) - способность системы по требованию объяснить ход своих рассуждений понятным для спрашивающего образом.
Итак, экспертная система способна вырабатывать рекомендации, какие бы дал эксперт-человек, запрашивая при необходимости дополнительную информацию. Экспертные системы могут работать на том же уровне что и эксперты, а в некоторых случаях они лучше, потому что в нее вложен коллективный опыт их создателей.
В настоящее время ЭС внедряются в различные виды человеческой деятельности, где использование точных математических методов и моделей затруднительно или вообще невозможно. К ним относятся: медицина, обучение, поддержка принятия решений и управление в сложных ситуациях, различные деловые приложения и т. д.
Предметом теории экспертных систем служат методы и приемы конструирования систем, компетентных в некоторой узкоспециальной области. Эта компетентность состоит из знания конкретной области, понимания задач из этой области и из умения решать некоторые такие задачи. Знания, относящиеся к любой специальности, обычно существуют в двух видах: общедоступные и индивидуальные. Общедоступные знания - это факты, определения и теории, которые обычно изложены в учебниках и справочниках по данной области. Но, как правило, компетентность означает нечто большее, чем владение такими общедоступными сведениями. Специалисты в большинстве случаев обладают ещё и индивидуальными знаниями, которые отсутствуют в опубликованной литературе. Эти личные знания в значительной степени состоят из эмпирических правил - эвристик, которые позволяют экспертам при необходимости выдвигать разумные предположения, находить перспективные подходы к задачам и эффективно работать при зашумленных или неполных данных. Центральной задачей при построении экспертных систем является выявление и воспроизведение таких знаний.
1.Н азначение и область применения программы Пролог-Д.
Смена поколений вычислительной техники приводится к очередной научно технической революции. С появлением нового поколения ЭВМ не только стал решаться принципиально новый класс задач во всех отраслях науки и техники, но и существенно расширяются возможности при решении прежних традиционных задач на новом, более качественном, уровне.
Более высокий качественный уровень в решении задач предполагает обеспечение необходимой и достаточной интеллектуальной поддержкой. Интеллектуализация информационно-вычислительных систем это использование не только нового поколения инструментальных средств, но и нового поколения математического, алгоритмического и программного обеспечения для решения сложных задач.
Искусственный интеллект (ИИ) – это программная система, имитирующая на компьютере мышление человека. Для создания такой системы необходимо изучать процесс мышления человека, решающего определенные задачи или принимающего решения в конкретной области, выделить основные шаги этого процесса и разработать программные средства, воспроизводящие их на компьютере.
Интеллектуальная система – это информационно-вычислительная система с интеллектуальной поддержкой при решении задач без участия оператора.
Система искусственного интеллекта, созданная для решения задач в конкретной проблемной области, называется экспертной системой. Источником знаний для наполнения экспертных систем служат эксперты, работающие в соответствующей предметной области.
В течение последних десятилетий в рамках исследований по искусственному интеллекту (ИИ) сформировалось новое самостоятельное направление – экспертные системы (ЭС), или инженерия знаний (ИЗ).
Экспертная система (ЭС)- это система искусственного интеллекта (интеллектуальная система), предназначенная для решения плохо формализованных и слабо структурированных задач в определенных проблемных областях, на основе заложенных в ней знаний специалистов-экспертов.
В задачу этого направления входят исследование и разработка программ, использующих знания и процедуры вывода для решения задач, являющихся трудными для людей-экспертов. В отличие от специализированных систем ИИ экспертные системы могут быть отнесены к системам ИИ общего назначения – системам, которые не только исполняют заданные процедуры, но на основе метапроцедур поиска генерируют и используют процедуры решения новых конкретных задач.
2. Логические основы работы системы Пролог-Д.
В последнее время к разработке экспертных систем все чаще стал привлекаться специализированный языка искусственного интеллекта Пролог. Свое название Пролог получи от сокращения «Программирование логики». Математической основой языка программирования Пролог являются исчисления предикатов преимущественно первого порядка, метод резолюции, теория рекурсивных функций. В настоящее время создано большое число различных по эффективности и мощности Пролог-систем, каждая из которых предлагает свой синтаксис языка и свой набор встроенных предикатов.
Математическая логика является теоретической основой логического программирования. Цель данного раздела определить начальные понятия математической логики, необходимые для изложения принципов работы с системой Пролог-Д.
Интерпритатор языка Пролог предназначен для проведения практикума на персональных компьютерах с базами знаний, экспертными системами и изучением принципов логического вывода в системах искусственного интеллекта.
Для решения задачи с помощью Пролога-Д достаточно описать знания об этой задаче, а процесс построения решения при этом сводится к некоторой рутинной процедуре.
Описание знаний возможно осуществить с помощью совокупности дискретных объектов и отношений между ними. Объекты, если их соотнести с решаемой задачей, образуют ее предметную область. Например, если задача состоит в описании родственных отношений, то предметная область-множество людей, а если задача вычислительная, то предметной областью будет множество целых чисел.
Объекты, при описании их средствами математической логики, должны иметь имена. За определением имен следует описание соотношений между объектами и выражение свойств этих отношений. Построение решения задачи производится на основе логического вывода, манипуляцией предложениями, описывающими данную задачу.
Объекты, используемые в описании задачи, могут быть произвольными. Например, числовые или литеральные константы, переменные, принимающие значения из некоторого заданного множества, функции.
В математической логике константы, переменные и функции объединены общим названием - терм. Понятие терма можно сформулировать следующим образом.
Терм - это переменные, константы и функции вида
f(t1 ,t2 ,...,tn ),(t1 ,t2 ,...,tn ),(2.1)
где каждое ti – терм;
f - n-арный функциональный символ или функтор.
Арностью называют число аргументов. Особенность функции (2.1) в том, что она принимает значение элемента предметной области Dn , или иными словами представляет собой некоторое отображение совокупности из n (n - ки) элементов из предметной области в элемент области.
Отношения, определяемые над объектами, отличаются от функций. Отношение определяет совокупность элементов из предметной области и представляет собой отображение из D n в множество {ИСТИНА, ЛОЖЬ}. Например, отношение мама(x, y) определяет совокупность пар (x, y), таких, что элементы множества людей x и y находятся в отношении родства мама. Множество пар (x, y) это множество матерей и детей. В математической логике отношениям даются имена, называемые предикатными символами, а сами отношения называются предикатами в последнем примере предикатный символ-мама.
Дадим более строгое понятие предиката.
Предикат - это выражение вида
P(t1 ,t2 ,...,tm ), (2.2)
где каждое ti – терм;
P - m-арный предикатный символ.
Формально предикат (2.2) можно читать либо как "m - ка (t1 ,t2 ,...,tm ) принадлежит отношению Р", либо как высказывание Р справедливо для m-ки (t1 ,t2 ,...,tm ).
В логике имеется набор связок.
Пример
&, , ¬, <- , , которые читаются как "и", "или", "не", "если", "тогда и только тогда".
Связки можно применить для образования логических формул, объединяя предикаты и другие формулы.
Пример
Необходимо отметить, что логические связки: &, , ¬, <- , могут быть выражены друг через друга с помощью следующих соотношений, называемых формулами сокращения
(AB) означает ¬(A<-B),
(A\/B) означает (¬A)<-B,
(AB) означает (A<-B)(B<-A),
где А и В - суть формулы.
Наряду со связками существуют кванторы общности () и существования (). Кванторы определяют пределы изменения переменных. Формула, стоящая после квантора называется областью действия этого квантора. Для кванторов тоже существуют формулы сокращения
xА означает (¬(x(¬А))), (2.6)
где х - переменная;
А- формула.
Пример
Приведем примеры формул
мама(x, y)мама(y, z);
F1F2F3¬F4, если F1,F2,F3,F4 - формулы.
Q(F1,F2), если F1 и F2 - формулы, а Q - квантор существования () или общности ().
Формула - это либо предикат, либо выражение, составленное из формул с помощью логических связок и кванторов.
Предложение - это формула, в которой каждая переменная находится в области действия квантора общности.
В целях лаконичности записи предложений, внешние кванторы общности в записи предложения будут опускаться.
Предложения, построенные в соответствии с введенными выше правилами, образуют язык логики первого порядка. В этом языке термы представляют собой объекты, а предикаты отношения между объектами. С помощью этого языка можно описать все задачи, решаемые на ЭВМ. На основе языка логики первого порядка можно построить различные языки логического программирования, различающиеся по правилам формирования предложения. Среди множества всевозможных предложений особое значение имеют предложения, содержащие связки "и" и одну связку "если". Такие предложения называются дизъюнктами. Дизъюнкт - это предложение вида
A1 A2 ...Ak B1 B2 ...Bn , (2.7)
где A1 ,A2 ,...,Ak ,B1 ,B2 ,...,Bn - предикаты или литеры;
 - связка "и";
<- - связка "если".
Особое значение для Пролога-Д имеет понятие дизъюнкта Хорна, играющий важную роль при составлении баз.
Дизъюнктом Хорна называется такой дизъюнкт, у которого k равно 0 или k равно 1. При k равно n равно 0 получается пустой дизъюнкт, обозначаемый символом Л.
Если k равно 0, то из формулы (2.7) получается дизъюнкт
B1 B2 ...Bn , (2.8)
Этот дизъюнкт называется вопросом.
Среди множества всех дизъюнктов особую роль играют те, для которых k равно 1. Если при этом еще и n равно 0, то такой дизъюнкт называется фактом A1 .
Если же n больше0, дизъюнкт называется правилом
A1 y)|y|), (2.10)
где знак x>y - означает отношение "x больше y";
знак |x| - абсолютную величину x, истинна, если x и y принадлежат множеству положительных чисел и ложна, если x и y принадлежат множеству отрицательных чисел.
В математической логике существует понятие интерпретации, а в разных интерпретациях одна и та же формула может принимать разные значения.
Для интерпретации множества предложений S выбирается множество объектов D, называемое областью интерпретации.
Интерпретация множества предложений S над D состоит из следующих трех соответствий.
Пример
а) каждой константе (числовой или литеральной) ставится в соответствие некоторый элемент из D.
б) каждому n-арному функтору из S сопоставляется отображение n-ки из Dn в D.
в) каждому n-арному предикатному символу из S сопоставляется отображение n-ки из области Dn в множество {ИСТИНА, ЛОЖЬ}.
База знаний и следующий за ней вопрос представляют собой программу на Прологе-Д.
Независимо от решаемой задачи программа всегда выполняется по одной и той же схеме, определяемой методом резолюции - тем методом поиска решения, который использует система логического программирования Пролог.
Поиск решения осуществляется следующим образом. Среди всех элементов множества предложений S отыскивается первое предложение, которого имеет такое же имя, как и первая цель в заданном вопросе.
Если предложение - правило, то это имя должно быть именем головы, или если это предложение факт, имя факта. Проверяется существование подстановки унифицирующей цель вопроса и это предложение. Если такая подстановка не существует, то делается попытка найти следующее по порядку предложение с таким же именем. Если такая подстановка найдена, то резольвентой оказывается тело правила, если предложение - правило или пустой дизъюнкт, если предложение факт. Далее просматриваются цели в теле правила, так как если бы это были цели в вопросе. Просмотр целей осуществляется всегда слева направо.
Так система находит первое решение. Отличительной особенностью системы Пролог-Д является то, что она автоматически отыскивает все возможные решения.
Пример
Рассмотрим программы логических основ в Прологе с использованием формул сокращения, написать базу данных о городах государств, используя связки «не» и «или».
Представим базу знаний, она содержат информацию о названиях государств и городах, которые принадлежат этим государствам. Используя связки «не» и «или» запишем два правила (строка 5 и 6), характеризующие принадлежность государства к российскому или иностранному и зададим вопрос, используя связку «или», к базе
?ИЛИ(российское(x),иностранное(x));
Таким образом, при запуске Пролога будет найден российский или иностранный город, причем чтобы он принадлежал материку Россия.
3. Построение базы знаний.

Внимание, отключите Adblock

Вы посетили наш сайт со включенным блокировщиком рекламы!
Ссылка для скачивания станет доступной сразу после отключения Adblock!

Скачать полную версию