Applications of verification and validation techniques to Knowledge-Based Systems in Health Care (PDF)
Availability: in stock
Prod. Code: 003
KBS are being developed and used worldwide in a variety of applications. Their applications in health care systems are legion, with new applications areas emerging and current applications undergoing further development. A major setback to the increasing use of KBS is the lack of effective methods for ensuring their quality and reliability, particularly with regard to the verification and validation of the knowledge bases utilized.
This paper critically discusses topical issues regarding the verification and validation of KBS, including the lack of consensus on the definitions of V&V, and problems verifying theoretical properties. The paper also critically explores the increasing use of formal specification methods and languages, problems peculiar to KBS V&V in health care systems, and current research and trends in the V&V of KBS field.