Л.С. Берштейн, В.Б. Мелехин

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 = Æ,

где запись FaÚFb означает, что множество условий принадлежности Fp=Fa ÚFb cостоит из двух независимых подмножеств Fa и Fb и произвольный объект ПС является элементом переменной P(Fb), если он удовлетворяет требованиям хотя бы одного из множеств Fa или Fb. Название Cp переменной P(Fp) образуется из названий Ca и Cb при помощи связки ”или”,например,”длинные или острые объекты”. Пусть казуально-зависимая переменная A(Fa) образуется согласно условию, что все ее объекты должны обладать некоторым свойством, например, обладать умением летать, определяющим ее название - ”летательные аппараты”. При этом, множество условий принадлежности Fa фактически является множеством причин и сопричин, влекущих за собой выполнимость условия ”ai(Xi)Î F(Fa),если Fa ÍXi”. Для немонотонной изменяющейся во времени области А множество условий принадлежности Fa можно разбить на два подмножества:Fa1 - абсолютные причинно-следственные ограничения, определяющие объекты переменной независимо от условий ПС и Fa2 -относительные ограничения, т.е. появляющиеся причинно-следственные ограничения или ”тормозные сигналы”, нарушающие условия принадлежности ai(Xi) к A(Fa),определяемые множеством абсолютных ограничений. Например, все аппараты, имеющие крылья и мощный тяговый двигатель, обладают способностью летать. Однако, при появлении тормозного фактора - ”наличие повреждений” -все аппараты A(Fa1) теряют способность летать. Таким образом, условия принадлежности объектов ai(Xi) к множеству A(Fa) будут определяться следующим образом (Fa1 Í Xi) &(Fa2 ÇXi= Æ). Казуально-зависимая переменная называется замкнутой и обозначается A(Fa*). если Fa* = Fa1* ÈFa2* является множеством необходимых и достаточных причин и сопричин, выполнение которых влечет за собой общезначимость условий принадлежности ai(Xi)ÎA(Fa*), если (Fa1* Í Xi)&(Fa2* Ç Xi = Æ).


Информация о работе «Пополнение знаний интеллектуальных систем на основе казуально-зависимых рассуждений»
Раздел: Информатика, программирование
Количество знаков с пробелами: 14417
Количество таблиц: 0
Количество изображений: 0

Похожие работы

Скачать
87509
5
3

... , не имеющие психических отклонений и постоянно посещающие ДОУ. Исследование носило констатирующий характер и проводилось с апреля по май 2009 года. Цель: изучение особенностей развития самооценки на разных возрастных этапах дошкольного детства. Исходя из цели, мы поставили ряд задач: 1.  Знакомство и установление контакта с детьми. 2.  Разработка программы диагностики обследования детей по ...

Скачать
69823
6
8

... . По определению основоположника теории маркетинга американского ученого Ф Котлера, маркетинг – вид человеческой деятельности, направленный на удовлетворение нужд и потребностей посредством обмена. Исходной идеей, лежащей в основе маркетинга, является идея человеческих нужд, где под термином "нужда" понимается ощущение нехватки человеком чего-либо. Нужды людей многообразны и сложны. Это и ...

Скачать
113359
21
1

... работа была удостоена Нобелевской премии по экономике). Характерные черты когнитивной науки: · междисциплинарность (существует комплекс наук, которые называются когнитивными: когнитивная лингвистика, когнитивная философия, когитология) · использование репрезентации знаний в качестве центрального понятия · использование компьютерной метафоры (сначала аппаратная hardware компьютерная метафора: ...

Скачать
108812
10
4

... , и гордость за свой народ, и ощущение своей неразрывности с окружающим миром, и желание сохранять и приумножить богатство своей страны. Исходя из этого, изучение регионального компонента в ознакомлении детей с историей родного края включает, в условиях Приднестровской Молдавской Республики, выражается в следующем: - воспитание у ребенка любви и привязанности к своей семье, дому, детскому саду, ...

0 комментариев


Наверх