Knowledge base system toward logic programming and parallel processing paradigms:
Gespeichert in:
| Beteiligte Personen: | , , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Tokyo, Japan
1988
|
| Schriftenreihe: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
435 |
| Schlagwörter: | |
| Abstract: | Abstract: "This paper describes about the research and development status of the knowledge base system in logic programming and the parallel processing paradigms at the end of the intermediate stage. Our aim is to realize a prototype of the fifth generation computer system in the final stage. It will consist of a parallel inference subsystem and a knowledge base subsystem. In the final stage, these subsystems will be integrated into the prototype of the FGCS by using the parallel logic programming kernel language, Guarded Horn Clauses, or GHC defined in ICOT in 1985 The points of this paper are shown as follows, the introduction, which describes the relationships among the systems, the knowledge base system on a sequential inference network, the distributed model of the knowledge base subsystem on distributed sequential inference machines connected by a local area network, the parallel model of the knowledge base subsystem on tightly coupled multiprocessors, the interface between the parallel logic programming language GHC and parallel knowledge base subsystem, the conclusion, which describes the direction of the FGSC. |
| Umfang: | 29 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010946804 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t| | ||
| 008 | 960912s1988 xx d||| |||| 00||| engod | ||
| 035 | |a (OCoLC)21184783 | ||
| 035 | |a (DE-599)BVBBV010946804 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Itoh, Hidenori |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Knowledge base system toward logic programming and parallel processing paradigms |c by H. Itoh, H. Monoi and H. Seki |
| 264 | 1 | |a Tokyo, Japan |c 1988 | |
| 300 | |a 29 S. |b graph. Darst. | ||
| 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 435 | |
| 520 | 3 | |a Abstract: "This paper describes about the research and development status of the knowledge base system in logic programming and the parallel processing paradigms at the end of the intermediate stage. Our aim is to realize a prototype of the fifth generation computer system in the final stage. It will consist of a parallel inference subsystem and a knowledge base subsystem. In the final stage, these subsystems will be integrated into the prototype of the FGCS by using the parallel logic programming kernel language, Guarded Horn Clauses, or GHC defined in ICOT in 1985 | |
| 520 | 3 | |a The points of this paper are shown as follows, the introduction, which describes the relationships among the systems, the knowledge base system on a sequential inference network, the distributed model of the knowledge base subsystem on distributed sequential inference machines connected by a local area network, the parallel model of the knowledge base subsystem on tightly coupled multiprocessors, the interface between the parallel logic programming language GHC and parallel knowledge base subsystem, the conclusion, which describes the direction of the FGSC. | |
| 650 | 4 | |a Expert systems (Computer science) | |
| 650 | 4 | |a GHC (Computer program language) | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Parallel processing (Electronic computers) | |
| 700 | 1 | |a Monoi, Hidetoshi |e Verfasser |4 aut | |
| 700 | 1 | |a Seki, Hirohisa |e Verfasser |4 aut | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 435 |w (DE-604)BV010923438 |9 435 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007321063 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0111 2001 B 6123-435 |
|---|---|
| DE-BY-TUM_katkey | 764971 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010278229 |
| _version_ | 1821938022777618433 |
| any_adam_object | |
| author | Itoh, Hidenori Monoi, Hidetoshi Seki, Hirohisa |
| author_facet | Itoh, Hidenori Monoi, Hidetoshi Seki, Hirohisa |
| author_role | aut aut aut |
| author_sort | Itoh, Hidenori |
| author_variant | h i hi h m hm h s hs |
| building | Verbundindex |
| bvnumber | BV010946804 |
| ctrlnum | (OCoLC)21184783 (DE-599)BVBBV010946804 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02388nam a2200361 cb4500</leader><controlfield tag="001">BV010946804</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960912s1988 xx d||| |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)21184783</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010946804</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">Itoh, Hidenori</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Knowledge base system toward logic programming and parallel processing paradigms</subfield><subfield code="c">by H. Itoh, H. Monoi and H. Seki</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">29 S.</subfield><subfield code="b">graph. Darst.</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">435</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "This paper describes about the research and development status of the knowledge base system in logic programming and the parallel processing paradigms at the end of the intermediate stage. Our aim is to realize a prototype of the fifth generation computer system in the final stage. It will consist of a parallel inference subsystem and a knowledge base subsystem. In the final stage, these subsystems will be integrated into the prototype of the FGCS by using the parallel logic programming kernel language, Guarded Horn Clauses, or GHC defined in ICOT in 1985</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">The points of this paper are shown as follows, the introduction, which describes the relationships among the systems, the knowledge base system on a sequential inference network, the distributed model of the knowledge base subsystem on distributed sequential inference machines connected by a local area network, the parallel model of the knowledge base subsystem on tightly coupled multiprocessors, the interface between the parallel logic programming language GHC and parallel knowledge base subsystem, the conclusion, which describes the direction of the FGSC.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Expert systems (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">GHC (Computer program language)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Monoi, Hidetoshi</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Seki, Hirohisa</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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">435</subfield><subfield code="w">(DE-604)BV010923438</subfield><subfield code="9">435</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007321063</subfield></datafield></record></collection> |
| id | DE-604.BV010946804 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T10:03:36Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007321063 |
| oclc_num | 21184783 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 29 S. graph. Darst. |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| 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 |
| spellingShingle | Itoh, Hidenori Monoi, Hidetoshi Seki, Hirohisa Knowledge base system toward logic programming and parallel processing paradigms Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Expert systems (Computer science) GHC (Computer program language) Logic programming Parallel processing (Electronic computers) |
| title | Knowledge base system toward logic programming and parallel processing paradigms |
| title_auth | Knowledge base system toward logic programming and parallel processing paradigms |
| title_exact_search | Knowledge base system toward logic programming and parallel processing paradigms |
| title_full | Knowledge base system toward logic programming and parallel processing paradigms by H. Itoh, H. Monoi and H. Seki |
| title_fullStr | Knowledge base system toward logic programming and parallel processing paradigms by H. Itoh, H. Monoi and H. Seki |
| title_full_unstemmed | Knowledge base system toward logic programming and parallel processing paradigms by H. Itoh, H. Monoi and H. Seki |
| title_short | Knowledge base system toward logic programming and parallel processing paradigms |
| title_sort | knowledge base system toward logic programming and parallel processing paradigms |
| topic | Expert systems (Computer science) GHC (Computer program language) Logic programming Parallel processing (Electronic computers) |
| topic_facet | Expert systems (Computer science) GHC (Computer program language) Logic programming Parallel processing (Electronic computers) |
| volume_link | (DE-604)BV010923438 |
| work_keys_str_mv | AT itohhidenori knowledgebasesystemtowardlogicprogrammingandparallelprocessingparadigms AT monoihidetoshi knowledgebasesystemtowardlogicprogrammingandparallelprocessingparadigms AT sekihirohisa knowledgebasesystemtowardlogicprogrammingandparallelprocessingparadigms |
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik, Berichte
| Signatur: |
0111 2001 B 6123-435 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |