Being economical with the truth: assumption-based context management in the Edinburgh Designer System
Abstract: "The problem of controlling inference is a common one in AI systems. It is particularly acute in AI-based design support systems, which to be effective must not only produce the right answer, but must also produce it at the right time. In this paper we discuss these problems in the co...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Edinburgh
1991
|
| Schriftenreihe: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
532 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "The problem of controlling inference is a common one in AI systems. It is particularly acute in AI-based design support systems, which to be effective must not only produce the right answer, but must also produce it at the right time. In this paper we discuss these problems in the context of a particular implementation, the Edinburgh Designer System (EDS), a design support system for mechanical design problems. We present an approach to the control problem which utilises the context of a task to determine which inferences the system should perform We describe a hybrid architecture, an assumption-based truth maintained blackboard system and its associated context management system which partitions the blackboard into a series of views containing the information relating to a particular design solution or task. The resulting system integrates consistency maintenance and the control of inference within the framework of an assumption-based truth maintenance system (ATMS). |
| Beschreibung: | 25 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010453703 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 951030s1991 |||| 00||| engod | ||
| 035 | |a (OCoLC)25807912 | ||
| 035 | |a (DE-599)BVBBV010453703 | ||
| 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 Being economical with the truth |b assumption-based context management in the Edinburgh Designer System |c Brian Logan, Karl Millington and Tim Smithers |
| 264 | 1 | |a Edinburgh |c 1991 | |
| 300 | |a 25 | ||
| 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 532 | |
| 520 | 3 | |a Abstract: "The problem of controlling inference is a common one in AI systems. It is particularly acute in AI-based design support systems, which to be effective must not only produce the right answer, but must also produce it at the right time. In this paper we discuss these problems in the context of a particular implementation, the Edinburgh Designer System (EDS), a design support system for mechanical design problems. We present an approach to the control problem which utilises the context of a task to determine which inferences the system should perform | |
| 520 | 3 | |a We describe a hybrid architecture, an assumption-based truth maintained blackboard system and its associated context management system which partitions the blackboard into a series of views containing the information relating to a particular design solution or task. The resulting system integrates consistency maintenance and the control of inference within the framework of an assumption-based truth maintenance system (ATMS). | |
| 650 | 7 | |a Bionics and artificial intelligence |2 sigle | |
| 650 | 7 | |a Computer aided design (CAD) |2 sigle | |
| 650 | 7 | |a Computer software |2 sigle | |
| 650 | 4 | |a CAD/CAM systems | |
| 650 | 4 | |a Inference | |
| 700 | 1 | |a Millington, Karl |e Verfasser |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 532 |w (DE-604)BV010450646 |9 532 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006966434 | ||
Datensatz im Suchindex
| _version_ | 1804124887249321984 |
|---|---|
| any_adam_object | |
| author | Logan, Brian Millington, Karl Smithers, Tim |
| author_facet | Logan, Brian Millington, Karl Smithers, Tim |
| author_role | aut aut aut |
| author_sort | Logan, Brian |
| author_variant | b l bl k m km t s ts |
| building | Verbundindex |
| bvnumber | BV010453703 |
| ctrlnum | (OCoLC)25807912 (DE-599)BVBBV010453703 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02283nam a2200373 cb4500</leader><controlfield tag="001">BV010453703</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951030s1991 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)25807912</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010453703</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">Being economical with the truth</subfield><subfield code="b">assumption-based context management in the Edinburgh Designer System</subfield><subfield code="c">Brian Logan, Karl Millington and Tim Smithers</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">25</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">532</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The problem of controlling inference is a common one in AI systems. It is particularly acute in AI-based design support systems, which to be effective must not only produce the right answer, but must also produce it at the right time. In this paper we discuss these problems in the context of a particular implementation, the Edinburgh Designer System (EDS), a design support system for mechanical design problems. We present an approach to the control problem which utilises the context of a task to determine which inferences the system should perform</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">We describe a hybrid architecture, an assumption-based truth maintained blackboard system and its associated context management system which partitions the blackboard into a series of views containing the information relating to a particular design solution or task. The resulting system integrates consistency maintenance and the control of inference within the framework of an assumption-based truth maintenance system (ATMS).</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="7"><subfield code="a">Computer software</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">CAD/CAM systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Inference</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Millington, Karl</subfield><subfield code="e">Verfasser</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">532</subfield><subfield code="w">(DE-604)BV010450646</subfield><subfield code="9">532</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006966434</subfield></datafield></record></collection> |
| id | DE-604.BV010453703 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:52:48Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006966434 |
| oclc_num | 25807912 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 25 |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |
| spelling | Logan, Brian Verfasser aut Being economical with the truth assumption-based context management in the Edinburgh Designer System Brian Logan, Karl Millington and Tim Smithers Edinburgh 1991 25 txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 532 Abstract: "The problem of controlling inference is a common one in AI systems. It is particularly acute in AI-based design support systems, which to be effective must not only produce the right answer, but must also produce it at the right time. In this paper we discuss these problems in the context of a particular implementation, the Edinburgh Designer System (EDS), a design support system for mechanical design problems. We present an approach to the control problem which utilises the context of a task to determine which inferences the system should perform We describe a hybrid architecture, an assumption-based truth maintained blackboard system and its associated context management system which partitions the blackboard into a series of views containing the information relating to a particular design solution or task. The resulting system integrates consistency maintenance and the control of inference within the framework of an assumption-based truth maintenance system (ATMS). Bionics and artificial intelligence sigle Computer aided design (CAD) sigle Computer software sigle CAD/CAM systems Inference Millington, Karl Verfasser aut Smithers, Tim Verfasser aut Department of Artificial Intelligence: DAI research paper University <Edinburgh> 532 (DE-604)BV010450646 532 |
| spellingShingle | Logan, Brian Millington, Karl Smithers, Tim Being economical with the truth assumption-based context management in the Edinburgh Designer System Bionics and artificial intelligence sigle Computer aided design (CAD) sigle Computer software sigle CAD/CAM systems Inference |
| title | Being economical with the truth assumption-based context management in the Edinburgh Designer System |
| title_auth | Being economical with the truth assumption-based context management in the Edinburgh Designer System |
| title_exact_search | Being economical with the truth assumption-based context management in the Edinburgh Designer System |
| title_full | Being economical with the truth assumption-based context management in the Edinburgh Designer System Brian Logan, Karl Millington and Tim Smithers |
| title_fullStr | Being economical with the truth assumption-based context management in the Edinburgh Designer System Brian Logan, Karl Millington and Tim Smithers |
| title_full_unstemmed | Being economical with the truth assumption-based context management in the Edinburgh Designer System Brian Logan, Karl Millington and Tim Smithers |
| title_short | Being economical with the truth |
| title_sort | being economical with the truth assumption based context management in the edinburgh designer system |
| title_sub | assumption-based context management in the Edinburgh Designer System |
| topic | Bionics and artificial intelligence sigle Computer aided design (CAD) sigle Computer software sigle CAD/CAM systems Inference |
| topic_facet | Bionics and artificial intelligence Computer aided design (CAD) Computer software CAD/CAM systems Inference |
| volume_link | (DE-604)BV010450646 |
| work_keys_str_mv | AT loganbrian beingeconomicalwiththetruthassumptionbasedcontextmanagementintheedinburghdesignersystem AT millingtonkarl beingeconomicalwiththetruthassumptionbasedcontextmanagementintheedinburghdesignersystem AT smitherstim beingeconomicalwiththetruthassumptionbasedcontextmanagementintheedinburghdesignersystem |