An abductive procedure for the CMS ATMS:
Abstract: "This paper concerns procedural semantics for a variety of ATMSs. Reiter & de Kleer view an ATMS as a kind of abduction in which the best explanation of a formula is defined as a minimal conjunction of hypotheses that explain the formula. However, they do not give any algorithm to...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Tokyo, Japan
1990
|
| Schriftenreihe: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
583 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "This paper concerns procedural semantics for a variety of ATMSs. Reiter & de Kleer view an ATMS as a kind of abduction in which the best explanation of a formula is defined as a minimal conjunction of hypotheses that explain the formula. However, they do not give any algorithm to compute such minimal explanations of a formula in their CMS that is a generalization of de Kleer's basic ATMS. In this paper, we use the notion of characteristic clauses to make precise definitions of the CMS and the ATMS and to produce a sound and complete abductive procedure based on an extension of linear resolution By means of this abductive procedure, we give the CMS algorithms for computing minimal explanations in the interpreted approach and for updating them in the compiled approach. We then present algorithms for generating and updating labels of nodes in an extended ATMS that accepts non-Horn justifications and literal assumptions. Finally, how a variation of the abductive procedure can be used to answer queries for circumscription of ground theories is presented. |
| Beschreibung: | 18 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010950067 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 960916s1990 |||| 00||| engod | ||
| 035 | |a (OCoLC)25180457 | ||
| 035 | |a (DE-599)BVBBV010950067 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Inoue, Katsumi |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a An abductive procedure for the CMS ATMS |c by K. Inoue |
| 264 | 1 | |a Tokyo, Japan |c 1990 | |
| 300 | |a 18 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 583 | |
| 520 | 3 | |a Abstract: "This paper concerns procedural semantics for a variety of ATMSs. Reiter & de Kleer view an ATMS as a kind of abduction in which the best explanation of a formula is defined as a minimal conjunction of hypotheses that explain the formula. However, they do not give any algorithm to compute such minimal explanations of a formula in their CMS that is a generalization of de Kleer's basic ATMS. In this paper, we use the notion of characteristic clauses to make precise definitions of the CMS and the ATMS and to produce a sound and complete abductive procedure based on an extension of linear resolution | |
| 520 | 3 | |a By means of this abductive procedure, we give the CMS algorithms for computing minimal explanations in the interpreted approach and for updating them in the compiled approach. We then present algorithms for generating and updating labels of nodes in an extended ATMS that accepts non-Horn justifications and literal assumptions. Finally, how a variation of the abductive procedure can be used to answer queries for circumscription of ground theories is presented. | |
| 650 | 4 | |a Abduction (Logic) | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 583 |w (DE-604)BV010923438 |9 583 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007323912 | ||
Datensatz im Suchindex
| _version_ | 1804125437247356929 |
|---|---|
| any_adam_object | |
| author | Inoue, Katsumi |
| author_facet | Inoue, Katsumi |
| author_role | aut |
| author_sort | Inoue, Katsumi |
| author_variant | k i ki |
| building | Verbundindex |
| bvnumber | BV010950067 |
| ctrlnum | (OCoLC)25180457 (DE-599)BVBBV010950067 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02001nam a2200301 cb4500</leader><controlfield tag="001">BV010950067</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960916s1990 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)25180457</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010950067</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">Inoue, Katsumi</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">An abductive procedure for the CMS ATMS</subfield><subfield code="c">by K. Inoue</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tokyo, Japan</subfield><subfield code="c">1990</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">Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report</subfield><subfield code="v">583</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "This paper concerns procedural semantics for a variety of ATMSs. Reiter & de Kleer view an ATMS as a kind of abduction in which the best explanation of a formula is defined as a minimal conjunction of hypotheses that explain the formula. However, they do not give any algorithm to compute such minimal explanations of a formula in their CMS that is a generalization of de Kleer's basic ATMS. In this paper, we use the notion of characteristic clauses to make precise definitions of the CMS and the ATMS and to produce a sound and complete abductive procedure based on an extension of linear resolution</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">By means of this abductive procedure, we give the CMS algorithms for computing minimal explanations in the interpreted approach and for updating them in the compiled approach. We then present algorithms for generating and updating labels of nodes in an extended ATMS that accepts non-Horn justifications and literal assumptions. Finally, how a variation of the abductive procedure can be used to answer queries for circumscription of ground theories is presented.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Abduction (Logic)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report</subfield><subfield code="v">583</subfield><subfield code="w">(DE-604)BV010923438</subfield><subfield code="9">583</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007323912</subfield></datafield></record></collection> |
| id | DE-604.BV010950067 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:01:33Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007323912 |
| oclc_num | 25180457 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 18 S. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| record_format | marc |
| series | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |
| series2 | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |
| spelling | Inoue, Katsumi Verfasser aut An abductive procedure for the CMS ATMS by K. Inoue Tokyo, Japan 1990 18 S. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 583 Abstract: "This paper concerns procedural semantics for a variety of ATMSs. Reiter & de Kleer view an ATMS as a kind of abduction in which the best explanation of a formula is defined as a minimal conjunction of hypotheses that explain the formula. However, they do not give any algorithm to compute such minimal explanations of a formula in their CMS that is a generalization of de Kleer's basic ATMS. In this paper, we use the notion of characteristic clauses to make precise definitions of the CMS and the ATMS and to produce a sound and complete abductive procedure based on an extension of linear resolution By means of this abductive procedure, we give the CMS algorithms for computing minimal explanations in the interpreted approach and for updating them in the compiled approach. We then present algorithms for generating and updating labels of nodes in an extended ATMS that accepts non-Horn justifications and literal assumptions. Finally, how a variation of the abductive procedure can be used to answer queries for circumscription of ground theories is presented. Abduction (Logic) Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 583 (DE-604)BV010923438 583 |
| spellingShingle | Inoue, Katsumi An abductive procedure for the CMS ATMS Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Abduction (Logic) |
| title | An abductive procedure for the CMS ATMS |
| title_auth | An abductive procedure for the CMS ATMS |
| title_exact_search | An abductive procedure for the CMS ATMS |
| title_full | An abductive procedure for the CMS ATMS by K. Inoue |
| title_fullStr | An abductive procedure for the CMS ATMS by K. Inoue |
| title_full_unstemmed | An abductive procedure for the CMS ATMS by K. Inoue |
| title_short | An abductive procedure for the CMS ATMS |
| title_sort | an abductive procedure for the cms atms |
| topic | Abduction (Logic) |
| topic_facet | Abduction (Logic) |
| volume_link | (DE-604)BV010923438 |
| work_keys_str_mv | AT inouekatsumi anabductiveprocedureforthecmsatms |