文献

J-GLOBAL ID：202102231188864421   整理番号：21A0627992

オントロジーベース表現とASPを用いたサイバー-物理システムにおける信頼性に関する推論【JST・京大機械翻訳】

Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP

著者 (6件)： Nguyen Thanh Hai (New Mexico State University, Las Cruces, USA) ,  Son Tran Cao (New Mexico State University, Las Cruces, USA) ,  Bundas Matthew (New Mexico State University, Las Cruces, USA) ,  Balduccini Marcello (St. Joseph’s University, Philadelphia, USA) ,  Garwood Kathleen Campbell (St. Joseph’s University, Philadelphia, USA) ,  Griffor Edward R. (National Institute of Standards and Technology, Gaithersburg, USA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12568  ページ： 51-67  発行年： 2021年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 本論文では,オントロジーベース推論と回答集合プログラミング(ASP)を組み合わせたサイバー物理システム(CPS)における信頼性に関する推論のためのフレームワークを提示した。CPSの形式的定義と,システムの最も脆弱な成分の同定の問題のようなCPSの信頼性に関連するいくつかの問題と,課題を緩和するための戦略の計算を紹介した。次に,オントロジーベースの推論とASPの組合せが,前述の問題に取り組むためにどのように使用できるかを示した。本論文は,提案した方法の可能性の議論で結論を下した。Copyright Springer Nature Switzerland AG 2021 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *信頼性 ,  知識表現 ,  *オントロジー
準シソーラス用語： 脆弱性 , 【Automatic Indexing@JST】

著者キーワード (6件)： CPS ,  オントロジー ,  ASP ,  知識表現 ,  推論 ,  計画

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

タイトルに関連する用語 (5件)： オントロジー ,  表現 ,  ASP ,  物理 ,  推論