 ПОЗНАВАТЕЛЬНОЕ Сила воли ведет к действию, а позитивные действия формируют позитивное отношение Как определить диапазон голоса - ваш вокал Игровые автоматы с быстрым выводом Как самому избавиться от обидчивости Противоречивые взгляды на качества, присущие мужчинам Вкуснейший "Салат из свеклы с чесноком" Натюрморт и его изобразительные возможности Применение, как принимать мумие? Мумие для волос, лица, при переломах, при кровотечении и т.д. Как научиться брать на себя ответственность Зачем нужны границы в отношениях с детьми? Световозвращающие элементы на детской одежде Как победить свой возраст? Восемь уникальных способов, которые помогут достичь долголетия Классификация ожирения по ИМТ (ВОЗ) Глава 3. Завет мужчины с женщиной
Оси и плоскости тела человека - Тело человека состоит из определенных топографических частей и участков, в которых расположены органы, мышцы, сосуды, нервы и т.д.
| Прямой и обратный логический вывод.
Вывод на знаниях Экспертная система (ЭС) – это компьютерная система, которая эмулирует способность эксперта к принятию решений. ЭС включает два основных компонента – базу знаний (БЗ) и машину логического вывода. Базы знаний. Знания – это выявленные закономерности предметной области (ПрО) (принципы, связи, законы), позволяющие решать задачи в этой области. Знание, которое существует в виде заранее известных фактов, называют экстенсивным знанием (экстенсионалом), а базу данных – экстенсиональной базой. Знание, выводимое из экстенсивного знания при помощи правил, называют интенсивным знанием (интенсионалом), а базу данных – интенсиональной. Интенсивная форма позволяет выразить данные в компактной форме, избежать избыточности данных. База знаний (knowledge base) – это особого рода база данных, разработанная для управления знаниями (их сбором, хранением, поиском и выдачей). Система базы знаний – это компьютерная система, составляющими которой являются: 1. База данных, содержащая основные факты. 2. База данных, содержащая правила, которые позволяют делать выводы из базы данных фактов. 3. Система управления – программное обеспечение, которое поддерживает основные функции СУБД, а также управление процессом вывода в базе данных правил, оперирующих с базой данных фактов. Можно утверждать, что представлению информации в базе данных присущ пассивный аспект: таблица, заполненная данными память. В базе знаний подчѐркивается активный аспект представления. Операция знать становится активной операцией, позволяющей не только запоминать, но и посредством логического вывода получать новые знания. Эта возможность увеличивает приносимую базой данных пользу при определении, контроле и интерпретации поддерживаемых ею данных. Для хранения данных используются базы данных, для хранения знаний – базы знаний. Для баз данных характерны большой объѐм и относительно небольшая удельная стоимость информации. Для баз знаний – небольшой объѐм, но исключительно дорогие информационные массивы. Наиболее важный параметр баз знаний – качество содержащихся знаний. Лучшие базы знаний включают самую актуальную и достоверную информацию, имеют совершенные системы поиска, а также тщательно продуманную структуру и формат знаний. В языке Пролог базы знаний описываются в форме конкретных фактов, а также правил и процедур логического вывода. Достоверность обобщѐнных сведений зависит от наличия необходимых фактов и достоверности данных в базах знаний. Базы знаний могут использоваться для создания экспертных систем. Главная цель этих систем – помочь менее опытным людям найти существующее описание способа решения какой-либо проблемы из предметной области. Модели представления знаний. Существует множество всевозможных моделей представления знаний для разных предметных областей. Большинство из них может быть сведено к следующим классам: 1. Формальные логические модели. 2. Продукционные модели. 3. Семантические сети. 4. Фреймы. Формальные логические модели. Формирование логических выводов - это формальный термин, используемый для обозначения рассуждений, которые не опираются на семантику (в них не учитывается смысл слов). Самая ранняя система формальной логики – Аристотелева логика основана на понятии силлогизма. Силлогизмы имеют две посылки и одно заключение,которое вытекает из посылок. Пример силлогизма: посылка 1 – все люди смертны; посылка 2 – Сократ – человек. Заключение – Сократ смертен. Более общим способом логического вывода является логика предикатов;этот способ может потребовать многих правил вывода, имеющих ограниченное применение (модус поненс, модус толленс, правило слияния, цепное правило и т.д.). В программах искусственного интеллекта (ИИ), предназначенных для доказательства теорем применяется правило - резолюция (см. язык PROLOG), однако при решении некоторых задач оно может оказаться неэффективным, поэтому наиболее распространенным способом логического вывода является применение правил продукций. Механизм вывода осуществляет дедуктивный перебор фактов, относящихся к правилу по принципу сверху – вниз слева – направо или обратный вывод методом поиска в глубину. Для логической модели характерна строгость формального аппарата получения решения. Однако полный последовательный перебор всех возможных решений может приводить к комбинаторным взрывам, в результате чего поставленные задачи могут решаться недопустимо большое время. Модель применима в небольших исследовательских системах, так как предъявляет высокие требования и ограничения к предметной области. Продукционные модели. Определение. Модель представления знаний правилами вида “ЕСЛИ (условие) – ТО(действие)” называется продукционной. Под условием (антецедентом) понимается некоторое предложение, по которому осуществляется поиск в базе знаний, а под действием (консеквентом) – действие, выполняемое при успешном исходе поиска. Продукционная модель является наиболее распространенной в системах, основанных на знаниях. Отличительные особенности продукционных систем: – простота добавления, модификации и аннулирования знаний; – простота и точность механизма использования знаний ввиду однородности последних и использования единого синтаксиса описания знаний. Прямой и обратный логический вывод. Определение. Способ получения логического вывода в продукционной системе, при котором предварительно записанные в РП данные дополняются путем применения правил из БП, называется прямым выводом (ещё одно определение – проведение рассуждений от фактов к заключениям, которые следуют из этих фактов). Определение. Способ получения логического вывода в продукционной системе, при котором на основании фактов, требующих подтверждения на предмет использования в качестве заключения, исследуется возможность применения правила, пригодного для подтверждения, называется обратным выводом. Чтобы визуально представить ход прямого и обратного вывода через пространство задач, в котором промежуточные состояния соответствуют промежуточным гипотезам при обратном логическом выводе или промежуточным заключениям при прямом выводе в табл. приведены сведения об их характерных особенностях |
