論文の概要: Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming

• arxiv url: http://arxiv.org/abs/2109.04634v1
• Date: Fri, 10 Sep 2021 02:43:08 GMT
• ステータス: 処理完了
• システム内更新日: 2021-09-13 23:45:41.362018
• Title: Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming
• Title（参考訳）: イベント計算と目標指向解集合プログラミングを用いたモデル提示システム要件の知識支援推論
• Authors: Brendan Hall (Honeywell Advanced Technology, Plymouth, USA), Sarat Chandra Varanasi (The University of Texas at Dallas, Richardson, USA), Jan Fiedor (Honeywell Internation s.r.o & Brno University of Technology, Brno, Czech Republic), Joaqu\'in Arias (Universidad Rey Juan Carlos, Madrid, Spain), Kinjal Basu (The University of Texas at Dallas, Richardson, USA), Fang Li (The University of Texas at Dallas, Richardson, USA), Devesh Bhatt (Honeywell Advanced Technology, Plymouth, USA), Kevin Driscoll (Honeywell Advanced Technology, Plymouth, USA), Elmer Salazar (The University of Texas at Dallas, Richardson, USA), Gopal Gupta (The University of Texas at Dallas, Richardson, USA)
• Abstract要約: 我々は、行動や変化を表現するためにAIで使用されるフォーマリズムであるイベント計算(EC)を用いて、サイバー物理システムの要件をどのようにモデル化できるかを示す。 また、ASPとそのクエリ駆動実装 s(CASP) を用いて、要求のイベント計算モデルを直接実現できることを示す。
• 参考スコア（独自算出の注目度）: 0.745426949232689
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We consider requirements for cyber-physical systems represented in constrained natural language. We present novel automated techniques for aiding in the development of these requirements so that they are consistent and can withstand perceived failures. We show how cyber-physical systems' requirements can be modeled using the event calculus (EC), a formalism used in AI for representing actions and change. We also show how answer set programming (ASP) and its query-driven implementation s(CASP) can be used to directly realize the event calculus model of the requirements. This event calculus model can be used to automatically validate the requirements. Since ASP is an expressive knowledge representation language, it can also be used to represent contextual knowledge about cyber-physical systems, which, in turn, can be used to find gaps in their requirements specifications. We illustrate our approach through an altitude alerting system from the avionics domain.
• Abstract（参考訳）: 我々は,制約付き自然言語で表現されるサイバー物理システムの要件を検討する。 我々は,これらの要件が一貫性を持ち,認識される障害に耐えられるような,新たな自動化手法を提案する。 サイバーフィジカルシステムの要求は、アクションや変化を表現するためにaiで使われるフォーマリズムであるevent calculus(ec)を使ってモデル化できる。 また、要求の事象計算モデルを直接実現するために、応答セットプログラミング(ASP)とそのクエリ駆動実装 s(CASP) をどのように利用できるかを示す。 このイベント計算モデルは、要件の自動検証に使用できる。 aspは表現力に富んだ知識表現言語であるため、サイバーフィジカルシステムに関する文脈知識を表現するのにも使うことができる。 アビオニクス領域からの高度警報システムによるアプローチについて説明する。

関連論文リスト

• Digital requirements engineering with an INCOSE-derived SysML meta-model [0.0]
  我々は、モデルベース構造化要求SysMLプロファイルを拡張して、要求書作成のためのINCOSEガイドに準拠します。 結果のSysMLプロファイルはNASAジェット推進研究所の2つのシステムアーキテクチャモデルに適用された。
  論文  参考訳（メタデータ） (2024-10-12T03:06:13Z)
• Automated Process Planning Based on a Semantic Capability Model and SMT [50.76251195257306]
  製造システムと自律ロボットの研究において、機械で解釈可能なシステム機能の仕様に「能力」という用語が用いられる。 セマンティック能力モデルから始めて、AI計画問題を自動的に生成するアプローチを提案する。
  論文  参考訳（メタデータ） (2023-12-14T10:37:34Z)
• Machine Learning with Requirements: a Manifesto [114.97965827971132]
  要件定義と満足度は、マシンラーニングモデルが現実世界にさらに適合するように、長い道のりを歩むことができる、と私たちは主張しています。 私たちは、要求仕様を標準の機械学習開発パイプラインにうまく組み込む方法を示します。
  論文  参考訳（メタデータ） (2023-04-07T14:47:13Z)
• Grounded Decoding: Guiding Text Generation with Grounded Models for Embodied Agents [111.15288256221764]
  グラウンデッドデコーディングプロジェクトは、両方のモデルの知識を活用することで、ロボット環境で複雑な長期タスクを解決することを目的としている。 我々はこれを確率的フィルタリングに類似した問題として、言語モデルの下で高い確率を持つシーケンスをデコードし、基底モデル対象のセットで高い確率を示す。 本研究では,3つのシミュレーション領域と実世界の領域にまたがって,そのような基底モデルがどのように得られるのかを実証し,両モデルの知識を活用して,ロボット環境での複雑な長期的タスクを解くことができることを示す。
  論文  参考訳（メタデータ） (2023-03-01T22:58:50Z)
• Technical Report on Neural Language Models and Few-Shot Learning for Systematic Requirements Processing in MDSE [1.6286277560322266]
  本論文は,自動車要件のオープンソースセットの分析に基づくものである。 ドメイン固有の言語構造を導き、要求の不明瞭さを回避し、形式性のレベルを上げるのに役立ちます。
  論文  参考訳（メタデータ） (2022-11-16T18:06:25Z)
• ROAD-R: The Autonomous Driving Dataset with Logical Requirements [54.608762221119406]
  論理要求付きROADイベント認識データセット(ROAD-R)を紹介する。 ROAD-Rは、論理的制約として表現された要件を持つ、自動運転のための最初の公開データセットである。 我々は、(i)パフォーマンスが良く、(ii)要求自体に準拠することが保証されているモデルを作成するためにそれらを活用できることを示します。
  論文  参考訳（メタデータ） (2022-10-04T13:22:19Z)
• Natural Language Processing for Systems Engineering: Automatic Generation of Systems Modelling Language Diagrams [0.10312968200748115]
  構造化されていない自然言語テキストからシステム図の自動生成を支援する手法が提案されている。 目的は、より標準化され、包括的で自動化されたスタートポイントをユーザに提供することです。
  論文  参考訳（メタデータ） (2022-08-09T19:20:33Z)
• OG-SGG: Ontology-Guided Scene Graph Generation. A Case Study in Transfer Learning for Telepresence Robotics [124.08684545010664]
  画像からのシーングラフ生成は、ロボット工学のようなアプリケーションに非常に関心を持つタスクである。 オントロジー誘導シーングラフ生成(OG-SGG)と呼ばれるフレームワークの初期近似を提案する。
  論文  参考訳（メタデータ） (2022-02-21T13:23:15Z)
• SOLIS -- The MLOps journey from data acquisition to actionable insights [62.997667081978825]
  本稿では,基本的なクロスプラットフォームテンソルフレームワークとスクリプト言語エンジンを使用しながら,すべての要件をサポートする統合デプロイメントパイプラインとフリー・ツー・オペレートアプローチを提案する。 しかし、このアプローチは、実際のプロダクショングレードシステムに機械学習機能を実際にデプロイするために必要な手順やパイプラインを提供していない。
  論文  参考訳（メタデータ） (2021-12-22T14:45:37Z)
• Neural model robustness for skill routing in large-scale conversational AI systems: A design choice exploration [34.29393761770914]
  最先端の商用対話型AIシステムにおけるスキルルーティングのコンテキストにおいて、モデリング設計の異なる選択がモデル堅牢性にどのように影響するかを示す。 データ拡張を適用することは、モデルロバスト性を大幅に改善する非常に効果的で実用的な方法であることを示す。
  論文  参考訳（メタデータ） (2021-03-04T22:54:33Z)
• Semantic based model of Conceptual Work Products for formal verification of complex interactive systems [3.0458872052651973]
  概念的作業製品に対する客観的な仕様を検証するための自動論理推論器について述べる。 概念的な作業製品仕様は、明確に述べられ、正しく、解決可能な、基本的な出力要件として機能する。 セマンティックWebのツールによる作業オントロジーは、自動推論による解決可能性の検証のために、クラスと状態図を変換するために必要です。
  論文  参考訳（メタデータ） (2020-08-04T15:10:44Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。