論文の概要: The Krohn-Rhodes Logics
- arxiv url: http://arxiv.org/abs/2304.09639v1
- Date: Wed, 19 Apr 2023 13:24:04 GMT
- ステータス: 処理完了
- システム内更新日: 2023-04-20 14:22:37.600326
- Title: The Krohn-Rhodes Logics
- Title（参考訳）: Krohn-Rhodes論理
- Authors: Alessandro Ronca
- Abstract要約: パストはフリップフロップと呼ばれるある種類の素数オートマトンのカスケードに対応することを示す。
本稿では,他の素数オートマトンを捕捉し,したがって過去の表現性を拡張できる新しい時間演算子を提案する。
- 参考スコア（独自算出の注目度）: 94.11680944837197
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: We present a new family of modal temporal logics of the past, obtained by
extending Past LTL with a rich set of temporal operators based on the theory by
Krohn and Rhodes for automata cascades. The theory says that every automaton
can be expressed as a cascade of some basic automata called prime automata.
They are the building blocks of all automata, analogously to prime numbers
being the building blocks of all natural numbers. We show that Past LTL
corresponds to cascades of one kind of prime automata called flip-flops. In
particular, the temporal operators of Past LTL are captured by flip-flops, and
they cannot capture any other prime automaton, confining the expressivity
within the star-free regular languages. We propose novel temporal operators
that can capture other prime automata, and hence extend the expressivity of
Past LTL. Such operators are infinitely-many, and they yield an infinite number
of logics capturing an infinite number of distinct fragments of the regular
languages. The result is a yet unexplored landscape of extensions of Past LTL,
that we call Krohn-Rhodes Logics, each of them with the potential of matching
the expressivity required by specific applications.
- Abstract（参考訳）: 我々は,過去におけるモーダル時間論理の新たな族を,Krohn と Rhodes による自動カスケードの理論に基づくテンポラル作用素のリッチな集合による past LTL を拡張して得られる。
理論によれば、全てのオートマトンは素オートマトンと呼ばれる基本的なオートマトンのカスケードとして表現できる。
これらはすべてのオートマトンの構成要素であり、すべての自然数の構成要素である素数と類似している。
過去のltlはflip-flopsと呼ばれる1種類の素オートマタのカスケードに対応している。
特に、過去LTLの時間演算子はフリップフロップによって捕捉され、他の素数オートマトンを捕捉することはできず、星のない正規言語での表現性を補う。
我々は,他の素オートマトンを捕捉し,それゆえ過去のltlの表現性を拡張できる新しい時間演算子を提案する。
そのような作用素は無限多量であり、正規言語の無限個の異なる断片をキャプチャする無限個の論理を生成する。
その結果は、まだ探索されていない過去LTLの拡張の風景であり、Krohn-Rhodes Logics と呼び、それぞれが特定のアプリケーションで要求される表現性に一致する可能性がある。
関連論文リスト
- Logic Agent: Enhancing Validity with Logic Rule Invocation [24.815341366820753]
Chain-of-Thoughtプロンプトは、推論タスク中に言語モデルの推論能力を増強するための重要なテクニックとして現れている。
本稿では,大規模言語モデルにおける推論プロセスの有効性向上を目的としたエージェントベースのフレームワークであるLogic Agent(LA)を紹介する。
論文 参考訳（メタデータ） (2024-04-28T10:02:28Z) - LOGICSEG: Parsing Visual Semantics with Neural Logic Learning and
Reasoning [73.98142349171552]
LOGICSEGは、神経誘導学習と論理推論をリッチデータとシンボリック知識の両方に統合する、全体論的視覚意味論である。
ファジィ論理に基づく連続的な緩和の間、論理式はデータとニューラルな計算グラフに基礎を置いており、論理によるネットワークトレーニングを可能にする。
これらの設計によりLOGICSEGは、既存のセグメンテーションモデルに容易に統合できる汎用的でコンパクトなニューラル論理マシンとなる。
論文 参考訳（メタデータ） (2023-09-24T05:43:19Z) - Modeling Hierarchical Reasoning Chains by Linking Discourse Units and
Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。
具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文 参考訳（メタデータ） (2023-06-21T07:34:27Z) - Standpoint Linear Temporal Logic [2.552459629685159]
本稿では,表象の時間的特徴とSLのマルチパースペクティブ・モデリング能力を組み合わせた新たな論理である,点点線形時間論理(SLTL)を提案する。
論理SLTLとその構文とその意味を定義し、決定可能性を確立し、複雑性を減らし、SLTL推論を自動化するための表計算を提供する。
論文 参考訳（メタデータ） (2023-04-27T15:03:38Z) - Join-Chain Network: A Logical Reasoning View of the Multi-head Attention
in Transformer [59.73454783958702]
本稿では,多くの結合演算子を連結して出力論理式をモデル化するシンボリック推論アーキテクチャを提案する。
特に,このような結合鎖のアンサンブルが'ツリー構造'の1次論理式であるFOETの広い部分集合を表現できることを実証する。
変圧器における多頭部自己保持モジュールは,確率的述語空間における結合作用素の結合境界を実装する特別なニューラル演算子として理解することができる。
論文 参考訳（メタデータ） (2022-10-06T07:39:58Z) - Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文)
論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。
ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
論文 参考訳（メタデータ） (2022-07-04T14:38:49Z) - Temporal Answer Set Programming [3.263632801414296]
本稿では,その知識表現と宣言的問題解決への応用の観点から,時間論理プログラミングの概要を述べる。
本研究は,TEL(Temporal Equilibrium Logic)と呼ばれる非単調な形式論の最近の成果に焦点を当てる。
第2部では,ASP.NET に近い時間論理プログラムと呼ばれる構文的断片を定義し,この問題が解決器 TEINGO の構築においてどのように活用されたかを説明する。
論文 参考訳（メタデータ） (2020-09-14T16:13:36Z) - Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。
すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。
推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文 参考訳（メタデータ） (2020-06-23T16:55:45Z) - Analyzing Differentiable Fuzzy Logic Operators [3.4806267677524896]
ファジィ論理文からの論理演算子の大規模な集合が、微分可能な学習環境でどのように振る舞うかを考察する。
半教師付き学習において微分可能なファジィ論理を用いることが可能であることを示し、実際に異なる演算子がどのように振る舞うかを比較する。
論文 参考訳（メタデータ） (2020-02-14T16:11:36Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。