Compositional Verification of Knowledge-Based Systems: a Case Study for Diagnostic Reasoning

F. Cornelissen, J. Treur, C.M. Jonker

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

Abstract

When designing complex knowledge-based systems, it is often hard to guarantee that the specification of a system that has been designed actually fulfills the needs, i.e., whether it satisfies the design requirements. Especially for critical applications, for example in aerospace domains, there is a need to prove that the designed system will have certain properties under certain conditions (assumptions). While developing a proof of such properties, the assumptions that define the bounds within which the system will function properly are generated.
Original languageEnglish
Title of host publicationDynamics and Management of Reasoning Processes
PublisherSpringer
Pages65-82
ISBN (Electronic)978-94-017-1743-4
ISBN (Print)978-90-481-5903-1
DOIs
Publication statusPublished - 2001

Publication series

NameSeries in Defeasible Reasoning and Uncertainty Management Systems
PublisherKluwer
Volume6

Fingerprint

Dive into the research topics of 'Compositional Verification of Knowledge-Based Systems: a Case Study for Diagnostic Reasoning'. Together they form a unique fingerprint.

Cite this