Правила вывода
Машина вывода — программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики.
- Факт в данном случае — утверждение, являющееся постоянно истинным, например: «Адам является человеком».
- Правило в данном случае — параметризованное утверждение, состоящее из двух частей: условия и результата, например: «Если X является потомком человека, то X является человеком». В данном примере правило определяет условие «X является потомком человека». Если для значения параметра X это условие истинно, то правило превращается в факт «X является человеком».
Для построения базы фактов и правил применяются формальные языки, обычно напоминающие естественный язык, но гораздо более строгие и ограниченные.
Машина вывода обычно может выполнять одну или обе из следующих операций:
- Проверка истинности некоторого факта — истинным считается факт, если он может быть выведен по законам формальной логики из имеющейся базы фактов и правил.
- Нахождение множества значений параметра некоторого правила, при котором данное правило превращается в истинный факт.
В первом случае на вопрос типа «Истинно ли A?» машина вывода даёт ответ «Да» либо «Нет», во втором — на вопрос типа «При каких X истинно правило A(X)?» машина вычисляет все возможные значения X, при подстановке которых в правило A это правило превращается в истинный факт.
В теории построения машин логического вывода не имеет однозначного решения так называемая — проблема способа определения не-истинности факта. В большинстве случаев машина вывода делает вывод о не-истинности факта, если истинность факта не является выводимой из базы фактов и правил, но это может приводить к неправильной интерпретации знаний, поскольку результаты «A ложно» и «A недоказуемо» не различаются.
Машина вывода является базовым элементом экспертных систем и систем исполнения программ, написанных на языках логического программирования, таких как Prolog.
Механизм вывода
Механизм вывода — это обобщенная процедура поиска решения задачи, которая на основе базы знаний и в соответствии с информационной потребностью пользователя строит цепочку рассуждений (логически связанных единиц знаний), приводящую к конкретному результату.
См. также
- Rete
- Блок (механизм) рассуждений
- Правило вывода
Литература
- Субботін С. О. Подання й обробка знань у системах штучного інтелекту та підтримки прийняття рішень: Навчальний посібник. — Запоріжжя: ЗНТУ, 2008. — 341 с.
В статье не хватает ссылок на источники (см. рекомендации по поиску). |
Википедия, чтение, книга, библиотека, поиск, нажмите, истории, книги, статьи, wikipedia, учить, информация, история, скачать, скачать бесплатно, mp3, видео, mp4, 3gp, jpg, jpeg, gif, png, картинка, музыка, песня, фильм, игра, игры, мобильный, телефон, Android, iOS, apple, мобильный телефон, Samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Сеть, компьютер, Информация о Правила вывода, Что такое Правила вывода? Что означает Правила вывода?
Zapros Pravila vyvoda perenapravlyaetsya syuda Na etu temu nuzhno sozdat otdelnuyu statyu Mashina vyvoda programma kotoraya vypolnyaet logicheskij vyvod iz predvaritelno postroennoj bazy faktov i pravil v sootvetstvii s zakonami formalnoj logiki Fakt v dannom sluchae utverzhdenie yavlyayusheesya postoyanno istinnym naprimer Adam yavlyaetsya chelovekom Pravilo v dannom sluchae parametrizovannoe utverzhdenie sostoyashee iz dvuh chastej usloviya i rezultata naprimer Esli X yavlyaetsya potomkom cheloveka to X yavlyaetsya chelovekom V dannom primere pravilo opredelyaet uslovie X yavlyaetsya potomkom cheloveka Esli dlya znacheniya parametra X eto uslovie istinno to pravilo prevrashaetsya v fakt X yavlyaetsya chelovekom Dlya postroeniya bazy faktov i pravil primenyayutsya formalnye yazyki obychno napominayushie estestvennyj yazyk no gorazdo bolee strogie i ogranichennye Mashina vyvoda obychno mozhet vypolnyat odnu ili obe iz sleduyushih operacij Proverka istinnosti nekotorogo fakta istinnym schitaetsya fakt esli on mozhet byt vyveden po zakonam formalnoj logiki iz imeyushejsya bazy faktov i pravil Nahozhdenie mnozhestva znachenij parametra nekotorogo pravila pri kotorom dannoe pravilo prevrashaetsya v istinnyj fakt V pervom sluchae na vopros tipa Istinno li A mashina vyvoda dayot otvet Da libo Net vo vtorom na vopros tipa Pri kakih X istinno pravilo A X mashina vychislyaet vse vozmozhnye znacheniya X pri podstanovke kotoryh v pravilo A eto pravilo prevrashaetsya v istinnyj fakt V teorii postroeniya mashin logicheskogo vyvoda ne imeet odnoznachnogo resheniya tak nazyvaemaya problema sposoba opredeleniya ne istinnosti fakta V bolshinstve sluchaev mashina vyvoda delaet vyvod o ne istinnosti fakta esli istinnost fakta ne yavlyaetsya vyvodimoj iz bazy faktov i pravil no eto mozhet privodit k nepravilnoj interpretacii znanij poskolku rezultaty A lozhno i A nedokazuemo ne razlichayutsya Mashina vyvoda yavlyaetsya bazovym elementom ekspertnyh sistem i sistem ispolneniya programm napisannyh na yazykah logicheskogo programmirovaniya takih kak Prolog Mehanizm vyvodaMehanizm vyvoda eto obobshennaya procedura poiska resheniya zadachi kotoraya na osnove bazy znanij i v sootvetstvii s informacionnoj potrebnostyu polzovatelya stroit cepochku rassuzhdenij logicheski svyazannyh edinic znanij privodyashuyu k konkretnomu rezultatu Sm takzheRete Blok mehanizm rassuzhdenij Pravilo vyvodaLiteraturaSubbotin S O Podannya j obrobka znan u sistemah shtuchnogo intelektu ta pidtrimki prijnyattya rishen Navchalnij posibnik Zaporizhzhya ZNTU 2008 341 s V state ne hvataet ssylok na istochniki sm rekomendacii po poisku Informaciya dolzhna byt proveryaema inache ona mozhet byt udalena Vy mozhete otredaktirovat statyu dobaviv ssylki na avtoritetnye istochniki v vide snosok 9 marta 2023
