知識ベースの結合の意味論モデル

• Item type: SIG Technical Reports(1)
• 公開日: 1987-01-16
• タイトル: 知識ベースの結合の意味論モデル
• タイトル / 言語: en
• タイトル: On the Semantics of Joins of Knowledge Bases
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 名古屋大学工学部
• 著者所属: 名古屋大学工学部
• 著者所属(英): en
• 著者所属(英): School of Engineering, Nagoya University
• 著者所属(英): en
• 著者所属(英): School of Engineering, Nagoya University
• 著者名: 外山, 勝彦; 稲垣, 康善
• 著者名(英): Katsuhiko, Toyama; Yasuyoshi, Inagaki
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本論文では，知識を一階述語論理の閉じた論理式で表現し，知識ベースをtheoryと考えて，知識ベース更新のより自然なモデルを与える．すなわち，Faginらが与えたtheoryの更新のモデルを拡張し，theoryの結合を定義する．さらに，Faginらが用いたlogical databaseの結合を定義して，Faginらの知識の挿入の概念がlogical databaseの結合の特別な場合であることを示す．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this paper we propose a more natural model of updates of knowledge bases, where we represent a knowledge as a closed formula of first-order logic and consider a knowledge base as a theory. To do this we extend the model of updates of theories proposed by Fagin et al., and define joins of theories. Furthermore we extend the concept of join to treat logical databases of Fagin et al. and show that we can formulate the insertion of theories of Fagin et al. as a special case of the join of logical databases.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11135936
• 書誌情報: 情報処理学会研究報告知能と複雑系（ICS）; 巻 1987, 号 3(1986-ICS-050), p. 1-8, 発行日 1987-01-16
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会