文献

J-GLOBAL ID：202002236207687092   整理番号：20A2084661

条件に対する記述子修正:リテラル記述子と条件付き保存【JST・京大機械翻訳】

Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation

著者 (4件)： Sauerwald Kai (FernUniversitaet in Hagen, Hagen, Germany) ,  Haldimann Jonas (FernUniversitaet in Hagen, Hagen, Germany) ,  von Berg Martin (FernUniversitaet in Hagen, Hagen, Germany) ,  Beierle Christoph (FernUniversitaet in Hagen, Hagen, Germany)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12325  ページ： 204-218  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： Hanssonによる記述修正は,信念変化の問題に対処するフレームワークである。ディスクリプタ修正において,異なる種類の変化プロセスを,共同フレームワークにおいて処理した。個々の変化要求は,信念記述子によって表現される特定の成功条件によって認定され,そして,信念記述子は論理的結合によって組み合わせることができる。これは,Alchron,GaerdenforsおよびMakinsonによって成形された現在支配的なAGMパラダイムと対照的であり,そこでは,修正または収縮のような異なる種類の変化が別々に扱われている。本論文では,条件付き論理に対するディスクリプタ修正の現実化を検討し,一方,ディスクリプタの連結に対する記述子を制約した。条件付けのための記述子修正にKern-Isbernerによって開発された条件付き保存の原理を適用して,これらの制約の下での条件付きのための記述子修正が制約充足問題によって特性化され,制約論理プログラミングを用いてそれを実行することを示した。著者らの条件付き論理が命題論理を和らげるので,著者らの方式はまた命題論理のための記述子修正を実現する。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 命題論理 ,  キャラクタリゼーション ,  制約充足問題 ,  制約論理プログラミング ,  *統制索引語

分類 (4件)： 人工知能  (JE08000Z) ,  計算機網  (JC03000K) ,  計算機システム開発  (JD02010R) ,  図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (2件)： 記述子 ,  保存