文献

J-GLOBAL ID：201802223183046008   整理番号：18A0837579

安全な誘導と知識表現におけるその応用【JST・京大機械翻訳】

Safe inductions and their applications in knowledge representation

著者 (4件)： Bogaerts Bart (Department of Computer Science, KU Leuven, 3001 Heverlee, Belgium) ,  Vennekens Joost (Department of Computer Science, KU Leuven, 3001 Heverlee, Belgium) ,  Vennekens Joost (Department of Computer Science, KU Leuven, Campus De Nayer, 2860 Sint-Katelijne-Waver, Belgium) ,  Denecker Marc (Department of Computer Science, KU Leuven, 3001 Heverlee, Belgium)
資料名： Artificial Intelligence  (Artificial Intelligence)
巻： 259  ページ： 167-185  発行年： 2018年 
JST資料番号： E0180C  ISSN： 0004-3702  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 多くの知識表現形式において,構成的意味論は規則または意味演算子の逐次応用に基づいて定義される。これらの構成は,規則を保持し続けることが知られているまでは安全であるまで,ルール適用が遅れなければならないという性質を共有することが多い。この直感は,論理プログラムの良く設立された意味論および自己認識論理において,実例に対して起こる。本論文では,安全基準を代数的に定義する。いわゆる安全な誘導の性質を研究し,論理プログラミングと自己認識論理に理論を適用した。後者に対して,安全な誘導が,すべての古典的な構成的意味が失敗する理論クラスの意図的意味を捉えるために管理することを示した。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 安全基準 ,  意味論 ,  *安全性 ,  *知識表現 ,  論理プログラミング ,  代数学
準シソーラス用語： 自己認識論理 , 【Automatic Indexing@JST】

著者キーワード (10件)： 近似不動点理論 ,  格子演算子 ,  帰納的定義 ,  誘導プロセス ,  建設 ,  良い基礎を持つ意味論 ,  grodedness性 ,  論理プログラミング ,  自己認識論理 ,  抽象議論

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (3件)： 誘導 ,  知識表現 ,  応用