Synthesizing computer configurations from specifications: structuring knowledge for design
Abstract: "We examine the task of synthesizing large computer configurations from specifications using a knowledge-based system. We propose a new approach which breaks away from the traditional rule-based IKBS paradigm. The technique of proof planning is used to synthesize a computer configurat...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Edinburgh
1993
|
| Schriftenreihe: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
664 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "We examine the task of synthesizing large computer configurations from specifications using a knowledge-based system. We propose a new approach which breaks away from the traditional rule-based IKBS paradigm. The technique of proof planning is used to synthesize a computer configuration S from a specification spec(S) by proving the theorem [backwards E]S.spec(S). Our representation gives a clean separation of the different types of knowledge: object-level, heuristics, and control, and greatly facilitates the exploration of explicit design issues in this domain. We overview the design issues to be taken into account, concentrating on cost and efficiency. We conclude that the task cannot be viewed as either an optimization or a purely constraint driven problem, and that design choices must be preserved and not constrained in the finished configuration. Our prototype system allows this." |
| Beschreibung: | 52 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010466361 | ||
| 003 | DE-604 | ||
| 005 | 19961217 | ||
| 007 | t | ||
| 008 | 951108s1993 |||| 00||| engod | ||
| 035 | |a (OCoLC)32126600 | ||
| 035 | |a (DE-599)BVBBV010466361 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 084 | |a DAT 190f |2 stub | ||
| 100 | 1 | |a Lowe, Helen |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Synthesizing computer configurations from specifications |b structuring knowledge for design |
| 264 | 1 | |a Edinburgh |c 1993 | |
| 300 | |a 52 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 664 | |
| 520 | 3 | |a Abstract: "We examine the task of synthesizing large computer configurations from specifications using a knowledge-based system. We propose a new approach which breaks away from the traditional rule-based IKBS paradigm. The technique of proof planning is used to synthesize a computer configuration S from a specification spec(S) by proving the theorem [backwards E]S.spec(S). Our representation gives a clean separation of the different types of knowledge: object-level, heuristics, and control, and greatly facilitates the exploration of explicit design issues in this domain. We overview the design issues to be taken into account, concentrating on cost and efficiency. We conclude that the task cannot be viewed as either an optimization or a purely constraint driven problem, and that design choices must be preserved and not constrained in the finished configuration. Our prototype system allows this." | |
| 650 | 7 | |a Bionics and artificial intelligence |2 sigle | |
| 650 | 7 | |a Computer software |2 sigle | |
| 650 | 4 | |a Computer-aided engineering | |
| 810 | 2 | |a Department of Artificial Intelligence: DAI research paper |t University <Edinburgh> |v 664 |w (DE-604)BV010450646 |9 664 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006974349 | ||
Datensatz im Suchindex
| _version_ | 1804124899187359744 |
|---|---|
| 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 | BV010466361 |
| classification_tum | DAT 190f |
| ctrlnum | (OCoLC)32126600 (DE-599)BVBBV010466361 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01996nam a2200325 cb4500</leader><controlfield tag="001">BV010466361</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19961217 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951108s1993 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)32126600</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010466361</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="084" ind1=" " ind2=" "><subfield code="a">DAT 190f</subfield><subfield code="2">stub</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 computer configurations from specifications</subfield><subfield code="b">structuring knowledge for design</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">52 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">664</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We examine the task of synthesizing large computer configurations from specifications using a knowledge-based system. We propose a new approach which breaks away from the traditional rule-based IKBS paradigm. The technique of proof planning is used to synthesize a computer configuration S from a specification spec(S) by proving the theorem [backwards E]S.spec(S). Our representation gives a clean separation of the different types of knowledge: object-level, heuristics, and control, and greatly facilitates the exploration of explicit design issues in this domain. We overview the design issues to be taken into account, concentrating on cost and efficiency. We conclude that the task cannot be viewed as either an optimization or a purely constraint driven problem, and that design choices must be preserved and not constrained in the finished configuration. Our prototype system allows this."</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Bionics and artificial intelligence</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer-aided engineering</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">664</subfield><subfield code="w">(DE-604)BV010450646</subfield><subfield code="9">664</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006974349</subfield></datafield></record></collection> |
| id | DE-604.BV010466361 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:52:59Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006974349 |
| oclc_num | 32126600 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 52 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |
| spelling | Lowe, Helen Verfasser aut Synthesizing computer configurations from specifications structuring knowledge for design Edinburgh 1993 52 S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 664 Abstract: "We examine the task of synthesizing large computer configurations from specifications using a knowledge-based system. We propose a new approach which breaks away from the traditional rule-based IKBS paradigm. The technique of proof planning is used to synthesize a computer configuration S from a specification spec(S) by proving the theorem [backwards E]S.spec(S). Our representation gives a clean separation of the different types of knowledge: object-level, heuristics, and control, and greatly facilitates the exploration of explicit design issues in this domain. We overview the design issues to be taken into account, concentrating on cost and efficiency. We conclude that the task cannot be viewed as either an optimization or a purely constraint driven problem, and that design choices must be preserved and not constrained in the finished configuration. Our prototype system allows this." Bionics and artificial intelligence sigle Computer software sigle Computer-aided engineering Department of Artificial Intelligence: DAI research paper University <Edinburgh> 664 (DE-604)BV010450646 664 |
| spellingShingle | Lowe, Helen Synthesizing computer configurations from specifications structuring knowledge for design Bionics and artificial intelligence sigle Computer software sigle Computer-aided engineering |
| title | Synthesizing computer configurations from specifications structuring knowledge for design |
| title_auth | Synthesizing computer configurations from specifications structuring knowledge for design |
| title_exact_search | Synthesizing computer configurations from specifications structuring knowledge for design |
| title_full | Synthesizing computer configurations from specifications structuring knowledge for design |
| title_fullStr | Synthesizing computer configurations from specifications structuring knowledge for design |
| title_full_unstemmed | Synthesizing computer configurations from specifications structuring knowledge for design |
| title_short | Synthesizing computer configurations from specifications |
| title_sort | synthesizing computer configurations from specifications structuring knowledge for design |
| title_sub | structuring knowledge for design |
| topic | Bionics and artificial intelligence sigle Computer software sigle Computer-aided engineering |
| topic_facet | Bionics and artificial intelligence Computer software Computer-aided engineering |
| volume_link | (DE-604)BV010450646 |
| work_keys_str_mv | AT lowehelen synthesizingcomputerconfigurationsfromspecificationsstructuringknowledgefordesign |