A verification approach for knowledge-based systems

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

Research output: Contribution to journalArticle

10 Citations (Scopus)

Abstract

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
Volume23
Issue number4
DOIs
StatePublished - 1989

Fingerprint

knowledge-based system
Knowledge based systems
traffic
engineering
system development
experience
paradigm
development project
Knowledge-based systems
engineer
Software engineering
Engineers

ASJC Scopus subject areas

  • Engineering(all)

Cite this

A verification approach for knowledge-based systems. / Radwan, A. Essam; Goul, Kenneth; O'Leary, Timothy J.; Moffitt, Kathleen E.

In: Transportation Research Part A: General, Vol. 23, No. 4, 1989, p. 287-300.

Research output: Contribution to journalArticle

Radwan, A. Essam ; Goul, Kenneth ; O'Leary, Timothy J. ; Moffitt, Kathleen E. / A verification approach for knowledge-based systems. In: Transportation Research Part A: General. 1989 ; Vol. 23, No. 4. pp. 287-300.
@article{ba2231f251504833b70b68d316b3401d,
title = "A verification approach for knowledge-based systems",
abstract = "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.",
author = "Radwan, {A. Essam} and Kenneth Goul and O'Leary, {Timothy J.} and Moffitt, {Kathleen E.}",
year = "1989",
doi = "10.1016/0191-2607(89)90012-5",
language = "English (US)",
volume = "23",
pages = "287--300",
journal = "Transportation Research, Part A: Policy and Practice",
issn = "0965-8564",
publisher = "Elsevier Limited",
number = "4",

}

TY - JOUR

T1 - A verification approach for knowledge-based systems

AU - Radwan, A. Essam

AU - Goul, Kenneth

AU - O'Leary, Timothy J.

AU - Moffitt, Kathleen E.

PY - 1989

Y1 - 1989

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0024703910&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0024703910&partnerID=8YFLogxK

U2 - 10.1016/0191-2607(89)90012-5

DO - 10.1016/0191-2607(89)90012-5

M3 - Article

AN - SCOPUS:0024703910

VL - 23

SP - 287

EP - 300

JO - Transportation Research, Part A: Policy and Practice

JF - Transportation Research, Part A: Policy and Practice

SN - 0965-8564

IS - 4

ER -