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.
Описание
ScienceDirect.com - Decision Support Systems - Formal specification and decision support
%0 Journal Article
%1 Krause1994
%A Krause, Paul J.
%A Byers, Patrick J.
%A Hajnal, Saki
%D 1994
%J Decision Support Systems
%K dss specification
%N 3
%P 189 - 197
%R 10.1016/0167-9236(94)90003-5
%T Formal specification and decision support
%U http://www.sciencedirect.com/science/article/pii/0167923694900035
%V 12
%X 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.
@article{Krause1994,
abstract = {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.},
added-at = {2012-11-28T14:35:54.000+0100},
author = {Krause, Paul J. and Byers, Patrick J. and Hajnal, Saki},
biburl = {https://www.bibsonomy.org/bibtex/2375cbc14e0444de09932ddf34da054b9/rhatko},
description = {ScienceDirect.com - Decision Support Systems - Formal specification and decision support},
doi = {10.1016/0167-9236(94)90003-5},
groups = {public},
interhash = {8ec74dff98862635b976686f8c9709f3},
intrahash = {375cbc14e0444de09932ddf34da054b9},
issn = {0167-9236},
journal = {Decision Support Systems},
keywords = {dss specification},
number = 3,
pages = {189 - 197},
timestamp = {2012-12-06T10:41:47.000+0100},
title = {Formal specification and decision support},
url = {http://www.sciencedirect.com/science/article/pii/0167923694900035},
username = {rhatko},
volume = 12,
year = 1994
}