Reasoning about model accuracy:
Abstract: "Although computers are widely used to simulate complex physical systems, crafting the underlying models that enable computer analysis remains a difficult job with only a small number of computer tools for support. Our goal is to mechanize this process by building an automated model m...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Seattle, Wash.
1991
|
| Schriftenreihe: | University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report
91,5,2 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "Although computers are widely used to simulate complex physical systems, crafting the underlying models that enable computer analysis remains a difficult job with only a small number of computer tools for support. Our goal is to mechanize this process by building an automated model management system that evaluates simplifying assumptions and selects appropriate perspectives. In this paper we present our initial results: a framework for dynamically changing model accuracy based on model sensitivity analysis. We show how to perform model sensitivity analysis efficiently when one model is a fitting approximation of the other Finally, we discuss two implementations of our technique in programs that perform Query-directed simplification by adding bounding abstractions, and Discrepancy-driven refinement. Our programs use a mixture of qualitative and quantitative techniques with both symbolic and numeric computations. |
| Beschreibung: | 49 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008992820 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940206s1991 |||| 00||| eng d | ||
| 035 | |a (OCoLC)28390701 | ||
| 035 | |a (DE-599)BVBBV008992820 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Weld, Daniel S. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Reasoning about model accuracy |c Daniel S. Weld |
| 264 | 1 | |a Seattle, Wash. |c 1991 | |
| 300 | |a 49 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report |v 91,5,2 | |
| 520 | 3 | |a Abstract: "Although computers are widely used to simulate complex physical systems, crafting the underlying models that enable computer analysis remains a difficult job with only a small number of computer tools for support. Our goal is to mechanize this process by building an automated model management system that evaluates simplifying assumptions and selects appropriate perspectives. In this paper we present our initial results: a framework for dynamically changing model accuracy based on model sensitivity analysis. We show how to perform model sensitivity analysis efficiently when one model is a fitting approximation of the other | |
| 520 | 3 | |a Finally, we discuss two implementations of our technique in programs that perform Query-directed simplification by adding bounding abstractions, and Discrepancy-driven refinement. Our programs use a mixture of qualitative and quantitative techniques with both symbolic and numeric computations. | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer simulation | |
| 810 | 2 | |a Department of Computer Science: Technical report |t University of Washington <Seattle, Wash.> |v 91,5,2 |w (DE-604)BV008930431 |9 91,5,2 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005941738 | ||
Datensatz im Suchindex
| _version_ | 1804123335349501952 |
|---|---|
| any_adam_object | |
| author | Weld, Daniel S. |
| author_facet | Weld, Daniel S. |
| author_role | aut |
| author_sort | Weld, Daniel S. |
| author_variant | d s w ds dsw |
| building | Verbundindex |
| bvnumber | BV008992820 |
| ctrlnum | (OCoLC)28390701 (DE-599)BVBBV008992820 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01975nam a2200325 cb4500</leader><controlfield tag="001">BV008992820</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1991 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28390701</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008992820</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Weld, Daniel S.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reasoning about model accuracy</subfield><subfield code="c">Daniel S. Weld</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Seattle, Wash.</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">49 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report</subfield><subfield code="v">91,5,2</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Although computers are widely used to simulate complex physical systems, crafting the underlying models that enable computer analysis remains a difficult job with only a small number of computer tools for support. Our goal is to mechanize this process by building an automated model management system that evaluates simplifying assumptions and selects appropriate perspectives. In this paper we present our initial results: a framework for dynamically changing model accuracy based on model sensitivity analysis. We show how to perform model sensitivity analysis efficiently when one model is a fitting approximation of the other</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Finally, we discuss two implementations of our technique in programs that perform Query-directed simplification by adding bounding abstractions, and Discrepancy-driven refinement. Our programs use a mixture of qualitative and quantitative techniques with both symbolic and numeric computations.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer simulation</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Technical report</subfield><subfield code="t">University of Washington <Seattle, Wash.></subfield><subfield code="v">91,5,2</subfield><subfield code="w">(DE-604)BV008930431</subfield><subfield code="9">91,5,2</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005941738</subfield></datafield></record></collection> |
| id | DE-604.BV008992820 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:28:08Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005941738 |
| oclc_num | 28390701 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 49 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| record_format | marc |
| series2 | University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report |
| spelling | Weld, Daniel S. Verfasser aut Reasoning about model accuracy Daniel S. Weld Seattle, Wash. 1991 49 S. txt rdacontent n rdamedia nc rdacarrier University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report 91,5,2 Abstract: "Although computers are widely used to simulate complex physical systems, crafting the underlying models that enable computer analysis remains a difficult job with only a small number of computer tools for support. Our goal is to mechanize this process by building an automated model management system that evaluates simplifying assumptions and selects appropriate perspectives. In this paper we present our initial results: a framework for dynamically changing model accuracy based on model sensitivity analysis. We show how to perform model sensitivity analysis efficiently when one model is a fitting approximation of the other Finally, we discuss two implementations of our technique in programs that perform Query-directed simplification by adding bounding abstractions, and Discrepancy-driven refinement. Our programs use a mixture of qualitative and quantitative techniques with both symbolic and numeric computations. Künstliche Intelligenz Artificial intelligence Computer simulation Department of Computer Science: Technical report University of Washington <Seattle, Wash.> 91,5,2 (DE-604)BV008930431 91,5,2 |
| spellingShingle | Weld, Daniel S. Reasoning about model accuracy Künstliche Intelligenz Artificial intelligence Computer simulation |
| title | Reasoning about model accuracy |
| title_auth | Reasoning about model accuracy |
| title_exact_search | Reasoning about model accuracy |
| title_full | Reasoning about model accuracy Daniel S. Weld |
| title_fullStr | Reasoning about model accuracy Daniel S. Weld |
| title_full_unstemmed | Reasoning about model accuracy Daniel S. Weld |
| title_short | Reasoning about model accuracy |
| title_sort | reasoning about model accuracy |
| topic | Künstliche Intelligenz Artificial intelligence Computer simulation |
| topic_facet | Künstliche Intelligenz Artificial intelligence Computer simulation |
| volume_link | (DE-604)BV008930431 |
| work_keys_str_mv | AT welddaniels reasoningaboutmodelaccuracy |