The Resource Reasoning with assumptions, defeasibly, in model formulation, Hemant K. Bhargava and Ramayya Krishnan

Reasoning with assumptions, defeasibly, in model formulation, Hemant K. Bhargava and Ramayya Krishnan

Label
Reasoning with assumptions, defeasibly, in model formulation
Title
Reasoning with assumptions, defeasibly, in model formulation
Statement of responsibility
Hemant K. Bhargava and Ramayya Krishnan
Creator
Contributor
Subject
Language
eng
Summary
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
Member of
Cataloging source
AD#
http://library.link/vocab/creatorName
Bhargava, H. K.
Government publication
federal national government publication
Index
no index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Krishnan, R.
  • Naval Postgraduate School (U.S.)
Series statement
Working paper
Series volume
no. 91-04
http://library.link/vocab/subjectName
  • Nonmonotonic reasoning
  • Reasoning
  • Computer-aided design
  • Programming (Mathematics)
Label
Reasoning with assumptions, defeasibly, in model formulation, Hemant K. Bhargava and Ramayya Krishnan
Link
Instantiates
Publication
Note
  • Title from cover
  • "October 4, 1991."
Bibliography note
Includes bibliographical references (p. 8)
Extent
1 online resource (8 pages)
Form of item
online
Specific material designation
remote
Label
Reasoning with assumptions, defeasibly, in model formulation, Hemant K. Bhargava and Ramayya Krishnan
Link
Publication
Note
  • Title from cover
  • "October 4, 1991."
Bibliography note
Includes bibliographical references (p. 8)
Extent
1 online resource (8 pages)
Form of item
online
Specific material designation
remote

Library Locations

  • Internet ArchiveBorrow it
    300 Funston Ave, San Francisco, CA, 94118, US
    37.7823215 -122.4716373

Library Links

Processing Feedback ...