A connotative treatment of circumscription:
Abstract: "Circumscription proposed by McCarthy is one of the most hopeful formalization 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 predi...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Tokyo, Japan
1988
|
| Series: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum
640 |
| Subjects: | |
| Summary: | Abstract: "Circumscription proposed by McCarthy is one of the most hopeful formalization 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. On such treatment, this paper considers three problems; absence of abnormal things, a limitation on equality and formalization of the unique name assumption. And it 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 certain predicates." |
| Physical Description: | 9 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010969991 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 960924s1988 |||| 00||| engod | ||
| 035 | |a (OCoLC)21318826 | ||
| 035 | |a (DE-599)BVBBV010969991 | ||
| 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 |c by J. Arima |
| 264 | 1 | |a Tokyo, Japan |c 1988 | |
| 300 | |a 9 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 memorandum |v 640 | |
| 520 | 3 | |a Abstract: "Circumscription proposed by McCarthy is one of the most hopeful formalization 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. On such treatment, this paper considers three problems; absence of abnormal things, a limitation on equality and formalization of the unique name assumption. And it 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 certain predicates." | |
| 650 | 4 | |a Computational linguistics | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum |v 640 |w (DE-604)BV010943497 |9 640 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007339738 | ||
Record in the Search Index
| _version_ | 1804125457834049537 |
|---|---|
| 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 | BV010969991 |
| ctrlnum | (OCoLC)21318826 (DE-599)BVBBV010969991 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01645nam a2200289 cb4500</leader><controlfield tag="001">BV010969991</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960924s1988 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)21318826</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010969991</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="c">by J. Arima</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tokyo, Japan</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">9 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 memorandum</subfield><subfield code="v">640</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Circumscription proposed by McCarthy is one of the most hopeful formalization 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. On such treatment, this paper considers three problems; absence of abnormal things, a limitation on equality and formalization of the unique name assumption. And it 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 certain predicates."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational linguistics</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum</subfield><subfield code="v">640</subfield><subfield code="w">(DE-604)BV010943497</subfield><subfield code="9">640</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007339738</subfield></datafield></record></collection> |
| id | DE-604.BV010969991 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:01:52Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007339738 |
| oclc_num | 21318826 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 9 S. |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| record_format | marc |
| series | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum |
| series2 | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum |
| spelling | Arima, Jun Verfasser aut A connotative treatment of circumscription by J. Arima Tokyo, Japan 1988 9 S. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum 640 Abstract: "Circumscription proposed by McCarthy is one of the most hopeful formalization 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. On such treatment, this paper considers three problems; absence of abnormal things, a limitation on equality and formalization of the unique name assumption. And it 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 certain predicates." Computational linguistics Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum 640 (DE-604)BV010943497 640 |
| spellingShingle | Arima, Jun A connotative treatment of circumscription Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum Computational linguistics |
| title | A connotative treatment of circumscription |
| title_auth | A connotative treatment of circumscription |
| title_exact_search | A connotative treatment of circumscription |
| title_full | A connotative treatment of circumscription by J. Arima |
| title_fullStr | A connotative treatment of circumscription by J. Arima |
| title_full_unstemmed | A connotative treatment of circumscription by J. Arima |
| title_short | A connotative treatment of circumscription |
| title_sort | a connotative treatment of circumscription |
| topic | Computational linguistics |
| topic_facet | Computational linguistics |
| volume_link | (DE-604)BV010943497 |
| work_keys_str_mv | AT arimajun aconnotativetreatmentofcircumscription |