A verification approach for knowledge-based systems

A. Essam Radwan, Kenneth Goul, Timothy J. O'Leary, Kathleen E. Moffitt

Research output: Contribution to journalArticlepeer-review

10 Scopus citations


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, we detail our experiences in applying a specific verification framework (based on traditional software engineering tenets) during a traffic engineering KBS development effort. Our experiences with this paradigm provide useful insights to other researchers involved in traffic engineering KBS development projects.

Original languageEnglish (US)
Pages (from-to)287-300
Number of pages14
JournalTransportation Research Part A: General
Issue number4
StatePublished - Jul 1989

ASJC Scopus subject areas

  • Environmental Science(all)
  • Earth and Planetary Sciences(all)


Dive into the research topics of 'A verification approach for knowledge-based systems'. Together they form a unique fingerprint.

Cite this