A connotative treatment of circumscription: (preliminary report)
Abstract: "Circumscription proposed by McCarthy is one of the most hopeful formalizations of nonmonotonic aspects of commonsense reasoning. It has several versions, however, they are all proposed for denotative minimization of predicates, that is, circumscription minimizes the extension of pred...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Tokyo, Japan
1989
|
| Series: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
484 |
| Subjects: | |
| Summary: | Abstract: "Circumscription proposed by McCarthy is one of the most hopeful formalizations of nonmonotonic aspects of commonsense reasoning. It has several versions, however, they are all proposed for denotative minimization of predicates, that is, circumscription minimizes the extension of predicates. Regarding such treatment, this paper considers three problems; absence of abnormal things, a limitation on equality and formalization of the unique name assumption. This paper proposes a solution for them by presenting a connotative treatment of circumscription. This treatment is based on the idea of circumscribing predicates connotatively, that is, minimizing the set of names denoting objects which satisfy a certain predicate." |
| Physical Description: | 10 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010948506 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 960913s1989 |||| 00||| engod | ||
| 035 | |a (OCoLC)22745174 | ||
| 035 | |a (DE-599)BVBBV010948506 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Arima, Jun |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A connotative treatment of circumscription |b (preliminary report) |c by J. Arima |
| 264 | 1 | |a Tokyo, Japan |c 1989 | |
| 300 | |a 10 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 484 | |
| 520 | 3 | |a Abstract: "Circumscription proposed by McCarthy is one of the most hopeful formalizations of nonmonotonic aspects of commonsense reasoning. It has several versions, however, they are all proposed for denotative minimization of predicates, that is, circumscription minimizes the extension of predicates. Regarding such treatment, this paper considers three problems; absence of abnormal things, a limitation on equality and formalization of the unique name assumption. This paper proposes a solution for them by presenting a connotative treatment of circumscription. This treatment is based on the idea of circumscribing predicates connotatively, that is, minimizing the set of names denoting objects which satisfy a certain predicate." | |
| 650 | 4 | |a Reasoning | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 484 |w (DE-604)BV010923438 |9 484 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007322541 | ||
Record in the Search Index
| _version_ | 1804125435357822976 |
|---|---|
| any_adam_object | |
| author | Arima, Jun |
| author_facet | Arima, Jun |
| author_role | aut |
| author_sort | Arima, Jun |
| author_variant | j a ja |
| building | Verbundindex |
| bvnumber | BV010948506 |
| ctrlnum | (OCoLC)22745174 (DE-599)BVBBV010948506 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01657nam a2200289 cb4500</leader><controlfield tag="001">BV010948506</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960913s1989 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)22745174</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010948506</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">Arima, Jun</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A connotative treatment of circumscription</subfield><subfield code="b">(preliminary report)</subfield><subfield code="c">by J. Arima</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tokyo, Japan</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">10 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">484</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Circumscription proposed by McCarthy is one of the most hopeful formalizations of nonmonotonic aspects of commonsense reasoning. It has several versions, however, they are all proposed for denotative minimization of predicates, that is, circumscription minimizes the extension of predicates. Regarding such treatment, this paper considers three problems; absence of abnormal things, a limitation on equality and formalization of the unique name assumption. This paper proposes a solution for them by presenting a connotative treatment of circumscription. This treatment is based on the idea of circumscribing predicates connotatively, that is, minimizing the set of names denoting objects which satisfy a certain predicate."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reasoning</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">484</subfield><subfield code="w">(DE-604)BV010923438</subfield><subfield code="9">484</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007322541</subfield></datafield></record></collection> |
| id | DE-604.BV010948506 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:01:31Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007322541 |
| oclc_num | 22745174 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 10 S. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| 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 | Arima, Jun Verfasser aut A connotative treatment of circumscription (preliminary report) by J. Arima Tokyo, Japan 1989 10 S. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 484 Abstract: "Circumscription proposed by McCarthy is one of the most hopeful formalizations of nonmonotonic aspects of commonsense reasoning. It has several versions, however, they are all proposed for denotative minimization of predicates, that is, circumscription minimizes the extension of predicates. Regarding such treatment, this paper considers three problems; absence of abnormal things, a limitation on equality and formalization of the unique name assumption. This paper proposes a solution for them by presenting a connotative treatment of circumscription. This treatment is based on the idea of circumscribing predicates connotatively, that is, minimizing the set of names denoting objects which satisfy a certain predicate." Reasoning Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 484 (DE-604)BV010923438 484 |
| spellingShingle | Arima, Jun A connotative treatment of circumscription (preliminary report) Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Reasoning |
| title | A connotative treatment of circumscription (preliminary report) |
| title_auth | A connotative treatment of circumscription (preliminary report) |
| title_exact_search | A connotative treatment of circumscription (preliminary report) |
| title_full | A connotative treatment of circumscription (preliminary report) by J. Arima |
| title_fullStr | A connotative treatment of circumscription (preliminary report) by J. Arima |
| title_full_unstemmed | A connotative treatment of circumscription (preliminary report) by J. Arima |
| title_short | A connotative treatment of circumscription |
| title_sort | a connotative treatment of circumscription preliminary report |
| title_sub | (preliminary report) |
| topic | Reasoning |
| topic_facet | Reasoning |
| volume_link | (DE-604)BV010923438 |
| work_keys_str_mv | AT arimajun aconnotativetreatmentofcircumscriptionpreliminaryreport |