FORMAL SPECIFICATION AND DECISION-SUPPORT

被引：2
作者：
KRAUSE, PJ [1 ]
BYERS, PJ [1 ]
HAJNAL, S [1 ]
机构：
[1] UNIV SURREY,DEPT MATH & COMP SCI,GUILDFORD GU2 5XH,SURREY,ENGLAND
来源：
DECISION SUPPORT SYSTEMS | 1994年 / 12卷 / 03期
关键词：
DSS DEVELOPMENT; FORMAL SPECIFICATION; SOFTWARE ENGINEERING; KBS VALIDATION;
D O I：
10.1016/0167-9236(94)90003-5
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
To gain widespread acceptance, decision support systems must be built to the highest possible standards. We believe techniques of formal specification and refinement have a valuable role to play in the development of certain components of decision support systems. We present a tutorial study of the use of formal specification focused on a system for maintaining deductive extensions of a knowledge base. The system is specified using an object-oriented variant of the specification language Z. The relationship of the formal specification with existing theoretical work in AI is discussed together with its refinement into a demonstrably correct implementation.
引用
收藏
页码：189 / 197
页数：9
相关论文
共 23 条
[1]  
Bidoit N., 1987, Proceedings of the Symposium on Logic in Computer Science (Cat. No.87CH2464-6), P89
[2]  
ETHERINGTON D, 1988, REASONING INCOMPLETE
[3]  
Fox J., 1990, Artificial Intelligence in Medicine, V2, P323, DOI 10.1016/0933-3657(90)90007-E
[4]   USING PREDICATE LOGIC TO INTEGRATE QUALITATIVE REASONING AND CLASSICAL DECISION-THEORY [J].
FOX, J ;
CLARK, DA ;
GLOWINSKI, AJ ;
ONEIL, MJ .
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1990, 20 (02) :347-357
[5]   CAN WE FORMALLY SPECIFY A MEDICAL DECISION-SUPPORT SYSTEM [J].
KRAUSE, P ;
FOX, J ;
ONEIL, M ;
GLOWINSKI, A .
IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1993, 8 (03) :56-61
[6]   FORMAL SPECIFICATIONS AND MEDICAL DECISION-SUPPORT SYSTEMS [J].
KRAUSE, P ;
GLOWINSKI, A .
APPLIED ARTIFICIAL INTELLIGENCE, 1993, 7 (03) :237-256
[7]  
Krause P., 1993, REPRESENTING UNCERTA
[8]  
KRAUSE PJ, 1990, TR116 IMP CANC RES F
[9]  
LIEBOWITZ J, 1990, SPECIAL ISSUE VERIFI, V1
[10]  
MAKINSON D, 1990, P KONSTANZ WORKSH BE
123