The use of theorem proving techniques in expert systems for configuration:
Abstract: "The difficulties involved in maintaining large knowledge bases for configuration and order checking tasks are well known. An important factor in overcoming these is the clean separation of object- level facts from meta-level control and heuristic knowledge. We outline how object-leve...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Edinburgh
1991
|
| Series: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
536 |
| Subjects: | |
| Summary: | Abstract: "The difficulties involved in maintaining large knowledge bases for configuration and order checking tasks are well known. An important factor in overcoming these is the clean separation of object- level facts from meta-level control and heuristic knowledge. We outline how object-level knowledge may be extracted and formally represented in such a way as to allow the utilization of techniques analogous to program synthesis, to perform tasks such as synthesizing computer systems which meet specifications Such an approach makes the task of maintaining knowledge bases more tractable and reliable; the consequent separation of object-level knowledge from heuristics and control knowledge increases the utility of the knowledge base. |
| Physical Description: | [11] S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010453817 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 951030s1991 |||| 00||| engod | ||
| 035 | |a (OCoLC)25807960 | ||
| 035 | |a (DE-599)BVBBV010453817 | ||
| 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 The use of theorem proving techniques in expert systems for configuration |
| 264 | 1 | |a Edinburgh |c 1991 | |
| 300 | |a [11] 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 536 | |
| 520 | 3 | |a Abstract: "The difficulties involved in maintaining large knowledge bases for configuration and order checking tasks are well known. An important factor in overcoming these is the clean separation of object- level facts from meta-level control and heuristic knowledge. We outline how object-level knowledge may be extracted and formally represented in such a way as to allow the utilization of techniques analogous to program synthesis, to perform tasks such as synthesizing computer systems which meet specifications | |
| 520 | 3 | |a Such an approach makes the task of maintaining knowledge bases more tractable and reliable; the consequent separation of object-level knowledge from heuristics and control knowledge increases the utility of the knowledge base. | |
| 650 | 7 | |a Computer software |2 sigle | |
| 650 | 4 | |a Automatic theorem proving | |
| 650 | 4 | |a Expert systems (Computer science) | |
| 810 | 2 | |a Department of Artificial Intelligence: DAI research paper |t University <Edinburgh> |v 536 |w (DE-604)BV010450646 |9 536 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006966537 | ||
Record in the Search Index
| _version_ | 1804124887405559808 |
|---|---|
| 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 | BV010453817 |
| ctrlnum | (OCoLC)25807960 (DE-599)BVBBV010453817 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01796nam a2200325 cb4500</leader><controlfield tag="001">BV010453817</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)25807960</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010453817</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">The use of theorem proving techniques in expert systems for configuration</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">[11] 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">536</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The difficulties involved in maintaining large knowledge bases for configuration and order checking tasks are well known. An important factor in overcoming these is the clean separation of object- level facts from meta-level control and heuristic knowledge. We outline how object-level knowledge may be extracted and formally represented in such a way as to allow the utilization of techniques analogous to program synthesis, to perform tasks such as synthesizing computer systems which meet specifications</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Such an approach makes the task of maintaining knowledge bases more tractable and reliable; the consequent separation of object-level knowledge from heuristics and control knowledge increases the utility of the knowledge base.</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">Automatic theorem proving</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Expert systems (Computer science)</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">536</subfield><subfield code="w">(DE-604)BV010450646</subfield><subfield code="9">536</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006966537</subfield></datafield></record></collection> |
| id | DE-604.BV010453817 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:52:48Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006966537 |
| oclc_num | 25807960 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | [11] S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |
| spelling | Lowe, Helen Verfasser aut The use of theorem proving techniques in expert systems for configuration Edinburgh 1991 [11] S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 536 Abstract: "The difficulties involved in maintaining large knowledge bases for configuration and order checking tasks are well known. An important factor in overcoming these is the clean separation of object- level facts from meta-level control and heuristic knowledge. We outline how object-level knowledge may be extracted and formally represented in such a way as to allow the utilization of techniques analogous to program synthesis, to perform tasks such as synthesizing computer systems which meet specifications Such an approach makes the task of maintaining knowledge bases more tractable and reliable; the consequent separation of object-level knowledge from heuristics and control knowledge increases the utility of the knowledge base. Computer software sigle Automatic theorem proving Expert systems (Computer science) Department of Artificial Intelligence: DAI research paper University <Edinburgh> 536 (DE-604)BV010450646 536 |
| spellingShingle | Lowe, Helen The use of theorem proving techniques in expert systems for configuration Computer software sigle Automatic theorem proving Expert systems (Computer science) |
| title | The use of theorem proving techniques in expert systems for configuration |
| title_auth | The use of theorem proving techniques in expert systems for configuration |
| title_exact_search | The use of theorem proving techniques in expert systems for configuration |
| title_full | The use of theorem proving techniques in expert systems for configuration |
| title_fullStr | The use of theorem proving techniques in expert systems for configuration |
| title_full_unstemmed | The use of theorem proving techniques in expert systems for configuration |
| title_short | The use of theorem proving techniques in expert systems for configuration |
| title_sort | the use of theorem proving techniques in expert systems for configuration |
| topic | Computer software sigle Automatic theorem proving Expert systems (Computer science) |
| topic_facet | Computer software Automatic theorem proving Expert systems (Computer science) |
| volume_link | (DE-604)BV010450646 |
| work_keys_str_mv | AT lowehelen theuseoftheoremprovingtechniquesinexpertsystemsforconfiguration |