Experimental parallel inference software:
Abstract: "As tools to develop large scale intelligent systems, ICOT has developed parallel inference machines PIMs, a parallel logic programming language KL1 and an operating system PIMOS. In order to evaluate the appropriateness of these tools to the development of practical intelligent syste...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Tokyo, Japan
1992
|
| Schriftenreihe: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
773 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "As tools to develop large scale intelligent systems, ICOT has developed parallel inference machines PIMs, a parallel logic programming language KL1 and an operating system PIMOS. In order to evaluate the appropriateness of these tools to the development of practical intelligent systems, we have developed four application programs in KL1 -- the LSI-CAD system, the Genome Analysis System, the Legal Reasoning System and the Go Playing Game System --, [sic] and cooperating manufacturers have developed eight application programs. They cover a wide range of knowledge processing techniques such as case-based reasoning, model-based reasoning, qualitative reasoning and machine learning To obtain high performance from each application program, we have developed parallel programming techniques such as concurrent algorithms and load balancing. Moreover, we analyzed the performance of parallel programming technology theoretically. The result forms good guidelines for the selection of parallel programming techniques. We introduce each application program and the results of performance analysis, and discuss our experiences of parallel programming. |
| Beschreibung: | 25 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010956888 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 960919s1992 |||| 00||| engod | ||
| 035 | |a (OCoLC)27424355 | ||
| 035 | |a (DE-599)BVBBV010956888 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Nitta, Katsumi |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Experimental parallel inference software |c by K. Nitta, K. Taki & N. Ichiyoshi |
| 264 | 1 | |a Tokyo, Japan |c 1992 | |
| 300 | |a 25 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 773 | |
| 520 | 3 | |a Abstract: "As tools to develop large scale intelligent systems, ICOT has developed parallel inference machines PIMs, a parallel logic programming language KL1 and an operating system PIMOS. In order to evaluate the appropriateness of these tools to the development of practical intelligent systems, we have developed four application programs in KL1 -- the LSI-CAD system, the Genome Analysis System, the Legal Reasoning System and the Go Playing Game System --, [sic] and cooperating manufacturers have developed eight application programs. They cover a wide range of knowledge processing techniques such as case-based reasoning, model-based reasoning, qualitative reasoning and machine learning | |
| 520 | 3 | |a To obtain high performance from each application program, we have developed parallel programming techniques such as concurrent algorithms and load balancing. Moreover, we analyzed the performance of parallel programming technology theoretically. The result forms good guidelines for the selection of parallel programming techniques. We introduce each application program and the results of performance analysis, and discuss our experiences of parallel programming. | |
| 650 | 4 | |a KL1 (Computer program language) | |
| 650 | 4 | |a Logic programming | |
| 700 | 1 | |a Taki, Kazuo |e Verfasser |4 aut | |
| 700 | 1 | |a Ichiyoshi, Nobuyuki |e Verfasser |4 aut | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 773 |w (DE-604)BV010923438 |9 773 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007328978 | ||
Datensatz im Suchindex
| _version_ | 1804125444205707264 |
|---|---|
| any_adam_object | |
| author | Nitta, Katsumi Taki, Kazuo Ichiyoshi, Nobuyuki |
| author_facet | Nitta, Katsumi Taki, Kazuo Ichiyoshi, Nobuyuki |
| author_role | aut aut aut |
| author_sort | Nitta, Katsumi |
| author_variant | k n kn k t kt n i ni |
| building | Verbundindex |
| bvnumber | BV010956888 |
| ctrlnum | (OCoLC)27424355 (DE-599)BVBBV010956888 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02251nam a2200337 cb4500</leader><controlfield tag="001">BV010956888</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960919s1992 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)27424355</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010956888</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">Nitta, Katsumi</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Experimental parallel inference software</subfield><subfield code="c">by K. Nitta, K. Taki & N. Ichiyoshi</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tokyo, Japan</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">25 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">773</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "As tools to develop large scale intelligent systems, ICOT has developed parallel inference machines PIMs, a parallel logic programming language KL1 and an operating system PIMOS. In order to evaluate the appropriateness of these tools to the development of practical intelligent systems, we have developed four application programs in KL1 -- the LSI-CAD system, the Genome Analysis System, the Legal Reasoning System and the Go Playing Game System --, [sic] and cooperating manufacturers have developed eight application programs. They cover a wide range of knowledge processing techniques such as case-based reasoning, model-based reasoning, qualitative reasoning and machine learning</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">To obtain high performance from each application program, we have developed parallel programming techniques such as concurrent algorithms and load balancing. Moreover, we analyzed the performance of parallel programming technology theoretically. The result forms good guidelines for the selection of parallel programming techniques. We introduce each application program and the results of performance analysis, and discuss our experiences of parallel programming.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">KL1 (Computer program language)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Taki, Kazuo</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ichiyoshi, Nobuyuki</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">773</subfield><subfield code="w">(DE-604)BV010923438</subfield><subfield code="9">773</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007328978</subfield></datafield></record></collection> |
| id | DE-604.BV010956888 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:01:39Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007328978 |
| oclc_num | 27424355 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 25 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| 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 | Nitta, Katsumi Verfasser aut Experimental parallel inference software by K. Nitta, K. Taki & N. Ichiyoshi Tokyo, Japan 1992 25 S. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 773 Abstract: "As tools to develop large scale intelligent systems, ICOT has developed parallel inference machines PIMs, a parallel logic programming language KL1 and an operating system PIMOS. In order to evaluate the appropriateness of these tools to the development of practical intelligent systems, we have developed four application programs in KL1 -- the LSI-CAD system, the Genome Analysis System, the Legal Reasoning System and the Go Playing Game System --, [sic] and cooperating manufacturers have developed eight application programs. They cover a wide range of knowledge processing techniques such as case-based reasoning, model-based reasoning, qualitative reasoning and machine learning To obtain high performance from each application program, we have developed parallel programming techniques such as concurrent algorithms and load balancing. Moreover, we analyzed the performance of parallel programming technology theoretically. The result forms good guidelines for the selection of parallel programming techniques. We introduce each application program and the results of performance analysis, and discuss our experiences of parallel programming. KL1 (Computer program language) Logic programming Taki, Kazuo Verfasser aut Ichiyoshi, Nobuyuki Verfasser aut Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 773 (DE-604)BV010923438 773 |
| spellingShingle | Nitta, Katsumi Taki, Kazuo Ichiyoshi, Nobuyuki Experimental parallel inference software Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report KL1 (Computer program language) Logic programming |
| title | Experimental parallel inference software |
| title_auth | Experimental parallel inference software |
| title_exact_search | Experimental parallel inference software |
| title_full | Experimental parallel inference software by K. Nitta, K. Taki & N. Ichiyoshi |
| title_fullStr | Experimental parallel inference software by K. Nitta, K. Taki & N. Ichiyoshi |
| title_full_unstemmed | Experimental parallel inference software by K. Nitta, K. Taki & N. Ichiyoshi |
| title_short | Experimental parallel inference software |
| title_sort | experimental parallel inference software |
| topic | KL1 (Computer program language) Logic programming |
| topic_facet | KL1 (Computer program language) Logic programming |
| volume_link | (DE-604)BV010923438 |
| work_keys_str_mv | AT nittakatsumi experimentalparallelinferencesoftware AT takikazuo experimentalparallelinferencesoftware AT ichiyoshinobuyuki experimentalparallelinferencesoftware |