文献

J-GLOBAL ID：202102275105874323   整理番号：21A1229725

数制限による有限オープンワールド質問応答【JST・京大機械翻訳】

Finite Open-world Query Answering with Number Restrictions

著者 (2件)： Amarilli Antoine (LTCI, Telecom Paris, Institut Polytechnique de Paris, Marguerite Perey, Paliseau, France) ,  Benedikt Michael (The University of Oxford, United Kingdom)
資料名： ACM Transactions on Computational Logic  (ACM Transactions on Computational Logic)
巻： 21  号： 4  ページ： 1-73  発行年： 2020年 
JST資料番号： A1264A  ISSN： 1529-3785  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： オープンワールドクエリ回答は,一連の事実,制約の連結,およびクエリーが質問を暗示するかどうかの決定の問題である。これは,事実を含み,制約を満たすすべての事例を推論する。有限オープンワールドクエリ回答(FQA)を研究し,それは,基礎となる世界が有限であり,従って事例の有限完了のみを考慮すると仮定した。FQAの主要な既知決定可能ケースは,一次論理のガードされた断片,それは参照制約を表現できるが(もう1つの場所におけるデータに対するデータ),しかし,機能的依存性のような数制約を表現できない;そして,数制限を有する保護された断片は,しかし,2つだけの希少性の特徴であった。本論文では,任意の署名に対する参照制約と数制約の両方を結合するFQAに対する最初の可解性結果を示し,著者らは,非ary介在物依存性と機能的依存性に対して,FQAの有限性仮定が,依存性の有限含意閉包を取るために持ち上げられることを示した。この結果は,最大クエリサイズに関する任意の限界に対するそのような制約の有限普遍モデルを構築するための新しい技法に依存する。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 介在物 ,  有限性 ,  *含意 ,  閉包
準シソーラス用語： 決定可能性 ,  クエリー , 【Automatic Indexing@JST】

著者キーワード (4件)： FD ,  有限可制御性 ,  UID ,  キーゼ

分類 (3件)： 人工知能  (JE08000Z) ,  計算機網  (JC03000K) ,  検索技術  (AC06020S)

タイトルに関連する用語 (3件)： 制限 ,  ワールド ,  質問応答