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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Logan, Brian (VerfasserIn), Corne, David 1962- (VerfasserIn), Smithers, Tim (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Edinburgh 1992
Schriftenreihe:University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 581
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

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

DE-BY-TUM_call_number 0111/2001 B 6034-581
DE-BY-TUM_katkey 664038
DE-BY-TUM_media_number 040010052705
_version_ 1816711721979478016
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 &lt;Edinburgh&gt; / 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 &lt;Edinburgh&gt;</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-11-25T17:14:19Z
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