Reasoning with Assumptions, Defeasibly, in Model Formulation
Abstract
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Oct 04, 1991
- Accession Number
- ADA242734
Entities
People
- Hemant K. Bhargava
- Ramayya Krishnan
Organizations
- Naval Postgraduate School