Reasoning with assumptions, defeasibly, in model formulation
reasoningwithass00bhar.pdf (678.6Kb)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.
Description
Working papers of the Naval Postgraduate School Department of Administrative Sciences are preliminary materials circulated to stimulate discussion and critical comment. The views stated herein are the author's and not necessarily those of the Department of the Navy or the Naval Postgraduate School.
NPS Report Number
NPS-AS-91-04Related items
Showing items related by title, author, creator and subject.
-
An analysis of the 1977 AD/AR TARSLL.
(Monterey, California. Naval Postgraduate School, 1980-09);The industrial mission of Destroyer Tenders (AD) and Repair Ships (AR) is to provide intermediate level maintenance and repair for supported ships. The Tender and Repair Ship Load List for these ships (AD/AR TARSLL) designates ... -
An Intelligent Assistant for Requirements Validation
(Springer, 1995-06);The process of determining user requirements for software systems is often plagued with uncertainty, ambiguity, and inconsistency. Rapid prototyping offers an iterative approach to requirements engineering that can be used ... -
Process Knowledge Based Rapid Prototyping for Requirements Engineering
(1993);Rapid prototyping offers an iterative approach to requirements engineering to alleviate the problems such as uncertainty, ambiguity, and inconsistency inherent in the process. Further, as the systems development process ...
