Enduring support: on defeasible reasoning in design support systems
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 nece...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Edinburgh
1992
|
| Schriftenreihe: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
581 |
| Schlagworte: | |
| Zusammenfassung: | 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. |
| Beschreibung: | 18 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010459604 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 951031s1992 |||| 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 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006968601 | ||
Datensatz im Suchindex
| _version_ | 1804124890687602688 |
|---|---|
| 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>02339nam 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 |||| 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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006968601</subfield></datafield></record></collection> |
| id | DE-604.BV010459604 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:52:51Z |
| 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 |
| spelling | Logan, Brian Verfasser aut Enduring support on defeasible reasoning in design support systems Brian Logan, David Corne and Tim Smithers Edinburgh 1992 18 S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 581 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. Bionics and artificial intelligence sigle Computer aided design (CAD) sigle Logic design Corne, David 1962- Verfasser (DE-588)12041399X aut Smithers, Tim Verfasser aut Department of Artificial Intelligence: DAI research paper University <Edinburgh> 581 (DE-604)BV010450646 581 |
| 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 |