論文の概要: Complex Event Recognition with Symbolic Register Transducers: Extended Technical Report

• arxiv url: http://arxiv.org/abs/2407.02884v1
• Date: Wed, 3 Jul 2024 07:59:13 GMT
• ステータス: 処理完了
• システム内更新日: 2024-07-04 15:15:24.731289
• Title: Complex Event Recognition with Symbolic Register Transducers: Extended Technical Report
• Title（参考訳）: 記号レジスタ変換器を用いた複合イベント認識:拡張技術報告
• Authors: Elias Alevizos, Alexander Artikis, Georgios Paliouras,
• Abstract要約: 本稿では,オートマトンに基づく複合イベント認識システムを提案する。 本システムは,記号とレジスタオートマトンを組み合わせたオートマトンモデルに基づいている。 我々は、イベントストリーム上のパターンを検出するために、SRTをCERでどのように使用できるかを示す。
• 参考スコア（独自算出の注目度）: 51.86861492527722
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We present a system for Complex Event Recognition (CER) based on automata. While multiple such systems have been described in the literature, they typically suffer from a lack of clear and denotational semantics, a limitation which often leads to confusion with respect to their expressive power. In order to address this issue, our system is based on an automaton model which is a combination of symbolic and register automata. We extend previous work on these types of automata, in order to construct a formalism with clear semantics and a corresponding automaton model whose properties can be formally investigated. We call such automata Symbolic Register Transducers (SRT). We show that SRT are closed under various operators, but are not in general closed under complement and they are not determinizable. However, they are closed under these operations when a window operator, quintessential in Complex Event Recognition, is used. We show how SRT can be used in CER in order to detect patterns upon streams of events, using our framework that provides declarative and compositional semantics, and that allows for a systematic treatment of such automata. For SRT to work in pattern detection, we allow them to mark events from the input stream as belonging to a complex event or not, hence the name "transducers". We also present an implementation of SRT which can perform CER. We compare our SRT-based CER engine against other state-of-the-art CER systems and show that it is both more expressive and more efficient.
• Abstract（参考訳）: 本稿では,オートマトンに基づく複合イベント認識(CER)システムを提案する。 このようなシステムは文献で説明されているが、通常は明確な意味論や意味論の欠如に悩まされ、その表現力に関してしばしば混乱を招く。 この問題に対処するために,本システムは記号とレジスタオートマトンを組み合わせたオートマトンモデルに基づいている。 我々は,これらの種類のオートマトンに関する過去の研究を拡張し,明確なセマンティクスとそれに対応するオートマトンモデルを構築する。 このようなオートマチック・シンボリック・レジスター・トランスデューサ (SRT) と呼ぶ。 SRT は様々な作用素の下で閉じているが、一般には補作用素の下で閉じているわけではなく、決定不可能であることを示す。 しかし、複雑なイベント認識において、ウィンドウ演算子であるクインテシデント(quintessential)が使用されると、これらの操作の下でクローズされる。 宣言的および構成的意味論を提供する我々のフレームワークを用いて、イベントストリーム上のパターンを検出するために、SRTをCERでどのように使用できるかを示し、そのようなオートマトンを体系的に扱うことができる。 SRTがパターン検出で機能するためには、入力ストリームからのイベントを複雑なイベントに属するかどうかとしてマークできるようにします。 また,CERの実行が可能なSRTの実装も提案する。 我々は、SRTベースのCERエンジンを他の最先端CERシステムと比較し、より表現力があり、より効率的であることを示す。

関連論文リスト

• Scope-enhanced Compositional Semantic Parsing for DRT [52.657454970993086]
  談話表現のための構成的, 神経象徴的意味的ニューロシンボリックAMS理論について紹介する。 我々は, AMS が良好な出力を確実に生成し, DRT 解析, 特に複雑な文に対して良好に動作することを示す。
  論文  参考訳（メタデータ） (2024-07-02T02:50:15Z)
• Large Language Models as General Pattern Machines [64.75501424160748]
  我々は,事前訓練された大規模言語モデル (LLM) が,複雑なトークンシーケンスを自動回帰的に完了することを示す。 驚いたことに、語彙からランダムにサンプリングされたトークンを用いてシーケンスが表現された場合でも、パターン完了の習熟度を部分的に保持することができる。 本研究では,ロボット工学における問題に対して,これらのゼロショット機能がどのように適用されるかを検討する。
  論文  参考訳（メタデータ） (2023-07-10T17:32:13Z)
• A Mechanism for Sample-Efficient In-Context Learning for Sparse Retrieval Tasks [29.764014766305174]
  事前学習プロセスと下流タスクに対して,適切な仮定でトランスフォーマーモデルがICLを実行可能であることを示す。 本手法は, トランス機構を用いて実装可能であることを確認した。
  論文  参考訳（メタデータ） (2023-05-26T15:49:43Z)
• A CTC Alignment-based Non-autoregressive Transformer for End-to-end Automatic Speech Recognition [26.79184118279807]
  CTCアライメントに基づく一段非自己回帰変換器(CASS-NAT)をエンドツーエンドASRに適用する。 自己回帰変換器(AT)への単語埋め込みは、エンコーダ出力から抽出されたトークンレベルの音響埋め込み(TAE)で代用される。 我々は,CASS-NAT が様々な ASR タスクにおいて AT に近い WER を持ち,24 倍の推論速度を提供することを発見した。
  論文  参考訳（メタデータ） (2023-04-15T18:34:29Z)
• Symbolic Register Automata for Complex Event Recognition and Forecasting [70.7321040534471]
  シンボリックレジスタオートマタ(シンボリックレジスタオートマタ、英: Symbolic Register Automata、SRA)は、シンボリックレジスタとレジスタオートマタの組み合わせである。 本稿では、イベントストリーム上のパターンを検出するために、複合イベント認識においてSRAがどのように使用できるかを示す。 また、イベントのストリームを消費するSRAの挙動を確率論的に説明できることを示す。
  論文  参考訳（メタデータ） (2021-10-08T11:04:51Z)
• Refining Labelled Systems for Modal and Constructive Logics with Applications [0.0]
  この論文は、モーダル論理や構成論理のセマンティクスを「経済的な」証明システムに変換する手段として機能する。 精製法は、ラベル付きおよびネストされたシーケント計算の2つの証明理論パラダイムを結合する。 導入された洗練されたラベル付き電卓は、デオン性STIT論理に対する最初の証明探索アルゴリズムを提供するために使用される。
  論文  参考訳（メタデータ） (2021-07-30T08:27:15Z)
• Induction and Exploitation of Subgoal Automata for Reinforcement Learning [75.55324974788475]
  本稿では,Regressed Learning (RL)タスクにおけるサブゴールの学習と活用のためのISAを提案する。 ISAは、タスクのサブゴールによってエッジがラベル付けされたオートマトンであるサブゴールオートマトンを誘導することで強化学習をインターリーブする。 サブゴールオートマトンはまた、タスクの完了を示す状態と、タスクが成功せずに完了したことを示す状態の2つの特別な状態で構成されている。
  論文  参考訳（メタデータ） (2020-09-08T16:42:55Z)
• Streaming automatic speech recognition with the transformer model [59.58318952000571]
  本稿では,ストリーミングASRのためのトランスフォーマーに基づくエンドツーエンドASRシステムを提案する。 本研究では,エンコーダに時間制限付き自己アテンションを適用し,エンコーダ・デコーダのアテンション機構に注意を喚起する。 提案したストリーミングトランスアーキテクチャは,LibriSpeechの「クリーン」および「他の」テストデータに対して,2.8%と7.2%のWERを実現する。
  論文  参考訳（メタデータ） (2020-01-08T18:58:02Z)

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

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