A verification approach for knowledge-based systems

Knowledge-based systems (KBS) represent a novel computer-based approach for dealing with practical traffic engineering problems. As traffic engineers adapt and apply KBS technological tenets, there is a need to reflect on exactly how development efforts should proceed and, particularly, on how a KBS should be verified as ‘correct.’ Such experience is likely to accrue from hindsight; what went right-or wrong-during an actual KBS project. Unfortunately, hindsight does not provide direct experience with the application of a specific development paradigm. In this paper, the authors detail their experiences in applying a specific verification framework (based on traditional software engineering tenets) during a traffic engineering KBS development effort. The present experiences with this paradigm provide useful insights to other researchers involved in traffic engineering KBS development projects.