@techreport{oai:ipsj.ixsq.nii.ac.jp:00051402,
 author = {外山, 勝彦 and 稲垣, 康善 and Katsuhiko, Toyama and Yasuyoshi, Inagaki},
 issue = {3(1986-ICS-050)},
 month = {Jan},
 note = {本論文では，知識を一階述語論理の閉じた論理式で表現し，知識ベースをtheoryと考えて，知識ベース更新のより自然なモデルを与える．すなわち，Faginらが与えたtheoryの更新のモデルを拡張し，theoryの結合を定義する．さらに，Faginらが用いたlogical databaseの結合を定義して，Faginらの知識の挿入の概念がlogical databaseの結合の特別な場合であることを示す．, 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.},
 title = {知識ベースの結合の意味論モデル},
 year = {1987}
}