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.
|Title of host publication||Dynamics and Management of Reasoning Processes|
|Publication status||Published - 2001|
|Name||Series in Defeasible Reasoning and Uncertainty Management Systems|