文献

J-GLOBAL ID：201802229328169944   整理番号：18A1710530

様相論理への応用による空間制約システムのための右反転の特性化【JST・京大機械翻訳】

Characterizing right inverses for spatial constraint systems with applications to modal logic

著者 (5件)： Guzman Michell (INRIA-LIX, Ecole Polytechnique de Paris, France) ,  Perchy Salim (Loria, INRIA Grand-Est, France) ,  Rueda Camilo (Pontificia Universidad Javeriana de Cali, Colombia) ,  Valencia Frank D. (CNRS & LIX, Ecole Polytechnique de Paris, France) ,  Valencia Frank D. (Pontificia Universidad Javeriana de Cali, Colombia)
資料名： Theoretical Computer Science  (Theoretical Computer Science)
巻： 744  ページ： 56-77  発行年： 2018年 
JST資料番号： T0022A  ISSN： 0304-3975  CODEN： TCSDIQ  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 空間制約システムは,マルチエージェントシステムにおける空間的および認識的挙動を特定するために,同時制約プログラミングからの代数的構造である。本論文では,空間制約システムを用いて,モーダル論理における正規性の概念の抽象的特性化を与え,モーダル言語に対する正しい逆/逆演算子を導出した。特に,正しい逆の存在のための必要十分条件を同定し,正規性の抽象的概念は,有限スパの保存に対応することを示した。さらに,正常な右逆の分類を提供し,最小の右逆の完全な家族と同様に最大の正常な右逆を同定する。これらの結果を,最も弱い正規モード論理,HennessyMilner論理,および線形時間論理のような既存のモーダル言語に適用した。これらの結果のいくつかの意味についても,双類似性および不整合不変性のようなモード概念の文脈において考察した。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： マルチエージェントシステム ,  制約プログラミング ,  代数学 ,  基準モード ,  不変性 ,  不整合 ,  *様相論理 ,  言語 ,  *キャラクタリゼーション ,  類似性
準シソーラス用語： 必要十分条件 , 【Automatic Indexing@JST】

著者キーワード (5件)： 制約システム ,  並行制約プログラミング ,  並行性理論 ,  様相論理 ,  逆演算子

分類 (3件)： 計算機システム開発  (JD02010R) ,  汎用プログラミング言語  (JD03051H) ,  計算理論  (JB02000A)

タイトルに関連する用語 (5件)： 様相論理 ,  応用 ,  制約 ,  反転 ,  特性化