Boolean-valued logic programming language scheme LIFE-III:
Abstract: "We define the notion of logic-oriented inferential framework extension LIFE-III as an AI language scheme and prove the theoretical background. Especially, the concept of Boolean-valued relativized completeness, which will play an important role in many fields of AI, is proposed and i...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Tokyo, Japan
1991
|
| Series: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
639 |
| Subjects: | |
| Summary: | Abstract: "We define the notion of logic-oriented inferential framework extension LIFE-III as an AI language scheme and prove the theoretical background. Especially, the concept of Boolean-valued relativized completeness, which will play an important role in many fields of AI, is proposed and it is systematically studied that what kinds of relativized completeness are satisfied by LIFE-III." |
| Physical Description: | 148 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010953994 | ||
| 003 | DE-604 | ||
| 005 | 20010627 | ||
| 007 | t | ||
| 008 | 960917s1991 |||| 00||| engod | ||
| 035 | |a (OCoLC)25180459 | ||
| 035 | |a (DE-599)BVBBV010953994 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 364f |2 stub | ||
| 100 | 1 | |a Yamaguchi, Jinsei |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Boolean-valued logic programming language scheme LIFE-III |c by J. Yamaguchi |
| 264 | 1 | |a Tokyo, Japan |c 1991 | |
| 300 | |a 148 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 639 | |
| 520 | 3 | |a Abstract: "We define the notion of logic-oriented inferential framework extension LIFE-III as an AI language scheme and prove the theoretical background. Especially, the concept of Boolean-valued relativized completeness, which will play an important role in many fields of AI, is proposed and it is systematically studied that what kinds of relativized completeness are satisfied by LIFE-III." | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Completeness theorem | |
| 650 | 4 | |a Logic programming | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 639 |w (DE-604)BV010923438 |9 639 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007326407 | ||
Record in the Search Index
| _version_ | 1804125440858652673 |
|---|---|
| any_adam_object | |
| author | Yamaguchi, Jinsei |
| author_facet | Yamaguchi, Jinsei |
| author_role | aut |
| author_sort | Yamaguchi, Jinsei |
| author_variant | j y jy |
| building | Verbundindex |
| bvnumber | BV010953994 |
| classification_tum | DAT 706f DAT 364f |
| ctrlnum | (OCoLC)25180459 (DE-599)BVBBV010953994 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01504nam a2200349 cb4500</leader><controlfield tag="001">BV010953994</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010627 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960917s1991 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)25180459</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010953994</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="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 364f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Yamaguchi, Jinsei</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Boolean-valued logic programming language scheme LIFE-III</subfield><subfield code="c">by J. Yamaguchi</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tokyo, Japan</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">148 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">639</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We define the notion of logic-oriented inferential framework extension LIFE-III as an AI language scheme and prove the theoretical background. Especially, the concept of Boolean-valued relativized completeness, which will play an important role in many fields of AI, is proposed and it is systematically studied that what kinds of relativized completeness are satisfied by LIFE-III."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Completeness theorem</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</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">639</subfield><subfield code="w">(DE-604)BV010923438</subfield><subfield code="9">639</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007326407</subfield></datafield></record></collection> |
| id | DE-604.BV010953994 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:01:36Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007326407 |
| oclc_num | 25180459 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 148 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| 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 | Yamaguchi, Jinsei Verfasser aut Boolean-valued logic programming language scheme LIFE-III by J. Yamaguchi Tokyo, Japan 1991 148 S. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 639 Abstract: "We define the notion of logic-oriented inferential framework extension LIFE-III as an AI language scheme and prove the theoretical background. Especially, the concept of Boolean-valued relativized completeness, which will play an important role in many fields of AI, is proposed and it is systematically studied that what kinds of relativized completeness are satisfied by LIFE-III." Künstliche Intelligenz Artificial intelligence Completeness theorem Logic programming Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 639 (DE-604)BV010923438 639 |
| spellingShingle | Yamaguchi, Jinsei Boolean-valued logic programming language scheme LIFE-III Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Künstliche Intelligenz Artificial intelligence Completeness theorem Logic programming |
| title | Boolean-valued logic programming language scheme LIFE-III |
| title_auth | Boolean-valued logic programming language scheme LIFE-III |
| title_exact_search | Boolean-valued logic programming language scheme LIFE-III |
| title_full | Boolean-valued logic programming language scheme LIFE-III by J. Yamaguchi |
| title_fullStr | Boolean-valued logic programming language scheme LIFE-III by J. Yamaguchi |
| title_full_unstemmed | Boolean-valued logic programming language scheme LIFE-III by J. Yamaguchi |
| title_short | Boolean-valued logic programming language scheme LIFE-III |
| title_sort | boolean valued logic programming language scheme life iii |
| topic | Künstliche Intelligenz Artificial intelligence Completeness theorem Logic programming |
| topic_facet | Künstliche Intelligenz Artificial intelligence Completeness theorem Logic programming |
| volume_link | (DE-604)BV010923438 |
| work_keys_str_mv | AT yamaguchijinsei booleanvaluedlogicprogramminglanguageschemelifeiii |