Synthesizing hardware: configuration via proof
Abstract: "Configuring large computer hardware systems is a complex task and efforts to automate it have spawned knowledge based systems which have proved difficult to maintain. This paper describes a logical formalism for configuration and the use of a proofs as configurations approach analago...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Edinburgh
1991
|
| Schriftenreihe: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
557 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "Configuring large computer hardware systems is a complex task and efforts to automate it have spawned knowledge based systems which have proved difficult to maintain. This paper describes a logical formalism for configuration and the use of a proofs as configurations approach analagous to program synthesis via proofs as programs. Meta-level control is achieved through proof plans, which embody common strategies for guiding inference. As well as ensuring soundness, in that only legal configurations can be synthesized, the system also facilitates maintenace because of its clean separation of object-level knowledge, heuristics, and control strategies." |
| Beschreibung: | 17 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010458922 | ||
| 003 | DE-604 | ||
| 007 | t | ||
| 008 | 951031s1991 |||| 00||| engod | ||
| 035 | |a (OCoLC)1069029488 | ||
| 035 | |a (DE-599)BVBBV010458922 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Lowe, Helen |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Synthesizing hardware |b configuration via proof |
| 264 | 1 | |a Edinburgh |c 1991 | |
| 300 | |a 17 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |v 557 | |
| 520 | 3 | |a Abstract: "Configuring large computer hardware systems is a complex task and efforts to automate it have spawned knowledge based systems which have proved difficult to maintain. This paper describes a logical formalism for configuration and the use of a proofs as configurations approach analagous to program synthesis via proofs as programs. Meta-level control is achieved through proof plans, which embody common strategies for guiding inference. As well as ensuring soundness, in that only legal configurations can be synthesized, the system also facilitates maintenace because of its clean separation of object-level knowledge, heuristics, and control strategies." | |
| 650 | 7 | |a Computer hardware |2 sigle | |
| 650 | 4 | |a Knowledge acquisition (Expert systems) | |
| 810 | 2 | |a Department of Artificial Intelligence: DAI research paper |t University <Edinburgh> |v 557 |w (DE-604)BV010450646 |9 557 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006968029 | |
Datensatz im Suchindex
| _version_ | 1812974139008352256 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Lowe, Helen |
| author_facet | Lowe, Helen |
| author_role | aut |
| author_sort | Lowe, Helen |
| author_variant | h l hl |
| building | Verbundindex |
| bvnumber | BV010458922 |
| ctrlnum | (OCoLC)1069029488 (DE-599)BVBBV010458922 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV010458922</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951031s1991 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1069029488</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010458922</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-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lowe, Helen</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Synthesizing hardware</subfield><subfield code="b">configuration via proof</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">17 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 <Edinburgh> / Department of Artificial Intelligence: DAI research paper</subfield><subfield code="v">557</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Configuring large computer hardware systems is a complex task and efforts to automate it have spawned knowledge based systems which have proved difficult to maintain. This paper describes a logical formalism for configuration and the use of a proofs as configurations approach analagous to program synthesis via proofs as programs. Meta-level control is achieved through proof plans, which embody common strategies for guiding inference. As well as ensuring soundness, in that only legal configurations can be synthesized, the system also facilitates maintenace because of its clean separation of object-level knowledge, heuristics, and control strategies."</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer hardware</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Knowledge acquisition (Expert systems)</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Artificial Intelligence: DAI research paper</subfield><subfield code="t">University <Edinburgh></subfield><subfield code="v">557</subfield><subfield code="w">(DE-604)BV010450646</subfield><subfield code="9">557</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006968029</subfield></datafield></record></collection> |
| id | DE-604.BV010458922 |
| illustrated | Not Illustrated |
| indexdate | 2024-10-15T10:07:52Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006968029 |
| oclc_num | 1069029488 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 17 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |
| spelling | Lowe, Helen Verfasser aut Synthesizing hardware configuration via proof Edinburgh 1991 17 S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 557 Abstract: "Configuring large computer hardware systems is a complex task and efforts to automate it have spawned knowledge based systems which have proved difficult to maintain. This paper describes a logical formalism for configuration and the use of a proofs as configurations approach analagous to program synthesis via proofs as programs. Meta-level control is achieved through proof plans, which embody common strategies for guiding inference. As well as ensuring soundness, in that only legal configurations can be synthesized, the system also facilitates maintenace because of its clean separation of object-level knowledge, heuristics, and control strategies." Computer hardware sigle Knowledge acquisition (Expert systems) Department of Artificial Intelligence: DAI research paper University <Edinburgh> 557 (DE-604)BV010450646 557 |
| spellingShingle | Lowe, Helen Synthesizing hardware configuration via proof Computer hardware sigle Knowledge acquisition (Expert systems) |
| title | Synthesizing hardware configuration via proof |
| title_auth | Synthesizing hardware configuration via proof |
| title_exact_search | Synthesizing hardware configuration via proof |
| title_full | Synthesizing hardware configuration via proof |
| title_fullStr | Synthesizing hardware configuration via proof |
| title_full_unstemmed | Synthesizing hardware configuration via proof |
| title_short | Synthesizing hardware |
| title_sort | synthesizing hardware configuration via proof |
| title_sub | configuration via proof |
| topic | Computer hardware sigle Knowledge acquisition (Expert systems) |
| topic_facet | Computer hardware Knowledge acquisition (Expert systems) |
| volume_link | (DE-604)BV010450646 |
| work_keys_str_mv | AT lowehelen synthesizinghardwareconfigurationviaproof |