«аочное дистанционное образование с получением государственного диплома через Internet










ѕолучить информацию о поступлении
 
√лавна€ Ќовости  арта сайта ‘отоальбом √остева€ книга  онтакты

»нтеллектуальные роботы
ћоделирование биологических систем
Ёвристическое программирование
Ёвристическое моделирование
—истема знаний
Ёкспертные системы

 

Ћогическа€ модель представлени€ знаний

Ћогическа€ модель представл€ет собой формальную систему некоторое логическое исчисление. ¬се знани€ о предметной области описываютс€ в виде формул этого исчислени€ или правил вывода. ќписание в виде формул дает возможность представить декларативные знани€, а правила вывода Ч процедурные знани€. –ассмотрим в качестве примера знание: Ђ огда температура в печи достигает 120 градусов и прошло менее 30 мин с момента включени€ печи, давле­ние не может превосходить критическое. ≈сли с момента включени€ печи прошло более 30 мин, то необходимо открыть вентиль є2ї. {SITELINK-S559}Ћогическа€ модель представлени€ этого знани€ {/SITELINK}имеет вид

P(p=120) T(t<30)-> (D30) => F(є2).

¬ этой записи использованы следующие обозначени€:

–(р=120) Ч предикат, станов€щийс€ истинным, когда температу­ра достигает 120 градусов,

T(t<30) Ч предикат, остающийс€ истинным в течение 30 мин с начала процесса;

T(t>30) Ч предикат, станов€щийс€ истинным по истечении 30 мин с начала процесса;

(d F(є2) Ч команда открыть вентиль є2.

 роме того, в этих запис€х использованы типовые логические св€з­ки конъюнкции (у), импликации ќ) и логического следовани€ (=>).

ѕерва€ строчка в записи представл€ет декларативные знани€, а втора€Ч процедурные.

{SITELINK-S560}языки представлений знаний {/SITELINK}логического типа широко использо­вались на ранних стади€х развити€ интеллектуальных систем, но вскоре были вытеснены (или во вс€ком случае сильно потеснены) €зыками других типов. ќбъ€сн€етс€ это громоздкостью записей, опи­рающихс€ на классические логические исчислени€. ѕри формирова­нии таких записей легко допустить ошибки, а поиск их очень сложен. ќтсутствие нагл€дности, удобочитаемости (особенно дл€ тех, чь€ де€тельность не св€зана с точными науками) затрудн€ло распростра­нение €зыков такого типа.


”знать как сэкономить в кризис моно на сайте ekonom-it.ru

¬иды экспертных систем ƒиагностирование экспертных систем Ёкспертные системы дл€ наблюдени€ и отладки  лассификаци€ инструментальных средств Ё—  лассификаци€ инструментальных средств по классам экспертных систем ‘реймова€ модель представлени€ знаний ѕродукционна€ модель представлени€ знаний ќрганизаци€ знаний в экспертных системах ѕримеры экспертных систем —труктурирование знаний в программах  


 
     
   
 


ѕриглашаем прин€ть участие в круглом столе!
подробнее   >>>
 

»нститут ћенеджмента, Ёкономики и »нноваций начинает набор на курсы повышени€ квалификации!
подробнее   >>>
 

”важемые студенты јЌќ ¬ѕќ »ћЁи»!
подробнее   >>>
 

Ќачинаетс€ набор на курсы повышени€ квалификации!
подробнее   >>>
 

ѕриглашаем прин€ть участие в конференци€х!
подробнее   >>>
 


все новости...

 


–ассылки Subscribe.Ru
—овременное образование
ѕодписатьс€ письмом