REPRESENTATION AND PROCESSING OF DYNAMIC KNOWLEDGE IN EXPERT-SYSTEMS

被引:0
|
作者
ROGOMOLOV, SY
YANKOVSKIY, AG
机构
关键词
HORNS FORMULAS; EXPERT SYSTEMS; DYNAMIC KNOWLEDGE; TEMPORAL EVENT ORDERING FORMULAS;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Analogs of Horn's formulas, complemented with special temporal connectives, are proposed for describing dynamic knowledge in expert systems. An inference procedure for these types of formulas is considered. An attribute scaling mechanism is proposed as a means of controlling the logical inference search.
引用
收藏
页码:1 / 7
页数:7
相关论文
共 50 条