文献

J-GLOBAL ID：201702288134127606   整理番号：17A0073226

行動タイミング論理における4次公平性の下での活性推論規則【JST・京大機械翻訳】

Reasoning rules of four grades fairness in temporal logic of action

著者 (4件)： Tang Zhengyi (School of Information Science & Engineering,Fujian University of Technology) ,  Xue Xingsi (School of Information Science & Engineering,Fujian University of Technology) ,  Wang Jinshui (School of Information Science & Engineering,Fujian University of Technology) ,  Wang Xiaofeng (貴州大学計算机科学与技術学院)
資料名： Jisuanji Yingyong Yanjiu  (Jisuanji Yingyong Yanjiu)
巻： 33  号： 10  ページ： 3045-3048  発行年： 2016年 
JST資料番号： C2536A  ISSN： 1001-3695  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 公平性は,システムの活性を表現するための行動時系列論理の形式であり,それは,システムの記述の正確さと完全性に直接影響し,それにより,挙動時間論理のシステム記述能力を改善することができる。しかし,公平性を詳細化するとともに,性質の検証に対応する推論規則が不足している.この問題に対して、公平性の内包の分析を通じて、四級公平性体系の下での活性推理規則を提案し、それぞれ証明を行った。例として、新しい活性推理規則を用いて、一つのプログラム実例に対して推理検証を行い、相応の活性推理規則を構築した後、四級公平性は実際のシステムの記述と検証に有効に応用できる。Data from the ScienceChina, LCAS. Translated by JST【JST・京大機械翻訳】

シソーラス用語： 完全性 ,  時間論理 ,  *公平性 ,  精密化
準シソーラス用語： *推論規則 , 【Automatic Indexing@JST】

著者キーワード (5件)： temporal logic of action ,  fairness ,  liveness ,  reasoning rules ,  system verification

分類 (2件)： 計算理論  (JB02000A) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (5件)： 行動 ,  論理 ,  公平性 ,  活性 ,  推論規則