制約付き性質継承に関する並列アルゴリズム

• Item type: SIG Technical Reports(1)
• 公開日: 1988-07-07
• タイトル: 制約付き性質継承に関する並列アルゴリズム
• タイトル / 言語: en
• タイトル: A Parallel Algorithm for Inheritance Hierarchies with Constraints
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: （財）新世代コンピュータ技術開発機構
• 著者所属: （財）新世代コンピュータ技術開発機構
• 著者所属: （財）新世代コンピュータ技術開発機構
• 著者所属(英): en
• 著者所属(英): ICOT Research Center
• 著者所属(英): en
• 著者所属(英): ICOT Research Center
• 著者所属(英): en
• 著者所属(英): ICOT Research Center
• 著者名: 毛受哲; 伊藤, 英則; 森田, 幸伯
• 著者名(英): Satoshi, Menju; Hidenori, Itoh; Yukihiro, Morita
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 例外のある多重継承に関して今まで色々な研究がされてきたが、それらはリンクがあれば無条件に推論できるものと考えていた。しかし、動的な情報や時制を 表現しようとするには、それでは不十分である。これに対し、制約の概念を意味ネットワークに導入することは有効である。また、知識は表現するだけではなく、効率良く扱えることも必要である。本論文では継承階層ネットワーク及び制約付き継承階層ネットワークについて述べた後、後者に対する並列推論アルゴリズムを示し、並列論理型言語GHCによる実現について述べる。これは、Touretzkyらの定義する信心的な解の1つを求めるものの拡張である。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This paper introduces the concept of constraints in multiple inheritance hierarchies with exceptions. We add constraints to the links of inheritance networks, then consider links with satisfied constraints only, ignoring links with unsatisfied constraints. This method can increase the expressive power. This paper also describes a parallel algorithm for inheritance hierarchies with constraints. It terminates in O(n) time, where n is the length of the longest path of an inheritance network including constraints. The algorithm obtains one of the solutions produced by the credulous reasoners of Touretzky and Etherington. We also implement the algorithm in a parallel logic programming language, Guarded Horn Clauses (GHC).
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11135936
• 書誌情報: 情報処理学会研究報告知能と複雑系（ICS）; 巻 1988, 号 44(1988-ICS-059), p. 47-56, 発行日 1988-07-07
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会