Proof planning: a methodology for developing AI systems involving design
Abstract: "If we can express a domain theory in a logical formalism and formulate a task in that domain in mathematical terms, then this greatly facilitates the task of building sound knowledge based systems. However, it is not immediately obvious how the design aspects of such tasks, where the...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Edinburgh
1993
|
| Series: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
662 |
| Subjects: | |
| Summary: | Abstract: "If we can express a domain theory in a logical formalism and formulate a task in that domain in mathematical terms, then this greatly facilitates the task of building sound knowledge based systems. However, it is not immediately obvious how the design aspects of such tasks, where these are an important feature of problem-solving, can be incorporated in this approach. We have used a methodology based on the development of proof plans. The ability to conduct our research according to the Popperian framework of hypothesis, validation, testing, and modification in response to empirical evidence -- the hypothetico-deductive approach -- seems essential to any rigorous scientific endeavour. Proof planning, we believe, is a method which readily exploits this inherently incrementalist approach, and could prove a powerful tool in designing AI systems." |
| Physical Description: | 28 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010466333 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 951108s1993 |||| 00||| engod | ||
| 035 | |a (OCoLC)32006210 | ||
| 035 | |a (DE-599)BVBBV010466333 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Lowe, Helen |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Proof planning |b a methodology for developing AI systems involving design |
| 264 | 1 | |a Edinburgh |c 1993 | |
| 300 | |a 28 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 662 | |
| 520 | 3 | |a Abstract: "If we can express a domain theory in a logical formalism and formulate a task in that domain in mathematical terms, then this greatly facilitates the task of building sound knowledge based systems. However, it is not immediately obvious how the design aspects of such tasks, where these are an important feature of problem-solving, can be incorporated in this approach. We have used a methodology based on the development of proof plans. The ability to conduct our research according to the Popperian framework of hypothesis, validation, testing, and modification in response to empirical evidence -- the hypothetico-deductive approach -- seems essential to any rigorous scientific endeavour. Proof planning, we believe, is a method which readily exploits this inherently incrementalist approach, and could prove a powerful tool in designing AI systems." | |
| 650 | 7 | |a Bionics and artificial intelligence |2 sigle | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence | |
| 810 | 2 | |a Department of Artificial Intelligence: DAI research paper |t University <Edinburgh> |v 662 |w (DE-604)BV010450646 |9 662 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006974326 | ||
Record in the Search Index
| _version_ | 1804124899150659584 |
|---|---|
| any_adam_object | |
| author | Lowe, Helen |
| author_facet | Lowe, Helen |
| author_role | aut |
| author_sort | Lowe, Helen |
| author_variant | h l hl |
| building | Verbundindex |
| bvnumber | BV010466333 |
| ctrlnum | (OCoLC)32006210 (DE-599)BVBBV010466333 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01900nam a2200313 cb4500</leader><controlfield tag="001">BV010466333</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951108s1993 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)32006210</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010466333</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">Lowe, Helen</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proof planning</subfield><subfield code="b">a methodology for developing AI systems involving design</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">28 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">662</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "If we can express a domain theory in a logical formalism and formulate a task in that domain in mathematical terms, then this greatly facilitates the task of building sound knowledge based systems. However, it is not immediately obvious how the design aspects of such tasks, where these are an important feature of problem-solving, can be incorporated in this approach. We have used a methodology based on the development of proof plans. The ability to conduct our research according to the Popperian framework of hypothesis, validation, testing, and modification in response to empirical evidence -- the hypothetico-deductive approach -- seems essential to any rigorous scientific endeavour. Proof planning, we believe, is a method which readily exploits this inherently incrementalist approach, and could prove a powerful tool in designing AI systems."</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="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</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">662</subfield><subfield code="w">(DE-604)BV010450646</subfield><subfield code="9">662</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006974326</subfield></datafield></record></collection> |
| id | DE-604.BV010466333 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:52:59Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006974326 |
| oclc_num | 32006210 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 28 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |
| spelling | Lowe, Helen Verfasser aut Proof planning a methodology for developing AI systems involving design Edinburgh 1993 28 S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 662 Abstract: "If we can express a domain theory in a logical formalism and formulate a task in that domain in mathematical terms, then this greatly facilitates the task of building sound knowledge based systems. However, it is not immediately obvious how the design aspects of such tasks, where these are an important feature of problem-solving, can be incorporated in this approach. We have used a methodology based on the development of proof plans. The ability to conduct our research according to the Popperian framework of hypothesis, validation, testing, and modification in response to empirical evidence -- the hypothetico-deductive approach -- seems essential to any rigorous scientific endeavour. Proof planning, we believe, is a method which readily exploits this inherently incrementalist approach, and could prove a powerful tool in designing AI systems." Bionics and artificial intelligence sigle Künstliche Intelligenz Artificial intelligence Department of Artificial Intelligence: DAI research paper University <Edinburgh> 662 (DE-604)BV010450646 662 |
| spellingShingle | Lowe, Helen Proof planning a methodology for developing AI systems involving design Bionics and artificial intelligence sigle Künstliche Intelligenz Artificial intelligence |
| title | Proof planning a methodology for developing AI systems involving design |
| title_auth | Proof planning a methodology for developing AI systems involving design |
| title_exact_search | Proof planning a methodology for developing AI systems involving design |
| title_full | Proof planning a methodology for developing AI systems involving design |
| title_fullStr | Proof planning a methodology for developing AI systems involving design |
| title_full_unstemmed | Proof planning a methodology for developing AI systems involving design |
| title_short | Proof planning |
| title_sort | proof planning a methodology for developing ai systems involving design |
| title_sub | a methodology for developing AI systems involving design |
| topic | Bionics and artificial intelligence sigle Künstliche Intelligenz Artificial intelligence |
| topic_facet | Bionics and artificial intelligence Künstliche Intelligenz Artificial intelligence |
| volume_link | (DE-604)BV010450646 |
| work_keys_str_mv | AT lowehelen proofplanningamethodologyfordevelopingaisystemsinvolvingdesign |