Пополнение знаний интеллектуальных систем на основе казуально-зависимых рассуждений
Пополнение знаний интеллектуальных систем на основе казуально-зависимых рассужденийЛ.С. Берштейн, В.Б. Мелехин 1. ВведениеВажным свойством интеллектуальных систем (ИС) является способность к целенаправленному функционированию в недоопределенных проблемных средах (ПС).Для этого система должна обладать возможностью пополнения знаний,позволяющей устанавливать недостающие для принятия решений факты.На современном этапе развития ИС наибольшее распространение получили следующие способы пополнения знаний: использование сетевых моделей в виде сценариев и применение различных псевдофизических логик{1}. Ограничения на использование первого способа пополнения знаний для ИС активно взаимодействующих с ПС накладывает громоздкость заранее заданных сценариев, требующая большого объема памяти для их хранения. Организация процесса пополнения знаний на основе известных псевдофизических логик затруднена из-за немонотонности вывода умозаключений в произвольной предметной области, приводящей к правдоподобности выявленных фактов, а автономно функционирующие ИС обычно требуют однозначного ответа на вопрос об истинности выводимых фактов.В работе рассматривается один из возможных путей обхода вышеотмеченных трудностей пополнения знаний ИС, активно взаимодействующих с СП , связанный с применением псевдофизической логики казуально-зависимых предикатов и правил означивания их переменных в процессе вывода умозаключений [ 2 ]. Особенность казуально-зависимых предикатов заключается в том, что в них на предикатные переменные накладываются причинно-следственные ограничения, которые позволяют выделять монотонные участки вывода истинных умозаключений в произвольной области их определения.2. Казуально-зависимые предикатные переменные и их свойстваКазуально-зависимой предикатной переменной называется пара A(Fa)=(Ca,Fa),где Ca -название или идентификатор переменной: Fa -множество условий принадлежности или требования, которым должны удовлетворять объекты ПС, относящиеся к переменной A(Fa).В свою очередь, каждый объект ai(Xi) произвольной ПС может определяться множеством характеристик Xi,i=1,n . Тогда пишем, что ai(Xi)A(Fa) ,если Fa Xi, в противном случае пишем, что ai(Xi)A(Fa).Если для двух казуально-зависимых переменных A(Fa) и B(Fb) выполняется условие Fb Fa , то B(Fb) называется покрытием A(Fa) и обозначается A(Fa) B(Fb). Иными словами, все объекты, относящиеся к A(Fa), являются объектами переменной B(Fb). Из сказанного вытекает, что чем шире множество условий и признаков принадлежности, тем меньшее количество объектов ПС может удовлетворить этим условиям, а следовательно, и относиться к соответствующей переменной.Расширением и сужением казуально-зависимой переменной A(Fa) по признакам принадлежности Fr называются переменные, соответственно, образованные из A(Fa) при помощи присоединения множества Fr к Fa и удаления множества Fr из множества Fa.Рассмотрим теоретико-множественные операции над казуально-зависимыми переменными, которые могут быть использованы для образования новых переменных на основе исходно-заданных.Пусть переменная A(Fa) определена на элементах базового множества А. Тогда, дополнением A(Fa) к базовому множеству А называется и обозначается переменная A(Fa), элементы ai(Xi) которой не удовлетворяют требованиям Fa, т.е. элементы из А, для которых Fa Xi . Пересечением переменных A(Fa)=(Ca,Fa) и B(Fb)=(Cb,Fb) называется и обозначается переменная D(Fd)=(Cd,Fd) равная D(Fd)=A(Fa) B(Fb), для которой имя Cd = Ca Cb определяется объединением имен исходных переменных связкой ”и”, а условия принадлежности Fd= Fa Fb . Другими словами, переменная D(Fd) включает те и только те объекты из A(Fa) и B(Fb),которые одновременно удовлетворяют требованиям Fa и Fb . Например, пусть A(Fa)- казуально-зависимая переменная с названием ”острые объекты”, а переменная B(Fb) -”длинные объекты” , тогда переменная D(Fd)=A(Fa) B(Fb) является переменной с названием ”длинные и острые объекты”. Объединением переменных A(Fa) и B(Fb) называется и обозначается переменная P(Fp)=A(Fa) B(Fb), для которой Fp=Fa Fb,если Fa Fb ;Fa Fb ,если Fa Fb = , где запись FaFb означает, что множество условий принадлежности Fp=Fa Fb cостоит из двух независимых подмножеств Fa и F
Другие файлы:
Интеллектуальные системы проектирования
Изложены теоретические основы создания интеллектуальных систем проектирования, включая онтологию инженерных знаний, функциональное моделирование в ста...
Введение в теорию интеллектуальных систем
Учебное пособие написано на основе специального курса «Теория интеллектуальных систем», читаемого на кафедре математической теории интеллектуальных си...
Основные понятия интеллектуальных систем. Знания
Понятие искусственного интеллекта и интеллектуальной системы. Этапы развития интеллектуальных систем. Модели представления знаний, процедурный (алгори...
Экспертные системы
В книге коллектива специалистов под редакцией английского ученого приводятся основные сведения по созданию экспертных систем: общее описание и их архи...
Искусственный интеллект и интеллектуальные системы управления
Рассматривается новый, активно развивающийся класс интеллектуальных систем автоматического управления, построенных на технологии обработки знаний с по...
