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...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Tokyo, Japan
1988
|
| Schriftenreihe: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum
640 |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010969991 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t| | ||
| 008 | 960924s1988 xx |||| 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 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007339738 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0111 2001 B 6122 |
|---|---|
| DE-BY-TUM_katkey | 767223 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010304142 |
| _version_ | 1820891864109154305 |
| 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>01646nam 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 xx |||| 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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007339738</subfield></datafield></record></collection> |
| id | DE-604.BV010969991 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-23T14:18:15Z |
| 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 |
| 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 |