文献

J-GLOBAL ID：202002259625373178   整理番号：20A0032339

不確実世界の知識:論理的制約を用いたプログラミング【JST・京大機械翻訳】

Knowledge of Uncertain Worlds: Programming with Logical Constraints

著者 (2件)： Liu Yanhong A. (Computer Science Department, Stony Brook University, Stony Brook, NY, USA) ,  Stoller Scott D. (Computer Science Department, Stony Brook University, Stony Brook, NY, USA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 11972  ページ： 111-127  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 洗練されたアプリケーションのための論理によるプログラミングは再帰と否定に対処しなければならない。それは論理において重要な難問を作り出し,規則の多くの異なる相反する意味論をもたらす。本論文では,設計と解析論理のための統一言語,DA論理を記述した。これは,異なる意図的意味論によるプログラミングの力と容易さをサポートする,統一された意味論と制約意味論に基づいている。鍵となるアイデアは,メタ制約を提供することであり,定義されていない値の形式における不確実な情報の使用,あるいは価値の可能な組合せをサポートし,追加的な議論を含む新しい述語によって瞬時化できる知識ユニットの使用を促進することである。Copyright 2020 Springer Nature Switzerland AG Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 応用プログラム ,  意味論 ,  *不確実性 ,  言語
準シソーラス用語： 述語 , 【Automatic Indexing@JST】

著者キーワード (6件)： Datalog ,  非制限否定と定量化 ,  Meta-制約 ,  基礎付き意味論 ,  制約意味論 ,  知識単位

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

タイトルに関連する用語 (5件)： 不確実 ,  世界 ,  知識 ,  制約 ,  プログラミング