Дз – построить для двух последних законов таблички истинности (8,9)

10 Правило силлогизма ПЕРЕПИСАТЬ

Если а влечет б, б влечет с, значит а влечет с.

11 Закон контрапозиции (противоположная позиция) если А влечет В, равносильно тому, что не б влечет не а ПЕРЕПИСАТЬ

Предикат – Р(х)

Если переменная одна, то это одноместные предикат.

Р(х,у) – двухместный предикат

Р(х₁,….,х_n) – эн местный предикат. Переменные х_i обозначают определенные объекты предметной области. Каждая из переменных может иметь свой тип данных. Переменная может быть строкой Р(х)= «Х – это птица» переменная Х – имеет тип по смыслу строка, пусть Х = курица, то получится высказывание: курица – это птица.

Р(х,у) = «Х имеет У денег»

Х- переменная типа строка, У – переменная числовая

Гражданин Н имеет 100 денег.

Предикат – это функция, то есть закон. Р(х₁,….,х_n) область значения либо истина либо ложь.

К предикатам применимы операции квантификации. 2 квантора: квантор существования и квантор всеобщности. $, "

Если мы имеем одноместный предикат, то в результате применения к нему операций квантификации мы получим просто высказывание.

Р(Х) = «Х летает»

Р(пингвин) Ложь

$ Х Р(Х) – существует такой объект который умеет летать - Истинное

"Х Р(Х) – все (любое) Х летает – Ложное

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

Модели основанные на человеческой логике.

Модальная логика. Происходит от модальных глаголов кэн, маст, мэй, в русском языке – должен, могу, имею право. + может быть, возможно, должен (обязательно)

Многозначная логика. Трехзначная: истина, ложь, пока не знаю. Трехзначная логика – истина, ложь, неопределенность, операции в ней действуют похожие – то есть строятся на классической двухзначной логике.

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

ПЕРЕПИСАТЬ

 

 

База знаний – место, где хранятся данные, правила их обработки, отношения между этими данными в совокупности – знания.

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

Рабочая память – часть экспертной системы, которая предназначена для информационного обеспечения работы МЛВ. В РП хранятся поступившие новые факты и промежуточные итоги рассуждений МЛВ.

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

Компонент знаний – предназначен для обеспечения работы инженера знаний по поддержанию модели представления знаний адекватной предметной области.

Компонент объяснений – обеспечивает по запросу пользователя выдачу информации о ходе логического вывода.

Классификация экспертных систем по стадиям разработки.

1 демонстрационный прототип (10-200 правил)

2 исследовательский прототип – происходит дальнейшее развитие системы (200-500 правил)

3 действующий прототип – то, что можно внедрить в эксплуатацию (500-1000 правил)

4 промышленный образец - возможность использования продукта в нескольких отраслях (1000-1500 правил)

5 коммерческий образец (1500-3000 правил)

Разработка экспертной системы возможна при совместном выполнении следующих условий:

- задача не требует общедоступных знаний

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

- наличие высококвалифицированных экспертов, которые должны описать, как они делают свои выводы, процесс своих рассуждений

- мнения экспертов должны быть согласованы, эксперты в данной области должны быть единодушны

Разработанная экспертная система оправданна, если выполняется одно из следующих условий:

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

- человеческий опыт решения данной проблемы утрачивается

- малое количество экспертов данной области (дорогие услуги)

- экспертную систему нужно применять во враждебных условиях для человека

Разработка экспертных систем разумна, если совместно выполняются условия:

- задача требует эвристических (творческих) решений

- задача «не слишком» проста, достаточно сложная

- задача представляет практический интерес

- задача имеет размерность (количество переменных), допускающую реализацию