Enduring support: on defeasible reasoning in design support systems
Gespeichert in:
| Beteiligte Personen: | , , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Edinburgh
1992
|
| Schriftenreihe: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
581 |
| Schlagwörter: | |
| Abstract: | Abstract: "The task of a design support system is conventionally conceived as one of providing the designer with solutions to specific parts of a design problem. In this paper we argue that this approach is fundamentally flawed. We identify two main modalities of support: the production of necessary consequences and the production of possible consequences of the current design description, and discuss the problem of devising an architecture capable of providing such support using the Edinburgh Designer System (EDS) as an example We describe the difficulties inherent in integrating the derivation of possible consequences into the architecture of EDS and argue that while in principle such difficulties can be overcome, in practice the goal of providing globally consistent solutions to particular parts of the design problem is unattainable. We propose a different approach in which the design support system explores the consequences of various design decisions. The results of this exploration are represented as counterfactual conditionals which we believe more closely approximates the information required by a designer. |
| Umfang: | 18 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010459604 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t| | ||
| 008 | 951031s1992 xx |||| 00||| engod | ||
| 035 | |a (OCoLC)31283400 | ||
| 035 | |a (DE-599)BVBBV010459604 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Logan, Brian |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Enduring support |b on defeasible reasoning in design support systems |c Brian Logan, David Corne and Tim Smithers |
| 264 | 1 | |a Edinburgh |c 1992 | |
| 300 | |a 18 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 581 | |
| 520 | 3 | |a Abstract: "The task of a design support system is conventionally conceived as one of providing the designer with solutions to specific parts of a design problem. In this paper we argue that this approach is fundamentally flawed. We identify two main modalities of support: the production of necessary consequences and the production of possible consequences of the current design description, and discuss the problem of devising an architecture capable of providing such support using the Edinburgh Designer System (EDS) as an example | |
| 520 | 3 | |a We describe the difficulties inherent in integrating the derivation of possible consequences into the architecture of EDS and argue that while in principle such difficulties can be overcome, in practice the goal of providing globally consistent solutions to particular parts of the design problem is unattainable. We propose a different approach in which the design support system explores the consequences of various design decisions. The results of this exploration are represented as counterfactual conditionals which we believe more closely approximates the information required by a designer. | |
| 650 | 7 | |a Bionics and artificial intelligence |2 sigle | |
| 650 | 7 | |a Computer aided design (CAD) |2 sigle | |
| 650 | 4 | |a Logic design | |
| 700 | 1 | |a Corne, David |d 1962- |e Verfasser |0 (DE-588)12041399X |4 aut | |
| 700 | 1 | |a Smithers, Tim |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Artificial Intelligence: DAI research paper |t University <Edinburgh> |v 581 |w (DE-604)BV010450646 |9 581 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006968601 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0111 2001 B 6034-581 |
|---|---|
| DE-BY-TUM_katkey | 664038 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010052705 |
| _version_ | 1821930935489134594 |
| any_adam_object | |
| author | Logan, Brian Corne, David 1962- Smithers, Tim |
| author_GND | (DE-588)12041399X |
| author_facet | Logan, Brian Corne, David 1962- Smithers, Tim |
| author_role | aut aut aut |
| author_sort | Logan, Brian |
| author_variant | b l bl d c dc t s ts |
| building | Verbundindex |
| bvnumber | BV010459604 |
| ctrlnum | (OCoLC)31283400 (DE-599)BVBBV010459604 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02340nam a2200349 cb4500</leader><controlfield tag="001">BV010459604</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">951031s1992 xx |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31283400</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010459604</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">Logan, Brian</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Enduring support</subfield><subfield code="b">on defeasible reasoning in design support systems</subfield><subfield code="c">Brian Logan, David Corne and Tim Smithers</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">18 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">581</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The task of a design support system is conventionally conceived as one of providing the designer with solutions to specific parts of a design problem. In this paper we argue that this approach is fundamentally flawed. We identify two main modalities of support: the production of necessary consequences and the production of possible consequences of the current design description, and discuss the problem of devising an architecture capable of providing such support using the Edinburgh Designer System (EDS) as an example</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">We describe the difficulties inherent in integrating the derivation of possible consequences into the architecture of EDS and argue that while in principle such difficulties can be overcome, in practice the goal of providing globally consistent solutions to particular parts of the design problem is unattainable. We propose a different approach in which the design support system explores the consequences of various design decisions. The results of this exploration are represented as counterfactual conditionals which we believe more closely approximates the information required by a designer.</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 aided design (CAD)</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Corne, David</subfield><subfield code="d">1962-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)12041399X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Smithers, Tim</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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">581</subfield><subfield code="w">(DE-604)BV010450646</subfield><subfield code="9">581</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006968601</subfield></datafield></record></collection> |
| id | DE-604.BV010459604 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T09:54:29Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006968601 |
| oclc_num | 31283400 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 18 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |
| spellingShingle | Logan, Brian Corne, David 1962- Smithers, Tim Enduring support on defeasible reasoning in design support systems Bionics and artificial intelligence sigle Computer aided design (CAD) sigle Logic design |
| title | Enduring support on defeasible reasoning in design support systems |
| title_auth | Enduring support on defeasible reasoning in design support systems |
| title_exact_search | Enduring support on defeasible reasoning in design support systems |
| title_full | Enduring support on defeasible reasoning in design support systems Brian Logan, David Corne and Tim Smithers |
| title_fullStr | Enduring support on defeasible reasoning in design support systems Brian Logan, David Corne and Tim Smithers |
| title_full_unstemmed | Enduring support on defeasible reasoning in design support systems Brian Logan, David Corne and Tim Smithers |
| title_short | Enduring support |
| title_sort | enduring support on defeasible reasoning in design support systems |
| title_sub | on defeasible reasoning in design support systems |
| topic | Bionics and artificial intelligence sigle Computer aided design (CAD) sigle Logic design |
| topic_facet | Bionics and artificial intelligence Computer aided design (CAD) Logic design |
| volume_link | (DE-604)BV010450646 |
| work_keys_str_mv | AT loganbrian enduringsupportondefeasiblereasoningindesignsupportsystems AT cornedavid enduringsupportondefeasiblereasoningindesignsupportsystems AT smitherstim enduringsupportondefeasiblereasoningindesignsupportsystems |
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik, Berichte
| Signatur: |
0111 2001 B 6034-581 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |