A Basic Model of KBS Software
This work addresses quality assurance for military KBS developers, but it appears incremental as it builds on existing project efforts without claiming major breakthroughs.
The paper tackled the problem of quality issues in military knowledge-based system (KBS) software development by developing a computational model based on non-determinism to define and analyze KBS quality, with a focus on search as a key characteristic.
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.