Reasoning with assumptions, defeasibly, in model formulation
By: Hemant K. Bhargava and Ramayya Krishnan
Contributors: Krishnan, R. (Ramayya); Naval Postgraduate School (U.S.). Dept. of Administrative Sciences
Series: Working paper -- no. 91-04; Working paper (Naval Postgraduate School (U.S.). Dept. of Administrative Sciences) -- 91-04.
Publisher: Dept. of Administrative Sciences, Naval Postgraduate School
Published: 1991
Place of publication: Monterey, Calif
Language: eng
Subjects: Reasoning; Computer-aided design; Programming (Mathematics); Nonmonotonic reasoning
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.
Notes: Title from cover.

"October 4, 1991."

Includes bibliographical references (p. 8).