REPRESENTATION AND PROCESSING OF DYNAMIC KNOWLEDGE IN EXPERT-SYSTEMS

被引：0
|
作者：
ROGOMOLOV, SY
YANKOVSKIY, AG
机构：
来源：
JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL | 1995年 / 33卷 / 02期
关键词：
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 条
  • [41] EXPERT-SYSTEMS RESEARCH IN JAPAN
    MIZOGUCHI, R
    MOTODA, H
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1995, 10 (04): : 14 - 23
  • [42] AUSTRALIAN EXPERT-SYSTEMS FOR NATURAL SYSTEMS
    WILDE, WD
    AI APPLICATIONS, 1994, 8 (03): : 3 - 12
  • [43] AN OBJECT-ORIENTED KNOWLEDGE-BASE FOR MULTIDOMAIN EXPERT-SYSTEMS
    CHEW, LML
    TAN, CL
    MURPHY, DH
    EXPERT SYSTEMS WITH APPLICATIONS, 1995, 8 (01) : 177 - 185
  • [44] EXPERT-SYSTEMS - WHAT IS AN EXPERT-SYSTEM
    DUVAL, BK
    MAIN, L
    LIBRARY SOFTWARE REVIEW, 1994, 13 (01): : 44 - 53
  • [45] PUTTING EXPERT-SYSTEMS TO WORK
    HINGORANEY, R
    CHEMICAL ENGINEERING, 1994, 101 (01) : 121 - 124
  • [46] PORTABLE EXPERT-SYSTEMS IN THE FIELD
    不详
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1995, 10 (04): : 71 - 71
  • [47] CONFIGURING AND PRICING WITH EXPERT-SYSTEMS
    PHERSON, D
    FILLEBEEN, H
    SAVIGNE, P
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 1994, 9 (04): : 253 - 262
  • [48] GETTING THE EXPERT INTO THE SYSTEM - EXPERT-SYSTEMS AND CATALOGING
    WEISS, PJ
    SERIALS LIBRARIAN, 1995, 25 (3-4): : 235 - 241
  • [49] EXPERT-SYSTEMS - A SHORT INTRODUCTION
    LIEBOWITZ, J
    ENGINEERING FRACTURE MECHANICS, 1995, 50 (5-6) : 601 - 607
  • [50] FINANCIAL ANALYSIS AND EXPERT-SYSTEMS
    BIRTS, A
    MCAULAY, L
    KING, M
    JOURNAL OF INFORMATION TECHNOLOGY, 1993, 8 (03) : 184 - 194
12345