Using reason maintenance systems to support ill structured problem solving:
Abstract: "Problem solving systems incorporating a truth or reason maintenance component have been developed for a number of different domains, including hypothetical reasoning, diagnosis, planning and circuit design. Almost without exception, the problems addressed by these systems are well st...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Edinburgh
1992
|
| Series: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
596 |
| Subjects: | |
| Summary: | Abstract: "Problem solving systems incorporating a truth or reason maintenance component have been developed for a number of different domains, including hypothetical reasoning, diagnosis, planning and circuit design. Almost without exception, the problems addressed by these systems are well structured, that is, there exists a complete and consistent statement of the problem requirements when problem solving begins. In this paper we argue that RMS (and in particular assumption-based truth maintenance systems) can also be applied to ill-structured problems. We describe a hybrid ATMS-blackboard architecture which has been employed in the development of a number of design support systems in different domains and briefly outline some of the questions raised by our experience with the architecture." |
| Physical Description: | 16 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010459872 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 951031s1992 |||| 00||| engod | ||
| 035 | |a (OCoLC)31445713 | ||
| 035 | |a (DE-599)BVBBV010459872 | ||
| 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 Using reason maintenance systems to support ill structured problem solving |c Brian Logan, David Corne and Tim Smithers |
| 264 | 1 | |a Edinburgh |c 1992 | |
| 300 | |a 16 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 596 | |
| 520 | 3 | |a Abstract: "Problem solving systems incorporating a truth or reason maintenance component have been developed for a number of different domains, including hypothetical reasoning, diagnosis, planning and circuit design. Almost without exception, the problems addressed by these systems are well structured, that is, there exists a complete and consistent statement of the problem requirements when problem solving begins. In this paper we argue that RMS (and in particular assumption-based truth maintenance systems) can also be applied to ill-structured problems. We describe a hybrid ATMS-blackboard architecture which has been employed in the development of a number of design support systems in different domains and briefly outline some of the questions raised by our experience with the architecture." | |
| 650 | 7 | |a Bionics and artificial intelligence |2 sigle | |
| 650 | 7 | |a Computer aided design (CAD) |2 sigle | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence | |
| 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 596 |w (DE-604)BV010450646 |9 596 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006968827 | ||
Record in the Search Index
| _version_ | 1804124891007418368 |
|---|---|
| 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 | BV010459872 |
| ctrlnum | (OCoLC)31445713 (DE-599)BVBBV010459872 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02054nam a2200349 cb4500</leader><controlfield tag="001">BV010459872</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)31445713</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010459872</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">Using reason maintenance systems to support ill structured problem solving</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">16 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">596</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Problem solving systems incorporating a truth or reason maintenance component have been developed for a number of different domains, including hypothetical reasoning, diagnosis, planning and circuit design. Almost without exception, the problems addressed by these systems are well structured, that is, there exists a complete and consistent statement of the problem requirements when problem solving begins. In this paper we argue that RMS (and in particular assumption-based truth maintenance systems) can also be applied to ill-structured problems. We describe a hybrid ATMS-blackboard architecture which has been employed in the development of a number of design support systems in different domains and briefly outline some of the questions raised by our experience with the architecture."</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">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</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">596</subfield><subfield code="w">(DE-604)BV010450646</subfield><subfield code="9">596</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006968827</subfield></datafield></record></collection> |
| id | DE-604.BV010459872 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:52:52Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006968827 |
| oclc_num | 31445713 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 16 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 Using reason maintenance systems to support ill structured problem solving Brian Logan, David Corne and Tim Smithers Edinburgh 1992 16 S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 596 Abstract: "Problem solving systems incorporating a truth or reason maintenance component have been developed for a number of different domains, including hypothetical reasoning, diagnosis, planning and circuit design. Almost without exception, the problems addressed by these systems are well structured, that is, there exists a complete and consistent statement of the problem requirements when problem solving begins. In this paper we argue that RMS (and in particular assumption-based truth maintenance systems) can also be applied to ill-structured problems. We describe a hybrid ATMS-blackboard architecture which has been employed in the development of a number of design support systems in different domains and briefly outline some of the questions raised by our experience with the architecture." Bionics and artificial intelligence sigle Computer aided design (CAD) sigle Künstliche Intelligenz Artificial intelligence Corne, David 1962- Verfasser (DE-588)12041399X aut Smithers, Tim Verfasser aut Department of Artificial Intelligence: DAI research paper University <Edinburgh> 596 (DE-604)BV010450646 596 |
| spellingShingle | Logan, Brian Corne, David 1962- Smithers, Tim Using reason maintenance systems to support ill structured problem solving Bionics and artificial intelligence sigle Computer aided design (CAD) sigle Künstliche Intelligenz Artificial intelligence |
| title | Using reason maintenance systems to support ill structured problem solving |
| title_auth | Using reason maintenance systems to support ill structured problem solving |
| title_exact_search | Using reason maintenance systems to support ill structured problem solving |
| title_full | Using reason maintenance systems to support ill structured problem solving Brian Logan, David Corne and Tim Smithers |
| title_fullStr | Using reason maintenance systems to support ill structured problem solving Brian Logan, David Corne and Tim Smithers |
| title_full_unstemmed | Using reason maintenance systems to support ill structured problem solving Brian Logan, David Corne and Tim Smithers |
| title_short | Using reason maintenance systems to support ill structured problem solving |
| title_sort | using reason maintenance systems to support ill structured problem solving |
| topic | Bionics and artificial intelligence sigle Computer aided design (CAD) sigle Künstliche Intelligenz Artificial intelligence |
| topic_facet | Bionics and artificial intelligence Computer aided design (CAD) Künstliche Intelligenz Artificial intelligence |
| volume_link | (DE-604)BV010450646 |
| work_keys_str_mv | AT loganbrian usingreasonmaintenancesystemstosupportillstructuredproblemsolving AT cornedavid usingreasonmaintenancesystemstosupportillstructuredproblemsolving AT smitherstim usingreasonmaintenancesystemstosupportillstructuredproblemsolving |