VALIDATING QUALITATIVE STATES WITH THE CONFLICT RESOLUTION METHOD
A computer simulation includes qualitative values and constraints of a qualitative state. At least some of the constraints include additions of at least some of the qualitative values. The qualitative values are converted to inequalities and equalities. A subset of the original constraints is extrac...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Patent |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | |
| container_volume | |
| creator | de Kleer, Johan Maxwell, III, John T Klenk, Matthew |
| description | A computer simulation includes qualitative values and constraints of a qualitative state. At least some of the constraints include additions of at least some of the qualitative values. The qualitative values are converted to inequalities and equalities. A subset of the original constraints is extracted that represents all of the additions. A conflict resolution method is applied to the inequalities along with the addition constraints. The conflict resolution method makes a tentative assignment of numerical values to the quantitative values and determines consistencies over all of the inequalities and equalities using the tentative assignments. Based on the conflict resolution method determining that the addition constraints reduce to a trivial inconsistency, the qualitative state can be invalidated. |
| format | Patent |
| fullrecord | <record><control><sourceid>epo_EVB</sourceid><recordid>TN_cdi_epo_espacenet_US2022043948A1</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>US2022043948A1</sourcerecordid><originalsourceid>FETCH-epo_espacenet_US2022043948A13</originalsourceid><addsrcrecordid>eNrjZHAMc_TxdHEM8fRzVwgMBbJDgOwwV4VgIO0arBDuGeKhEOLhquDs7-fm4-kcohDkGuzvExri6e-n4Osa4uHvwsPAmpaYU5zKC6W5GZTdXEOcPXRTC_LjU4sLEpNT81JL4kODjQyMjAxMjC1NLBwNjYlTBQCy1SxE</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>patent</recordtype></control><display><type>patent</type><title>VALIDATING QUALITATIVE STATES WITH THE CONFLICT RESOLUTION METHOD</title><source>esp@cenet</source><creator>de Kleer, Johan ; Maxwell, III, John T ; Klenk, Matthew</creator><creatorcontrib>de Kleer, Johan ; Maxwell, III, John T ; Klenk, Matthew</creatorcontrib><description>A computer simulation includes qualitative values and constraints of a qualitative state. At least some of the constraints include additions of at least some of the qualitative values. The qualitative values are converted to inequalities and equalities. A subset of the original constraints is extracted that represents all of the additions. A conflict resolution method is applied to the inequalities along with the addition constraints. The conflict resolution method makes a tentative assignment of numerical values to the quantitative values and determines consistencies over all of the inequalities and equalities using the tentative assignments. Based on the conflict resolution method determining that the addition constraints reduce to a trivial inconsistency, the qualitative state can be invalidated.</description><language>eng</language><subject>CALCULATING ; COMPUTING ; COUNTING ; ELECTRIC DIGITAL DATA PROCESSING ; PHYSICS</subject><creationdate>2022</creationdate><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&date=20220210&DB=EPODOC&CC=US&NR=2022043948A1$$EHTML$$P50$$Gepo$$Hfree_for_read</linktohtml><link.rule.ids>230,308,776,881,25542,76290</link.rule.ids><linktorsrc>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&date=20220210&DB=EPODOC&CC=US&NR=2022043948A1$$EView_record_in_European_Patent_Office$$FView_record_in_$$GEuropean_Patent_Office$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>de Kleer, Johan</creatorcontrib><creatorcontrib>Maxwell, III, John T</creatorcontrib><creatorcontrib>Klenk, Matthew</creatorcontrib><title>VALIDATING QUALITATIVE STATES WITH THE CONFLICT RESOLUTION METHOD</title><description>A computer simulation includes qualitative values and constraints of a qualitative state. At least some of the constraints include additions of at least some of the qualitative values. The qualitative values are converted to inequalities and equalities. A subset of the original constraints is extracted that represents all of the additions. A conflict resolution method is applied to the inequalities along with the addition constraints. The conflict resolution method makes a tentative assignment of numerical values to the quantitative values and determines consistencies over all of the inequalities and equalities using the tentative assignments. Based on the conflict resolution method determining that the addition constraints reduce to a trivial inconsistency, the qualitative state can be invalidated.</description><subject>CALCULATING</subject><subject>COMPUTING</subject><subject>COUNTING</subject><subject>ELECTRIC DIGITAL DATA PROCESSING</subject><subject>PHYSICS</subject><fulltext>true</fulltext><rsrctype>patent</rsrctype><creationdate>2022</creationdate><recordtype>patent</recordtype><sourceid>EVB</sourceid><recordid>eNrjZHAMc_TxdHEM8fRzVwgMBbJDgOwwV4VgIO0arBDuGeKhEOLhquDs7-fm4-kcohDkGuzvExri6e-n4Osa4uHvwsPAmpaYU5zKC6W5GZTdXEOcPXRTC_LjU4sLEpNT81JL4kODjQyMjAxMjC1NLBwNjYlTBQCy1SxE</recordid><startdate>20220210</startdate><enddate>20220210</enddate><creator>de Kleer, Johan</creator><creator>Maxwell, III, John T</creator><creator>Klenk, Matthew</creator><scope>EVB</scope></search><sort><creationdate>20220210</creationdate><title>VALIDATING QUALITATIVE STATES WITH THE CONFLICT RESOLUTION METHOD</title><author>de Kleer, Johan ; Maxwell, III, John T ; Klenk, Matthew</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-epo_espacenet_US2022043948A13</frbrgroupid><rsrctype>patents</rsrctype><prefilter>patents</prefilter><language>eng</language><creationdate>2022</creationdate><topic>CALCULATING</topic><topic>COMPUTING</topic><topic>COUNTING</topic><topic>ELECTRIC DIGITAL DATA PROCESSING</topic><topic>PHYSICS</topic><toplevel>online_resources</toplevel><creatorcontrib>de Kleer, Johan</creatorcontrib><creatorcontrib>Maxwell, III, John T</creatorcontrib><creatorcontrib>Klenk, Matthew</creatorcontrib><collection>esp@cenet</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>de Kleer, Johan</au><au>Maxwell, III, John T</au><au>Klenk, Matthew</au><format>patent</format><genre>patent</genre><ristype>GEN</ristype><title>VALIDATING QUALITATIVE STATES WITH THE CONFLICT RESOLUTION METHOD</title><date>2022-02-10</date><risdate>2022</risdate><abstract>A computer simulation includes qualitative values and constraints of a qualitative state. At least some of the constraints include additions of at least some of the qualitative values. The qualitative values are converted to inequalities and equalities. A subset of the original constraints is extracted that represents all of the additions. A conflict resolution method is applied to the inequalities along with the addition constraints. The conflict resolution method makes a tentative assignment of numerical values to the quantitative values and determines consistencies over all of the inequalities and equalities using the tentative assignments. Based on the conflict resolution method determining that the addition constraints reduce to a trivial inconsistency, the qualitative state can be invalidated.</abstract><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | |
| ispartof | |
| issn | |
| language | eng |
| recordid | cdi_epo_espacenet_US2022043948A1 |
| source | esp@cenet |
| subjects | CALCULATING COMPUTING COUNTING ELECTRIC DIGITAL DATA PROCESSING PHYSICS |
| title | VALIDATING QUALITATIVE STATES WITH THE CONFLICT RESOLUTION METHOD |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-28T23%3A14%3A17IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-epo_EVB&rft_val_fmt=info:ofi/fmt:kev:mtx:patent&rft.genre=patent&rft.au=de%20Kleer,%20Johan&rft.date=2022-02-10&rft_id=info:doi/&rft_dat=%3Cepo_EVB%3EUS2022043948A1%3C/epo_EVB%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |