Reasoning with assumptions, defeasibly, in model formulation

Description

This paper examines the relevance of reasoning with assumptions in two processes that are desired to be supported in model management systems, namely model formulation and model version management. We submit, and illustrate with an example, that the ability to represent and reason with assumptions in modeling languages could lead to significant improvement in the functionality of model management systems. We also argue that the process of reasoning with assumptions is non-monotonic and propose that defeasible reasoning is a useful candidate for modeling this process.

Subjects

Series Statement

• Working paper -- no. 91-04
• Working paper (Naval Postgraduate School (U.S.). Dept. of Administrative Sciences) -- 91-04.