Reasoning with assumptions, defeasibly, in model formulation
Bhargava, Hemant K.
MetadataShow full item record
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
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 NumberNPS-AS-91-04
Showing items related by title, author, creator and subject.
Hargrove, James Wiley Jr. (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 ...
Ramesh, Balasubramaniam; Luqi (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 ...
Developing Software Requirements Supporting Open Architecture Performance Goals in Critical DoD System-of-Systems Naegle, Brad (2005-11-01); NPS-AM-06-001This article is one in a series of papers addressing one or more issues of critical importance to the acquisition profession. A working paper is a forum to accomplish a variety of objectives, such as: (1) present a rough ...