登入選單
返回Google圖書搜尋
出版Institute for New Generation Computer Technology, 1992
URLhttp://books.google.com.hk/books?id=D6pDGwAACAAJ&hl=&source=gbs_api
註釋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