The Euclid 6.2 project MOSES addressed quality issues in the development of military KBS. A contribution to this project was to develop a computational model of KBS that could be used to define and analyze aspects of KBS quality. Since a key characteristic of KBS is search, a computational model based on non-determinism was developed and used to express terms relating to quality. This research report describes the approach.
Cite
@article{arxiv.1804.07273,
title = {A Basic Model of KBS Software},
author = {Tony Clark},
journal= {arXiv preprint arXiv:1804.07273},
year = {2018}
}