論文の概要: ModelWriter: Text & Model-Synchronized Document Engineering Platform
- arxiv url: http://arxiv.org/abs/2403.01359v1
- Date: Sun, 3 Mar 2024 01:26:12 GMT
- ステータス: 処理完了
- システム内更新日: 2024-03-05 14:12:02.179049
- Title: ModelWriter: Text & Model-Synchronized Document Engineering Platform
- Title(参考訳): ModelWriter: テキストとモデル同期ドキュメントエンジニアリングプラットフォーム
- Authors: Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina,
Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, Anne Monceaux
- Abstract要約: 本研究では,Airbus が使用する技術ドキュメントの一貫性と完全性を追跡するために,ModelWriter プラットフォームをどのように利用できるかを示す。
特に、意味解析と記述論理定理によるテキストの意味の推論という2つのタイプの推論をプラットフォームがどのように統合できるかを示す。
- 参考スコア(独自算出の注目度): 8.93638944918877
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The ModelWriter platform provides a generic framework for automated
traceability analysis. In this paper, we demonstrate how this framework can be
used to trace the consistency and completeness of technical documents that
consist of a set of System Installation Design Principles used by Airbus to
ensure the correctness of aircraft system installation. We show in particular,
how the platform allows the integration of two types of reasoning: reasoning
about the meaning of text using semantic parsing and description logic theorem
proving; and reasoning about document structure using first-order relational
logic and finite model finding for traceability analysis.
- Abstract(参考訳): ModelWriterプラットフォームは、自動トレーサビリティ分析のための一般的なフレームワークを提供する。
本稿では,エアバスが航空機システム設置の正しさを確保するために使用するシステムインストール設計原則の集合からなる技術文書の整合性と完全性を,この枠組みを用いて追跡する方法を実証する。
具体的には、意味解析と記述論理定理を用いたテキストの意味の推論と、一階関係論理を用いた文書構造の推論と、トレーサビリティ解析のための有限モデル探索の2つのタイプの推論を統合する方法を示す。
関連論文リスト
- Detect-Order-Construct: A Tree Construction based Approach for Hierarchical Document Structure Analysis [9.340346869932434]
本稿では,複数のサブタスクを同時に処理する木構築手法を提案する。
このフレームワークに基づく効果的なエンドツーエンドソリューションを提案し,その性能を実証する。
本システムでは,2つの大規模文書レイアウト解析データセットの最先端性能を実現する。
論文 参考訳(メタデータ) (2024-01-22T12:00:37Z) - An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。
応用例としては、メタ理論的性質の形式的解析と検証がある。
論文 参考訳(メタデータ) (2023-12-08T09:32:26Z) - Synthetic Document Generator for Annotation-free Layout Recognition [15.657295650492948]
本稿では,空間的位置,範囲,レイアウト要素のカテゴリを示すラベル付きリアル文書を自動生成する合成文書生成装置について述べる。
合成文書上で純粋に訓練された深層レイアウト検出モデルが,実文書を用いたモデルの性能と一致することを実証的に示す。
論文 参考訳(メタデータ) (2021-11-11T01:58:44Z) - A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。
対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文 参考訳(メタデータ) (2021-10-18T10:45:59Z) - Enriching Transformers with Structured Tensor-Product Representations
for Abstractive Summarization [131.23966358405767]
抽象的な要約のタスクに対して,明示的に構成された製品表現(TPR)をTP-TRANSFORMERに適用する。
モデルの主な特徴は、トークンごとに2つの別々の表現を符号化することで導入する構造バイアスである。
本稿では,TP-TRANSFORMER が Transformer と TP-TRANSFORMER より優れていることを示す。
論文 参考訳(メタデータ) (2021-06-02T17:32:33Z) - Text Summarization with Latent Queries [60.468323530248945]
本稿では,LaQSumについて紹介する。LaQSumは,既存の問合せ形式と抽象的な要約のための文書から遅延クエリを学習する,最初の統一テキスト要約システムである。
本システムでは, 潜伏クエリモデルと条件付き言語モデルとを協調的に最適化し, ユーザがテスト時に任意のタイプのクエリをプラグイン・アンド・プレイできるようにする。
本システムでは,クエリタイプ,文書設定,ターゲットドメインの異なる要約ベンチマークにおいて,強力な比較システムの性能を強く向上させる。
論文 参考訳(メタデータ) (2021-05-31T21:14:58Z) - VSR: A Unified Framework for Document Layout Analysis combining Vision,
Semantics and Relations [40.721146438291335]
視覚、意味論、関係性を組み合わせた文書レイアウト解析のための統一フレームワークVSRを提案する。
人気のある3つのベンチマークでは、vsrは以前のモデルを大きく上回っている。
論文 参考訳(メタデータ) (2021-05-13T12:20:30Z) - GRIT: Generative Role-filler Transformers for Document-level Event
Entity Extraction [134.5580003327839]
本稿では、文書レベルでコンテキストをモデル化するための生成トランスフォーマーベースのエンコーダデコーダフレームワーク(GRIT)を紹介する。
我々は,MUC-4データセットに対する我々のアプローチを評価し,我々のモデルが先行作業よりもかなり優れていることを示す。
論文 参考訳(メタデータ) (2020-08-21T01:07:36Z) - Towards Making the Most of Context in Neural Machine Translation [112.9845226123306]
我々は、これまでの研究がグローバルな文脈をはっきりと利用しなかったと論じている。
本研究では,各文の局所的文脈を意図的にモデル化する文書レベルNMTフレームワークを提案する。
論文 参考訳(メタデータ) (2020-02-19T03:30:00Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。